Natural Deduction for Four-Valued both Regular and Monotonic Logics

DOI10.12775/LLP.2017.001zbMath1456.03048OpenAlexW2583604612MaRDI QIDQ4683216

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)

Related Items (10)

A Generalization of Falsity in Finitely-many Valued Logics ⋮ Dualities for Płonka sums ⋮ Generalized correspondence analysis for three-valued logics ⋮ Correspondence analysis and automated proof-searching for first degree entailment ⋮ Unnamed Item ⋮ Notes on models of (partial) Kripke-Feferman truth ⋮ An Epistemic Interpretation of Paraconsistent Weak Kleene Logic ⋮ Containment logics: algebraic completeness and axiomatization ⋮ Deduction normalization theorem for Sette's logic and its modifications ⋮ Exactly true and non-falsity logics meeting infectious ones

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Logic of paradox revisited
• 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
• Belnap's Four-Valued Logic and De Morgan Lattices
• Natural deduction for three-valued regular logics
• 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

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