Pages that link to "Item:Q5553255"
From MaRDI portal
The following pages link to On the separation theorem of intermediate propositional calculi (Q5553255):
Displaying 5 items.
- Separability of normalizable superintuitionistic propositional logics (Q1290801) (← links)
- An alternative normalization of the implicative fragment of classical logic (Q2352461) (← links)
- A note on some intermediate propositional calculi (Q3218107) (← links)
- The separable axiomatization of the intermediate propositional systems $S_n $ of Gödel (Q5537357) (← links)
- Algebraic proof of the separation theorem on Dummett's $\mathrm{LC}$ (Q5553256) (← links)
