Kripke models for intuitionistic theories with decidable atomic formulas.
Marković, Zoran (1984)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “On models of certain formulas with a predicate letter of lenght n”
Kripke models for intuitionistic theories with decidable atomic formulas.
On axiomatizability and preservation in Kripke models.
Markovic, Zoran (1981)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
On the extending of models (IV)
J. Łoś, R. Suszko (1957)
Fundamenta Mathematicae
Similarity:
On the extending of models (I)
J. Łoś (1955)
Fundamenta Mathematicae
Similarity:
Functorial uniform reducibility
Wilfrid Hodges (1980)
Fundamenta Mathematicae
Similarity:
On ω-models which are not β-models
Andrzej Mostowski, Y. Suzuki (1969)
Fundamenta Mathematicae
Similarity:
Classes of models and sets of sentences with the intersection property
Michael O. Rabin (1962)
Annales scientifiques de l'Université de Clermont. Mathématiques
Similarity:
Constructing Kripke models of certain fragments of Heyting's arithmetic.
Wehmeier, Kai F. (1998)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity: