Pages that link to "Item:Q5534906"
From MaRDI portal
The following pages link to Algebraic proof of the separation theorem on classical propositional calculus (Q5534906):
Displaying 4 items.
- On sequence-conclusion natural deduction systems (Q1062053) (← links)
- An alternative normalization of the implicative fragment of classical logic (Q2352461) (← links)
- A note on some intermediate propositional calculi (Q3218107) (← links)
- On the separation theorem of intermediate propositional calculi (Q5553255) (← links)
