Natural Deduction for Four-Valued both Regular and Monotonic Logics

DOI10.12775/LLP.2017.001MaRDI QIDQ4683216zbMATH OpenOpenAlexFDO

Authors Yaroslav I. Petrukhin

Publication date 20 September 2018

Published in Logic and Logical Philosophy (Search for Journal in Brave)

Full work available at URL https://doi.org/10.12775/llp.2017.001

zbMATH Keywords

natural deductionfour-valued logicregular logicKleene's logicsmonotonic logicBelnap-Dunn's logic

Mathematics Subject Classification ID

Many-valued logic (03B50)

Recommendations

• Natural deduction for Fitting's four-valued generalizations of Kleene's logics
• On four-valued regular logics
• Natural deduction for three-valued regular logics
• Finitely many-valued logics and natural deduction
• Cut-free sequent calculus and natural deduction for the tetravalent modal logic
• On poly-logistic natural-deduction for finitely-valued propositional logics
• scientific article; zbMATH DE number 6316274
• scientific article; zbMATH DE number 1343458
• Natural deduction for paraconsistent logic
• Classical natural deduction for S4 modal logic

Cites work

• scientific article; zbMATH DE number 4180779 (Why is no real title available?)
• scientific article; zbMATH DE number 4142014 (Why is no real title available?)
• scientific article; zbMATH DE number 3659568 (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 2209823 (Why is no real title available?)
• A calculus of antinomics
• Belnap's Four-Valued Logic and De Morgan Lattices
• Completeness via correspondence for extensions of the logic of paradox
• Functional interdependence of regular Kleene logics
• Intuitive semantics for first-degree entailments and `coupled trees'
• Kleene's Logic, Generalized
• Logic of paradox revisited
• Natural deduction for three-valued regular logics
• 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
• The development of many-valued logics
• The logic of paradox

Cited in

(15)

• 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
• Natural deduction for Fitting's four-valued generalizations of Kleene's logics
• Normalisation for some quite interesting many-valued logics
• Notes on models of (partial) Kripke-Feferman truth
• Correspondence analysis and automated proof-searching for first degree entailment
• A Generalization of Falsity in Finitely-many Valued Logics
• Containment logics: algebraic completeness and axiomatization
• Normalisation for some infectious logics and their relatives
• Natural deduction for three-valued regular logics
• On four-valued regular logics

This page was built for publication: Natural Deduction for Four-Valued both Regular and Monotonic Logics

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