On all strong Kleene generalizations of classical logic

DOI10.1007/S11225-015-9649-5zbMath1417.03197DBLPjournals/sLogica/Wintein16OpenAlexW2284844693WikidataQ59463281 ScholiaQ59463281MaRDI QIDQ295922

Stefan Wintein

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

zbMATH Keywords

classical logicexactly true logicfirst-degree entailment (FDE)logic of paradox (LP)strong Kleene logic (K3)uniform sequent calculus

Mathematics Subject Classification ID

Many-valued logic (03B50) Paraconsistent logics (03B53)

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

• Pesca

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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’

This page was built for publication: On all strong Kleene generalizations of classical logic