Pages that link to "Item:Q5434482"
From MaRDI portal
The following pages link to A Cut-Free Sequent Calculus for Bi-intuitionistic Logic (Q5434482):
Displayed 7 items.
- Proof theory of Nelson's paraconsistent logic: a uniform perspective (Q764309) (← links)
- Natural deduction for bi-intuitionistic logic (Q1693596) (← links)
- Bi-Classical Connexive Logic and its Modal Extension: Cut-elimination, completeness and duality (Q3387890) (← links)
- Constructive negation, implication, and co-implication (Q3643320) (← links)
- Stipulation and Symmetrical Consequence (Q5241532) (← links)
- On the Blok-Esakia Theorem (Q5255793) (← links)
- ANALYTIC CUT AND INTERPOLATION FOR BI-INTUITIONISTIC LOGIC (Q5274878) (← links)