Pages that link to "Item:Q1708464"
From MaRDI portal
The following pages link to A note on contraction-free logic for validity (Q1708464):
Displaying 9 items.
- Principles for object-linguistic consequence: from logical to irreflexive (Q722029) (← links)
- Structural weakening and paradoxes (Q1982021) (← links)
- Towards a non-classical meta-theory for substructural approaches to paradox (Q2240546) (← links)
- Noncontractive classical logic (Q2295733) (← links)
- The original sin of proof-theoretic semantics (Q2690170) (← links)
- On structural contraction and why it fails (Q2693459) (← links)
- The Difficulties in Using Weak Relevant Logics for Naive Set Theory (Q3305672) (← links)
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
- A Note on Gödel, Priest and Naïve Proof (Q5013617) (← links)
