Axiomatizing Jaśkowski's discussive logic D₂

DOI10.1007/S11225-017-9780-6zbMATH Open1437.03103OpenAlexW2790422355MaRDI QIDQ1756595FDOQ1756595

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

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

zbMATH Keywords

matricesmodal logicautomated theorem provingdiscussive logicdiscursive logiccounter model

Mathematics Subject Classification ID

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

Cites Work

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

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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A modal extension of Jaśkowski’s discussive logic $\textbf{D}_\textbf{2}$
• A new axiomatization of Jaśkowski's discussive logic

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)