How to be really contraction free

DOI10.1007/BF01057653zbMath0793.03003OpenAlexW1481470750MaRDI QIDQ1313081

Greg Restall

Publication date: 21 August 1994

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01057653

zbMATH Keywords

paradoxcontractionfinite modelsabsurdity

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Many-valued logic (03B50)

Related Items

TRANSFINITE CARDINALS IN PARACONSISTENT SET THEORY, Non-monotonic set theory as a pragmatic foundation of mathematics, Relevant restricted quantification, What is a relevant connective?, Curry's paradox and \(\omega \)-inconsistency, Non-conditional contracting connectives, Natural deduction and Curry's paradox, ABSOLUTE CONTRADICTION, DIALETHEISM, AND REVENGE, Paraconsistent constructive logic with strong negation as a contraction-free relevant logic, A robust non-transitive logic, Routes to triviality, Variations on a theme of Curry, An incompleteness theorem for modal relevant logics, Non-deterministic conditionals and transparent truth

Cites Work

• The consistency of the axiom of comprehension in the infinite-valued predicate logic of Lukasiewicz
• Where gamma fails
• Intuitive semantics for first-degree entailments and `coupled trees'
• Logical paradoxes for many-valued systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item