Axiomatizing a minimal discussive logic
From MaRDI portal
Publication:6057625
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
modal logicembeddingaccessibility relationsda Costa and Dubikajtisdiscussive logicsdiscussive operatorssmallest discussive logic
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
