The natural deduction systems for the three-valued nonsense logics Z and E

DOI10.3103/S0027132218010059MaRDI QIDQ1647261zbMATH OpenOpenAlexWikidataFDO

Authors Yaroslav I. Petrukhin

Publication date 26 June 2018

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

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

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Many-valued logic (03B50) Paraconsistent logics (03B53)

Cites work

• A note on matrices for systems of nonsense-logics
• Completeness via correspondence for extensions of the logic of paradox
• scientific article; zbMATH DE number 6418709 (Why is no real title available?)
• scientific article; zbMATH DE number 3032489 (Why is no real title available?)
• scientific article; zbMATH DE number 3061149 (Why is no real title available?)
• Nonsense logics and their algebraic properties
• The completeness of the first-order functional calculus
• Über Eine Prädikatenlogik mit Partiell Definierten Prädikaten und Funktionen

Cited in

(6)

• Generalized correspondence analysis for three-valued logics
• Deduction normalization theorem for Sette's logic and its modifications
• Natural deduction system for three-valued Heyting's logic
• Natural deduction for three-valued regular logics
• Peirce's triadic logic and its (overlooked) connexive expansion
• On Vidal's trivalent explanations for defective conditional in mathematics

This page was built for publication: The natural deduction systems for the three-valued nonsense logics Z and E

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