Pages that link to "Item:Q5772797"
From MaRDI portal
The following pages link to A note on the reduction of Gentzen’s calculus 𝐿𝐽 (Q5772797):
Displaying 6 items.
- Separability of normalizable superintuitionistic propositional logics (Q1290801) (← links)
- Key notions of Tarski's methodology of deductive systems (Q1820770) (← links)
- An alternative normalization of the implicative fragment of classical logic (Q2352461) (← links)
- Head or tail? de morgan on the bounds of traditional logic (Q4391327) (← links)
- Some Remarks on Evaluations of the Primitive Logic (Q5592227) (← links)
- The separation theorem of intuitionist propositional calculus (Q5727654) (← links)
