Pages that link to "Item:Q2710593"
From MaRDI portal
The following pages link to Admissibility of structural rules for contraction-free systems of intuitionistic logic (Q2710593):
Displaying 4 items.
- Proof theory of Nelson's paraconsistent logic: a uniform perspective (Q764309) (← links)
- Terminating calculi and countermodels for constructive modal logics (Q2142091) (← links)
- Intuitionistic Decision Procedures Since Gentzen (Q3305556) (← links)
- An intuitionistic formula hierarchy based on high‐school identities (Q5108846) (← links)
