Deduction normalization theorem for Sette's logic and its modifications

DOI10.3103/S0027132219010054zbMath1468.03027OpenAlexW2941232915MaRDI QIDQ2319976

Yaroslav I. Petrukhin

Publication date: 21 August 2019

Published in: Moscow University Mathematics Bulletin (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3103/s0027132219010054

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Many-valued logic (03B50) Paraconsistent logics (03B53)

Related Items

Об одном классе $n$-значных литеральных паранепротиворечивых / параполных логик, A Semi-lattice of Four-valued Literal-paraconsistent-paracomplete Logics

Cites Work

• Peirce's rule in natural deduction.
• The natural deduction systems for the three-valued nonsense logics Z and E
• Natural deduction for Fitting's four-valued generalizations of Kleene's logics
• Untersuchungen über das logische Schliessen. II
• Maximal weakly-intuitionistic logics
• Natural deduction system for three-valued Heyting's logic
• Paraconsistency and Sette’s calculus P1
• On the logics related to A. Arruda’s system V1
• Literal-paraconsistent and literal-paracomplete matrices
• Natural deduction for three-valued regular logics
• Bochvar's three-valued logic and literal paralogics: Their lattice and functional equivalence
• Natural Deduction for Four-Valued both Regular and Monotonic 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item