Pages that link to "Item:Q694491"
From MaRDI portal
The following pages link to Natural deduction for dual-intuitionistic logic (Q694491):
Displaying 9 items.
- A more general general proof theory (Q1688710) (← links)
- Reprint of: ``A more general general proof theory'' (Q1693594) (← links)
- Natural deduction for bi-intuitionistic logic (Q1693596) (← links)
- Single-assumption systems in proof-theoretic semantics (Q2079705) (← links)
- Pragmatic and dialogic interpretations of bi-intuitionism. Part I (Q2987724) (← links)
- Equality and Apartness in Bi-intuitinistic Logic (Q5059692) (← links)
- Prawitz, Proofs, and Meaning (Q5213604) (← links)
- Emptiness and Discharge in Sequent Calculus and Natural Deduction (Q5259653) (← links)
- A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC (Q5741613) (← links)
