๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A constructive view of PROLOG

โœ Scribed by Damjan Bojadziev

Publisher
Elsevier Science
Year
1986
Tongue
English
Weight
442 KB
Volume
3
Category
Article
ISSN
0743-1066

No coin nor oath required. For personal study only.

โœฆ Synopsis

A constructive rationalization of PROLOG is presented, covering the logical form of definite clause programs and the role of negative (goal) clauses. This view is developed from the idea, taken from set theory, that a constructive theory can be obtained if classical reasoning is confined to a constructively limited basis. The syntax of definite clauses is seen as reflecting a constructive view of description in that it prevents the expression of incomplete and negative information; the purely negative clauses initiate a classical proof technique, operating on a definite axiomatic basis. a

๐Ÿ“œ SIMILAR VOLUMES

Rings and Fields, a Constructive View
Rings and Fields, a Constructive View
โœ Daniel A. Romano ๐Ÿ“‚ Article ๐Ÿ“… 1988 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 708 KB
Henselian valued fields: a constructive
Henselian valued fields: a constructive point of view
โœ Hervรฉ Perdry ๐Ÿ“‚ Article ๐Ÿ“… 2005 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 243 KB

This article is a logical continuation of the Henri Lombardi and Franz-Viktor Kuhlmann article [9]. We address some classical points of the theory of valued fields with an elementary and constructive point of view. We deal with Krull valuations, and not simply discrete valuations. First of all, we s

Apartness, Topology, and Uniformity: a C
Apartness, Topology, and Uniformity: a Constructive View
โœ Douglas Bridges; Peter Schuster; Luminiลฃa Vรฎลฃฤƒ ๐Ÿ“‚ Article ๐Ÿ“… 2002 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 188 KB

The theory of apartness spaces, and their relation to topological spaces (in the point-set case) and uniform spaces (in the set-set case), is sketched. New notions of local decomposability and regularity are investigated, and the latter is used to produce an example of a classically metrisable apart