Axiomatizing Jaśkowski's discussive logic \(\mathbf{D_2}\)

DOI10.1007/s11225-017-9780-6zbMath1437.03103OpenAlexW2790422355MaRDI QIDQ1756595

Jesse Alama, Hitoshi Omori

Publication date: 21 December 2018

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-017-9780-6

zbMATH Keywords

modal logicmatricesautomated theorem provingdiscussive logicdiscursive logiccounter model

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Paraconsistent logics (03B53)

Related Items (1)

Axiomatizing a minimal discussive logic

Uses Software

• MiniSat

Cites Work

• A quasi-discursive system \(ND_2^+\)
• The axiomatization of S. Jaskowski's discussive system
• Discussive sentential calculuc of Jaskowski
• On quantity of logical values in the discussive \(D_2\) system and in modular logic
• Propositional calculus for contradictory deductive systems
• A propositional calculus for inconsistent deductive systems
• On the discussive conjunction in the propositional calculus for inconsistent deductive systems
• On the da Costa, Dubikajtis and Kotas’ system of the discursive logic, D*2
• A new axiomatization of Jaśkowski's discussive logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Axiomatizing Jaśkowski's discussive logic \(\mathbf{D_2}\)