𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Kripke models for subtheories ofCZF

✍ Scribed by Rosalie Iemhoff

Publisher
Springer
Year
2009
Tongue
English
Weight
237 KB
Volume
49
Category
Article
ISSN
0933-5846

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Preservation theorems for Kripke models
Preservation theorems for Kripke models
✍ Morteza Moniri; Mostafa Zaare πŸ“‚ Article πŸ“… 2009 πŸ› John Wiley and Sons 🌐 English βš– 123 KB

## Abstract There are several ways for defining the notion submodel for Kripke models of intuitionistic first‐order logic. In our approach a Kripke model __A__ is a submodel of a Kripke model __B__ if they have the same frame and for each two corresponding worlds __A^Ξ±^__ and __B^Ξ±^__ of them, __A^

Kripke models for classical logic
Kripke models for classical logic
✍ Danko Ilik; Gyesik Lee; Hugo Herbelin πŸ“‚ Article πŸ“… 2010 πŸ› Elsevier Science 🌐 English βš– 382 KB
Constants in Kripke Models for Intuition
Constants in Kripke Models for Intuitionistic Logic
✍ Daniel Dzierzgowski πŸ“‚ Article πŸ“… 1995 πŸ› John Wiley and Sons 🌐 English βš– 617 KB

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 exte