On Jaśkowski's discussive logics

DOI10.1007/BF01058531zbMATH Open0818.03012MaRDI QIDQ1344871FDOQ1344871

Authors: N. C. A. da Costa, Francisco Antonio Doria 

Publication date: 22 February 1995

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

Recommendations

• Some results on Jaśkowski’s discursive logic
• Negations in the adjunctive discursive logic
• scientific article; zbMATH DE number 4127178
• A new axiomatization of Jaśkowski's discussive logic
• The logic of pragmatic truth

zbMATH Keywords

modal logicparaconsistent logicKripke semanticsdiscussive logicfoundation for the axiomatization of physicspragmatic truthS5 with quantification and necessary equality

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Paraconsistent logics (03B53) Foundations of classical theories (including reverse mathematics) (03B30) Other applications of logic (03B80)

Cites Work

• Title not available (Why is that?)
• Propositional calculus for contradictory deductive systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the definition of ‘formal deduction’
• Title not available (Why is that?)
• Title not available (Why is that?)
• Pragmatic truth and approximation to truth
• Undecidability and incompleteness in classical mechanics
• A Suppes predicate for general relativity and set-theoretically generic spacetimes
• Remarks on discussive propositional calculus
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The axiomatization of S. Jaskowski's discussive system
• Title not available (Why is that?)
• Discussive sentential calculuc of Jaskowski
• On the algebra of classes of formulae of Jaskowski's discussive system
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (7)

• Para-disagreement logics and their implementation through embedding in Coq and SMT
• Some Rough Consequence Logics and their Interrelations
• Title not available (Why is that?)
• Variations on Jaśkowski's discursive logic
• A modal extension of Jaśkowski’s discussive logic $\textbf{D}_\textbf{2}$
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication: On Jaśkowski's discussive logics

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