Pages that link to "Item:Q1220483"
From MaRDI portal
The following pages link to A remark on Gentzen's calculus of sequents (Q1220483):
Displaying 12 items.
- The semi Heyting-Brouwer logic (Q495844) (← links)
- LK, LJ, dual intuitionistic logic, and quantum logic (Q558432) (← links)
- Proof theory of Nelson's paraconsistent logic: a uniform perspective (Q764309) (← links)
- Dual-intuitionistic logic (Q1355125) (← links)
- Falsification-aware semantics and sequent calculi for classical logic (Q2078978) (← links)
- On the unity of duality (Q2482843) (← links)
- Pragmatic and dialogic interpretations of bi-intuitionism. Part I (Q2987724) (← links)
- The Evil Twin: The Basics of Complement-Toposes (Q5241534) (← links)
- Emptiness and Discharge in Sequent Calculus and Natural Deduction (Q5259653) (← links)
- A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC (Q5741613) (← links)
- Falsification-aware calculi and semantics for normal modal logics including S4 and S5 (Q6169323) (← links)
- Rules of explosion and excluded middle: constructing a unified single-succedent Gentzen-style framework for classical, paradefinite, paraconsistent, and paracomplete logics (Q6612000) (← links)
