๐”– 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
โœ 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