Natural deduction for Fitting's four-valued generalizations of Kleene's logics

DOI10.1007/s11787-017-0169-0zbMath1385.03032OpenAlexW2612676125MaRDI QIDQ1689568

Yaroslav I. Petrukhin

Publication date: 12 January 2018

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

Full work available at URL: https://doi.org/10.1007/s11787-017-0169-0

zbMATH Keywords

natural deduction systemthree-valued logicsfour-valued logicsKleene's logics

Mathematics Subject Classification ID

Many-valued logic (03B50) Proof theory in general (including proof-theoretic semantics) (03F03) Abstract deductive systems (03B22)

Related Items (7)

Dualities for Płonka sums ⋮ Generalized correspondence analysis for three-valued logics ⋮ Correspondence analysis and automated proof-searching for first degree entailment ⋮ Unnamed Item ⋮ An Epistemic Interpretation of Paraconsistent Weak Kleene Logic ⋮ Deduction normalization theorem for Sette's logic and its modifications ⋮ Exactly true and non-falsity logics meeting infectious ones

Cites Work

• On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis
• The logic of paradox
• Intuitive semantics for first-degree entailments and `coupled trees'
• Nothing but the truth
• A calculus of antinomics
• Kleene's Logic, Generalized
• On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus
• COMPLETENESS VIA CORRESPONDENCE FOR EXTENSIONS OF THE LOGIC OF PARADOX
• On notation for ordinal numbers
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Natural deduction for Fitting's four-valued generalizations of Kleene's logics