On all strong Kleene generalizations of classical logic
From MaRDI portal
Publication:295922
DOI10.1007/s11225-015-9649-5zbMath1417.03197DBLPjournals/sLogica/Wintein16OpenAlexW2284844693WikidataQ59463281 ScholiaQ59463281MaRDI QIDQ295922
Publication date: 14 June 2016
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-015-9649-5
classical logicexactly true logicfirst-degree entailment (FDE)logic of paradox (LP)strong Kleene logic (K3)uniform sequent calculus
Related Items (9)
Interpolation methods for Dunn logics and their extensions ⋮ The value of the one value: \textit{exactly true logic} revisited ⋮ One step is enough ⋮ MTV logics ⋮ From many-valued consequence to many-valued connectives ⋮ A completeness proof for a regular predicate logic with undefined truth value ⋮ A hierarchy of classical and paraconsistent logics ⋮ Exactly true and non-falsity logics meeting infectious ones ⋮ Sequent-calculi for metainferential logics
Uses Software
Cites Work
- Tolerant, classical, strict
- Generalizing functional completeness in Belnap-Dunn logic
- On partial and paraconsistent logics
- A model of tolerance
- The logic of paradox
- The value of the four values
- Intuitive semantics for first-degree entailments and `coupled trees'
- Reasoning with logical bilattices
- Nothing but the truth
- On compactness in many-valued logic. I
- CONSERVATIVELY EXTENDING CLASSICAL LOGIC WITH TRANSPARENT TRUTH
- MULTIPLE-CONCLUSION LP AND DEFAULT CLASSICALITY
- Natural 3-valued logics—characterization and proof theory
- Bilattices and the semantics of logic programming
- Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions
- Rejection
- Logical Pluralism
- LP+, K3+, FDE+, AND THEIR ‘CLASSICAL COLLAPSE’
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: On all strong Kleene generalizations of classical logic
