Pages that link to "Item:Q3684111"
From MaRDI portal
The following pages link to ON THE THEORY OF MODELS FOR INTUITIONISTIC LOGIC (Q3684111):
Displaying 24 items.
- Very intuitionistic theories and quantifier elimination (Q487231) (← links)
- Stable domination and weight (Q639661) (← links)
- Iterated elementary embeddings and the model theory of infinitary logic (Q904149) (← links)
- Quantifier elimination for a class of intuitionistic theories (Q948760) (← links)
- Syntactic preservation theorems for intuitionistic predicate logic (Q985006) (← links)
- Models for stronger normal intuitionistic modal logics (Q1096613) (← links)
- Glueing of analysis models in an intuitionistic setting (Q1098848) (← links)
- A semantical proof of De Jongh's theorem (Q1812961) (← links)
- A new semantics for intuitionistic predicate logic (Q1820768) (← links)
- A strong completeness theorem in intuitionistic quantified modal logic (Q1841473) (← links)
- Intensional completeness in an extension of Gödel/Dummett logic (Q1868240) (← links)
- Logics of intuitionistic Kripke-Platek set theory (Q2231694) (← links)
- A model-theoretic approach to proof theory. Edited by Zofia Adamowicz, Teresa Bigorajska and Konrad Zdanowski (Q2322259) (← links)
- Henkin-Keisler models (Q2785552) (← links)
- Intensional models for the theory of types (Q3426565) (← links)
- A STRONG MULTI-TYPED INTUITIONISTIC THEORY OF FUNCTIONALS (Q3450813) (← links)
- (Q3703880) (← links)
- Kripke models for intuitionistic theories with decidable atomic formulas (Q3726100) (← links)
- (Q4035302) (← links)
- (Q4285926) (← links)
- A model of intuitionistic affine logic from stable domain theory (Q4632438) (← links)
- Models of intuitionistic TT and NF (Q4842637) (← links)
- (Q5240594) (← links)
- Jewels of Institution-Independent Model Theory (Q5757924) (← links)
