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

automated theorem provingcounter modeldiscursive logicdiscussive logicmatricesmodal logic

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

• 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
• 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?)
• On quantity of logical values in the discussive D₂ 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

(17)

• A new axiomatization of Jaśkowski's discussive logic
• On Modal Logics Defining Jaśkowski’s D2-Consequence
• A modal extension of Jaśkowski’s discussive logic $\textbf{D}_\textbf{2}$
• 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?)
• Axiomatizing a minimal discussive logic
• On paracomplete versions of Jaśkowski's discussive logic
• Coping with inconsistencies in legal reasoning
• Exploring Jaśkowski's discussive logic. Proof analysis and related remarks
• Computer-aided searching for a tabular many-valued discussive logic -- matrices
• The disjunction-free fragment of \(\mathbf{D}_2\) is three-valued
• Some remarks on two seminal approaches to paraconsistency: Stanisław Jaśkowski and Newton da Costa
• Paraconsistency in non-Fregean framework
• From Jaśkowski's discussive logic to contemporary paraconsistent systems
• Non-Fregean world of logics
• Modal discussive logics

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)