LP+, K3+, FDE+, AND THEIR ‘CLASSICAL COLLAPSE’

DOI10.1017/S1755020313000142zbMath1315.03002OpenAlexW2126061872MaRDI QIDQ5414140

J. C. Beall

Publication date: 2 May 2014

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1755020313000142

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Paraconsistent logics (03B53)

Related Items

THE LATTICE OF SUPER-BELNAP LOGICS ⋮ On all strong Kleene generalizations of classical logic ⋮ Free of Detachment: Logic, Rationality, and Gluts ⋮ Two-sided sequent calculi for \textit{FDE}-like four-valued logics ⋮ Notes on models of (partial) Kripke-Feferman truth ⋮ FDE as the One True Logic ⋮ Consistency, Completeness, and Classicality ⋮ Sequent-calculi for metainferential logics

Cites Work

• Intuitive semantics for first-degree entailments and `coupled trees'
• A note on freedom from detachment in the logic of paradox
• A calculus of antinomics
• Logic of antinomies
• MULTIPLE-CONCLUSION LP AND DEFAULT CLASSICALITY
• Natural 3-valued logics—characterization and proof theory
• Outline of a Theory of Truth
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: LP⁺, K3⁺, FDE⁺, AND THEIR ‘CLASSICAL COLLAPSE’