Deduction normalization theorem for Sette's logic and its modifications

DOI10.3103/S0027132219010054zbMATH Open1468.03027OpenAlexW2941232915MaRDI QIDQ2319976FDOQ2319976

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

• Untersuchungen über das logische Schliessen. II
• On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Maximal weakly-intuitionistic logics
• Paraconsistency and Sette's calculus P1
• Title not available (Why is that?)
• Peirce's rule in natural deduction.
• Bochvar's three-valued logic and literal paralogics: their lattice and functional equivalence
• Completeness via correspondence for extensions of the logic of paradox
• Title not available (Why is that?)
• 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
• Natural deduction system for three-valued Heyting's logic
• A weakly-intuitionistic logic \(I1\)
• Literal-paraconsistent and literal-paracomplete matrices
• Title not available (Why is that?)
• Natural deduction for three-valued regular logics
• Natural Deduction for Four-Valued both Regular and Monotonic Logics
• On the logics related to A. Arruda’s system V1

Cited In (4)

• 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
• A Semi-lattice of Four-valued Literal-paraconsistent-paracomplete Logics

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)