First Degree Entailment, Symmetry and Paradox

DOI10.12775/LLP.2016.028zbMath1419.03026OpenAlexW2539134687WikidataQ57565600 ScholiaQ57565600MaRDI QIDQ4683209

Greg Restall

Publication date: 20 September 2018

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.12775/llp.2016.028

zbMATH Keywords

paradoxsymmetrymodelsfirst degree entailmenttheories

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Paraconsistent logics (03B53)

Related Items

Neutral free logic: motivation, proof theory and models

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Pluralism and proofs
• Paradox, truth and logic. I. Paradox and truth
• The simple consistency of a set theory based on the logic CSQ
• Dual-intuitionistic logic
• Intuitive semantics for first-degree entailments and `coupled trees'
• Outline of a Theory of Truth
• Assertion, Denial and Non-classical Theories
• The Semantics of First Degree Entailment