Natural deduction for three-valued regular logics

DOI10.12775/LLP.2016.025zbMath1417.03181MaRDI QIDQ4683206

Yaroslav I. Petrukhin

Publication date: 20 September 2018

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

zbMATH Keywords

natural deductionthree-valued logicregular logicKleene's logic

Mathematics Subject Classification ID

Many-valued logic (03B50)

Related Items (11)

Dualities for Płonka sums ⋮ Generalized correspondence analysis for three-valued logics ⋮ Correspondence analysis and automated proof-searching for first degree entailment ⋮ A completeness proof for a regular predicate logic with undefined truth value ⋮ Unnamed Item ⋮ On Vidal's trivalent explanations for defective conditional in mathematics ⋮ Natural Deduction for Four-Valued both Regular and Monotonic Logics ⋮ An Epistemic Interpretation of Paraconsistent Weak Kleene Logic ⋮ Deduction normalization theorem for Sette's logic and its modifications ⋮ Logics of variable inclusion and the lattice of consequence relations ⋮ Exactly true and non-falsity logics meeting infectious ones

Cites Work

• 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
• Unnamed Item
• 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 three-valued regular logics