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

DOI10.3103/S0027132218010059zbMath1390.03024OpenAlexW2793978038WikidataQ130121306 ScholiaQ130121306MaRDI QIDQ1647261

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

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

Related Items (4)

Generalized correspondence analysis for three-valued logics ⋮ On Vidal's trivalent explanations for defective conditional in mathematics ⋮ Deduction normalization theorem for Sette's logic and its modifications ⋮ Peirce’s Triadic Logic and Its (Overlooked) Connexive Expansion

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A note on matrices for systems of nonsense-logics
• Nonsense logics and their algebraic properties
• COMPLETENESS VIA CORRESPONDENCE FOR EXTENSIONS OF THE LOGIC OF PARADOX
• Über Eine Prädikatenlogik mit Partiell Definierten Prädikaten und Funktionen
• The completeness of the first-order functional calculus

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