Deduction normalization theorem for Sette's logic and its modifications

DOI10.3103/S0027132219010054MaRDI QIDQ2319976zbMATH OpenOpenAlexFDO

Authors 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

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

Cites work

• scientific article; zbMATH DE number 5519286 (Why is no real title available?)
• scientific article; zbMATH DE number 2019859 (Why is no real title available?)
• scientific article; zbMATH DE number 2020144 (Why is no real title available?)
• scientific article; zbMATH DE number 1361518 (Why is no real title available?)
• scientific article; zbMATH DE number 3453564 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• A weakly-intuitionistic logic \(I1\)
• Bochvar's three-valued logic and literal paralogics: their lattice and functional equivalence
• Completeness via correspondence for extensions of the logic of paradox
• Literal-paraconsistent and literal-paracomplete matrices
• Maximal weakly-intuitionistic logics
• Natural Deduction for Four-Valued both Regular and Monotonic Logics
• Natural deduction for Fitting's four-valued generalizations of Kleene's logics
• Natural deduction for three-valued regular logics
• Natural deduction system for three-valued Heyting's logic
• On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus
• On the logics related to A. Arruda’s system V1
• Paraconsistency and Sette's calculus P1
• Peirce's rule in natural deduction.
• The natural deduction systems for the three-valued nonsense logics Z and E
• Untersuchungen über das logische Schliessen. II

Cited in

(4)

• A Semi-lattice of Four-valued Literal-paraconsistent-paracomplete Logics
• Normalisation and subformula property for a system of classical logic with Tarski's rule
• Об одном классе $n$-значных литеральных паранепротиворечивых / параполных логик
• The normal and self-extensional extension of Dunn-Belnap logic

This page was built for publication: Deduction normalization theorem for Sette's logic and its modifications

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