Axiomatizing a minimal discussive logic

DOI10.1007/s11225-023-10042-9OpenAlexW4378717732MaRDI QIDQ6057625

Marek Nasieniewski, Krystyna Mruczek-Nasieniewska, Vasilyi Shangin, Yaroslav I. Petrukhin, Oleg Grigor'ev

Publication date: 26 October 2023

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

Full work available at URL: https://doi.org/10.1007/s11225-023-10042-9

zbMATH Keywords

modal logicembeddingaccessibility relationsda Costa and Dubikajtisdiscussive logicsdiscussive operatorssmallest discussive logic

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Cites Work

• A method of generating modal logics defining Jaśkowski's discussive logic \(D_{2}\)
• The axiomatization of S. Jaskowski's discussive system
• Remarks on discussive propositional calculus
• Modal logics connected with systems \(S4_n\) of Sobocinski
• Axiomatizing Jaśkowski's discussive logic \(\mathbf{D_2}\)
• On the algebra of classes of formulae of Jaskowski's discussive system
• Propositional calculus for contradictory deductive systems
• A propositional calculus for inconsistent deductive systems
• On the discussive conjunction in the propositional calculus for inconsistent deductive systems
• On Theses without Iterated Modalities of Modal Logics Between C1 and S5. Part 2
• On Theses Without Iterated Modalities of Modal Logics Between C1 and S5. Part 1
• A comparison of two approaches to parainconsistency: Flemish and Polish
• A modal extension of Jaśkowski’s discussive logic $\textbf{D}_\textbf{2}$
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Axiomatizing a minimal discussive logic