Pages that link to "Item:Q1708464"
From MaRDI portal
The following pages link to A note on contraction-free logic for validity (Q1708464):
Displaying 18 items.
- Naive \textit{modus ponens} (Q373022) (← links)
- External curries (Q496329) (← links)
- Principles for object-linguistic consequence: from logical to irreflexive (Q722029) (← links)
- A consistent theory of attributes in a logic without contraction (Q1208119) (← links)
- How to be really contraction free (Q1313081) (← links)
- Naïve comprehension and contracting implications (Q1611254) (← links)
- Structural weakening and paradoxes (Q1982021) (← links)
- Faithfulness for naive validity (Q2052637) (← links)
- Towards a non-classical meta-theory for substructural approaches to paradox (Q2240546) (← links)
- There is no paradox of logical validity (Q2254573) (← links)
- Noncontractive classical logic (Q2295733) (← links)
- The original sin of proof-theoretic semantics (Q2690170) (← links)
- On structural contraction and why it fails (Q2693459) (← links)
- Note on deduction theorems in contraction-free logics (Q2888635) (← 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)
- CONTRACTION-FREE SEQUENT CALCULI FOR INTUITIONISTIC LOGIC: A CORRECTION (Q4647120) (← links)
- A Note on Gödel, Priest and Naïve Proof (Q5013617) (← links)