Axiomatizing Jaśkowski's discussive logic D₂

DOI10.1007/S11225-017-9780-6MaRDI QIDQ1756595zbMATH OpenOpenAlexFDO

Authors Hitoshi Omori, Jesse Alama

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

matricesmodal logicautomated theorem provingdiscussive logicdiscursive logiccounter model

Mathematics Subject Classification ID

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

Recommendations

• A new axiomatization of Jaśkowski's discussive logic
• A quasi-discursive system \(ND_2^+\)
• Frontiers of the discursive logic
• On the da Costa, Dubikajtis and Kotas’ system of the discursive logic, D*2
• Negations in the adjunctive discursive logic

Cites work

• scientific article; zbMATH DE number 3719123 (Why is no real title available?)
• scientific article; zbMATH DE number 3489098 (Why is no real title available?)
• scientific article; zbMATH DE number 3513748 (Why is no real title available?)
• scientific article; zbMATH DE number 3559522 (Why is no real title available?)
• scientific article; zbMATH DE number 3264906 (Why is no real title available?)
• A new axiomatization of Jaśkowski's discussive logic
• A propositional calculus for inconsistent deductive systems
• A quasi-discursive system \(ND_2^+\)
• Discussive sentential calculuc of Jaskowski
• Frontiers of the discursive logic
• On quantity of logical values in the discussive \(D_2\) system and in modular logic
• On the da Costa, Dubikajtis and Kotas’ system of the discursive logic, D*2
• On the discussive conjunction in the propositional calculus for inconsistent deductive systems
• Propositional calculus for contradictory deductive systems
• The axiomatization of S. Jaskowski's discussive system

Cited in

(9)

• On paracomplete versions of Jaśkowski's discussive logic
• On Modal Logics Defining Jaśkowski’s D2-Consequence
• Axiomatizing a minimal discussive logic
• Coping with inconsistencies in legal reasoning
• scientific article; zbMATH DE number 6287589 (Why is no real title available?)
• scientific article; zbMATH DE number 6287601 (Why is no real title available?)
• scientific article; zbMATH DE number 6287611 (Why is no real title available?)
• A modal extension of Jaśkowski’s discussive logic $\textbf{D}_\textbf{2}$
• A new axiomatization of Jaśkowski's discussive logic

Describes a project that uses

Uses Software

• MiniSat

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

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