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

DOI10.1007/S11787-017-0169-0MaRDI QIDQ1689568zbMATH OpenOpenAlexFDO

Authors 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

three-valued logicsnatural deduction systemfour-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)

Recommendations

• Natural deduction systems for some modifications of Kleene's and Dunn-Belnap's logics
• Natural Deduction for Four-Valued both Regular and Monotonic Logics
• Natural deduction for three-valued regular logics
• Natural deduction systems for logics in the FDE family
• Natural three-valued logics characterized by natural deduction

Cites work

• scientific article; zbMATH DE number 4180779 (Why is no real title available?)
• scientific article; zbMATH DE number 590999 (Why is no real title available?)
• scientific article; zbMATH DE number 6418709 (Why is no real title available?)
• scientific article; zbMATH DE number 3061149 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• A calculus of antinomics
• Completeness via correspondence for extensions of the logic of paradox
• Correspondence analysis for first degree entailment
• Functional interdependence of regular Kleene logics
• Intuitive semantics for first-degree entailments and `coupled trees'
• Kleene's Logic, Generalized
• Nothing but the truth
• On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus
• On four-valued regular logics
• On notation for ordinal numbers
• On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis
• The logic of paradox

Cited in

(13)

• Natural deduction systems for some modifications of Kleene's and Dunn-Belnap's logics
• Dualities for Płonka sums
• Generalized correspondence analysis for three-valued logics
• Deduction normalization theorem for Sette's logic and its modifications
• Exactly true and non-falsity logics meeting infectious ones
• An epistemic interpretation of paraconsistent weak Kleene logic
• Finitely many-valued logics and natural deduction
• Normalisation for some quite interesting many-valued logics
• Correspondence analysis and automated proof-searching for first degree entailment
• Logics of generalized classical truth values
• Normalisation for some infectious logics and their relatives
• Natural Deduction for Four-Valued both Regular and Monotonic Logics
• Natural deduction systems for logics in the FDE family

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1689568)