Pages that link to "Item:Q5553255"
From MaRDI portal
The following pages link to On the separation theorem of intermediate propositional calculi (Q5553255):
Displaying 8 items.
- A faithful interpretation of the intuitionistic propositional calculus by means of an initial segment of the Medvedev lattice (Q1112802) (← links)
- 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)
- (Q3220564) (← 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)
- An undecidability result for separation logic with theory reasoning (Q6161426) (← links)