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

DOI10.3103/S0027132218010059zbMATH Open1390.03024OpenAlexW2793978038WikidataQ130121306 ScholiaQ130121306MaRDI QIDQ1647261FDOQ1647261

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

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

Cites Work

• The completeness of the first-order functional calculus
• Title not available (Why is that?)
• Nonsense logics and their algebraic properties
• Title not available (Why is that?)
• Completeness via correspondence for extensions of the logic of paradox
• Title not available (Why is that?)
• Über Eine Prädikatenlogik mit Partiell Definierten Prädikaten und Funktionen
• A note on matrices for systems of nonsense-logics

Cited In (6)

• On Vidal's trivalent explanations for defective conditional in mathematics
• Deduction normalization theorem for Sette's logic and its modifications
• Generalized correspondence analysis for three-valued logics
• 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

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)