Philosophical and critical aspects of logic and foundations (03A05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)
Recommendations
- Degrees of validity and the logical paradoxes
- Dissolving the paradoxicality paradox
- Reassurance for the logic of paradox
- Defusing Bertrand's paradox
- There is no paradox of logical validity
- scientific article; zbMATH DE number 3321247
- Revising logic in light of paradox
- Logic of paradox revisited
- Outfoxing a paradox
- A pragmatic dissolution of Curry's paradox
Cited in
(14)- Non-reflexivity and revenge
- Paradox and logical revision. A short introduction
- Paraconsistent or paracomplete?
- The Soundness Paradox
- Validity as a primitive
- Degrees of validity and the logical paradoxes
- Principles for object-linguistic consequence: from logical to irreflexive
- There is no paradox of logical validity
- A note on contraction-free logic for validity
- The final cut
- Faithfulness for naive validity
- External curries
- Towards a non-classical meta-theory for substructural approaches to paradox
- Fusion and confusion
This page was built for publication: Disarming a paradox of validity
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q509601)
