The following pages link to (Q5523672):
Displayed 6 items.
- On sequence-conclusion natural deduction systems (Q1062053) (← links)
- Separability of normalizable superintuitionistic propositional logics (Q1290801) (← links)
- An alternative normalization of the implicative fragment of classical logic (Q2352461) (← links)
- Axiomatization of models for intermediate logics constructed with Boolean models by piling up (Q2555486) (← links)
- Algebraic proof of the separation theorem on classical propositional calculus (Q5534906) (← links)
- On the separation theorem of intermediate propositional calculi (Q5553255) (← links)