Pages that link to "Item:Q2548955"
From MaRDI portal
The following pages link to Kripke models and intermediate logics (Q2548955):
Displayed 25 items.
- A new constant in superintuitionistic logic L3 (Q498291) (← links)
- On superintuitionistic logics as fragments of proof logic extensions (Q1091383) (← links)
- Intermediate logics with the same disjunctionless fragment as intuitionistic logic (Q1096618) (← links)
- Evaluation of Peirce's axiom on intermediate Kripke models and its application (Q1148895) (← links)
- Finite axiomatization for some intermediate logics (Q1165839) (← links)
- On fragments of Medvedev's logic (Q1165841) (← links)
- Strong equivalence on an intuitionistic Kripke model and assertorically equivolumetric logics (Q1170234) (← links)
- A study of intermediate propositional logics on the third slice (Q1208111) (← links)
- Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics (Q1208117) (← links)
- Negative equivalence of extensions of minimal logic (Q1770621) (← links)
- On the structure of paraconsistent extensions of Johansson's logic (Q1775862) (← links)
- Logics of some Kripke frames connected with Medvedev notion of informational types (Q1820765) (← links)
- A study of intermediate predicate logics (Q1843560) (← links)
- Constructing a continuum of predicate extensions of each intermediate propositional logic (Q1891930) (← links)
- Profiniteness and representability of spectra of Heyting algebras (Q2232709) (← links)
- Characterization of pseudo-Boolean models by Boolean models and its applications to intermediate logics (Q2264662) (← links)
- Generalizations of the weak law of the excluded middle (Q2354624) (← links)
- Epimorphisms in varieties of residuated structures (Q2411405) (← links)
- On the finite model property for Kripke models (Q2556329) (← links)
- Some results on the intermediate logics (Q2557689) (← links)
- European Summer Meeting of the Association for Symbolic Logic, Uppsala 1991 (Q3138023) (← links)
- Decidability problem for finite Heyting algebras (Q3815356) (← links)
- Incompleteness of semantics for intermediate predicate logics, I. Kripke's Semantics (Q4053614) (← links)
- Generalized tableau systems for intermediate propositional logics (Q4610314) (← links)
- EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES (Q6072335) (← links)