Pages that link to "Item:Q5720187"
From MaRDI portal
The following pages link to On intermediate propositional logics (Q5720187):
Displayed 14 items.
- On superintuitionistic logics as fragments of proof logic extensions (Q1091383) (← links)
- A cut-free Gentzen-type system for the logic of the weak law of excluded middle (Q1100191) (← links)
- A note on sequent calculi intermediate between LJ and LK (Q1115420) (← links)
- Equational axioms for classes of Heyting algebras (Q1237072) (← links)
- A semantic hierarchy for intuitionistic logic (Q1740610) (← links)
- The simple substitution property of Gödel's intermediate propositional logics \(S_ n\)'s (Q1814180) (← links)
- Explicating logical independence (Q2301324) (← links)
- LC and Its Pretabular Relatives (Q3305421) (← links)
- AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE (Q3644804) (← links)
- Characteristic Formulas Over Intermediate Logics (Q5214733) (← links)
- On the Blok-Esakia Theorem (Q5255793) (← links)
- On logics intermediate between intuitionistic and classical predicate logic (Q5518354) (← links)
- Certain Method for Generating a Series of Logics (Q5551418) (← links)
- Jankov Formulas and Axiomatization Techniques for Intermediate Logics (Q5886457) (← links)