Pages that link to "Item:Q5850535"
From MaRDI portal
The following pages link to Über die Zwischensysteme der Aussagenlogik (Q5850535):
Displayed 9 items.
- On superintuitionistic logics as fragments of proof logic extensions (Q1091383) (← links)
- A note on sequent calculi intermediate between LJ and LK (Q1115420) (← links)
- On fragments of Medvedev's logic (Q1165841) (← links)
- On formulas of one variable in intuitionistic propositional calculus (Q3843602) (← 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)
- A Characterization of the Intuitionistic Propositional Logic (Q5592225) (← links)
- On intermediate propositional logics (Q5720187) (← links)