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

Constants in Kripke Models for Intuitionistic Logic

โœ Scribed by Daniel Dzierzgowski


Publisher
John Wiley and Sons
Year
1995
Tongue
English
Weight
617 KB
Volume
41
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

โœฆ Synopsis


We present a technique to extend a Kripke structure (for intuitionistic logic) into an elementary extension satisfying some property (cardinality, saturation, etc.) which can be "axiomatized" by a family of sets of sentences, where, most often, many constant symbols occur. To that end, we prove extended theorems of completeness and compactness. Also, a section of the paper is devoted to the back-and-forth construction of isomorphisms between Kripke structures.


๐Ÿ“œ SIMILAR VOLUMES


Kripke models for classical logic
โœ Danko Ilik; Gyesik Lee; Hugo Herbelin ๐Ÿ“‚ Article ๐Ÿ“… 2010 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 382 KB
Model Theory for Intuitionistic Logic
โœ Dov M. Gabbay ๐Ÿ“‚ Article ๐Ÿ“… 1972 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 331 KB