On Jaśkowski's discussive logics

DOI10.1007/BF01058531zbMath0818.03012MaRDI QIDQ1344871

Newton C. A. Da Costa, Francisco Antonio Doria

Publication date: 22 February 1995

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

zbMATH Keywords

modal logicKripke semanticsparaconsistent logicdiscussive logicfoundation for the axiomatization of physicspragmatic truthS5 with quantification and necessary equality

Mathematics Subject Classification ID

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

Related Items (3)

Variations on Jaśkowski’s Discursive Logic ⋮ Para-Disagreement Logics and Their Implementation Through Embedding in Coq and SMT ⋮ Some Rough Consequence Logics and their Interrelations

Cites Work

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

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