The axiomatization of S. Jaskowski's discussive system

DOI10.1007/BF02120494zbMath0295.02015MaRDI QIDQ1212927

Jerzy Kotas

Publication date: 1974

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

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) General logic (03B99)

Related Items (11)

On Jaśkowski's discussive logics ⋮ Axiomatizing a minimal discussive logic ⋮ Axiomatizing Jaśkowski's discussive logic \(\mathbf{D_2}\) ⋮ Adjoint interpretations of sentential calculi ⋮ Remarks on discussive propositional calculus ⋮ Discussive sentential calculuc of Jaskowski ⋮ On quantity of logical values in the discussive \(D_2\) system and in modular logic ⋮ On detachment-substitutional formalization in normal modal logics ⋮ Modal logics connected with systems \(S4_n\) of Sobocinski ⋮ Why Paraconsistent Logics? ⋮ Some paraconsistent sentential calculi

Cites Work

• Logical systems with implications
• Allgemeine Logische und Mathematische Theorien
• Unnamed Item

This page was built for publication: The axiomatization of S. Jaskowski's discussive system