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

Comparison of the topological and relational semantics of superintuitionistic logics

โœ Scribed by A. Yu. Muravitskii

Publisher
Springer US
Year
1983
Tongue
English
Weight
941 KB
Volume
22
Category
Article
ISSN
0002-5232

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Topological Investigations of the Operat
Topological Investigations of the Operators of the Well-Founded, and Alternating Fixed-Point Semantics of Normal Logic Programs
โœ Roland Heinze ๐Ÿ“‚ Article ๐Ÿ“… 2003 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 222 KB

We present a progress report on ongoing work to investigate topologies on spaces of interpretations in which one obtains the continuity of the operators associated with the well-founded, and alternating fixed-point semantics of a normal logic program. This work parallels that of Batarekh, Subrahmani