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
• DOI: 10.1002/malq.19950410402

✦ 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.