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

Decidable Kripke models of intuitionistic theories

โœ Scribed by Hajime Ishihara; Bakhadyr Khoussainov; Anil Nerode

Publisher
Elsevier Science
Year
1998
Tongue
English
Weight
655 KB
Volume
93
Category
Article
ISSN
0168-0072

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

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

Decidability in Intuitionistic Type Theo
Decidability in Intuitionistic Type Theory is Functionally Decidable
โœ Silvio Valentini ๐Ÿ“‚ Article ๐Ÿ“… 1996 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 255 KB

## Abstract In this paper we show that the usual intuitionistic characterization of the decidability of the propositional function __B(x) prop__ [__x : A__], i. e. to require that the predicate (โˆ€__x__ โˆˆ __A__) (__B(x)__ โˆจ ยฌ __B(x)__) is provable, is equivalent, when working within the framework of