A Kotas-Style Characterisation of Minimal Discussive Logic
Department of Logic, Nicolaus Copernicus University in Toruń, ul. Moniuszki 16/20, 87-100 Toruń, Poland
*
Authors to whom correspondence should be addressed.
†
These authors contributed equally to this work.
Axioms 2019, 8(4), 108; https://doi.org/10.3390/axioms8040108
Received: 26 August 2019
/
Revised: 25 September 2019
/
Accepted: 27 September 2019
/
Published: 1 October 2019
(This article belongs to the Special Issue Deductive Systems in Traditional and Modern Logic)
In this paper, we discuss a version of discussive logic determined by a certain variant of Jaśkowski’s original model of discussion. The obtained system can be treated as the minimal discussive logic. It is determined by frames with serial accessibility relation. As the smallest one, this logic can be treated as a basis which could be extended to richer discussive logics that are obtained by varying accessibility relation and resulting in a lattice of discussive logics. One has to remember that while formulating discussive logics there is no one-to-one determination of discussive logics by modal logics. For example, it is proved that Jaśkowski’s logic can be expressed by other than modal logics. In this paper we consider a deductive system for the sketchily described minimal logic. While formulating the deductive system, we apply a method of Kotas that was used to axiomatize . The obtained system determines a logic as a set of theses that is contained in . Moreover, any discussive logic that would be expressed by means of the provided model of discussion would contain , so it is the smallest discussive logic.
View Full-Text
Keywords:
discussive logics; the smallest discussive logic; discussive operators; seriality; accessibility relation; Kotas’ method; modal logic
This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited
MDPI and ACS Style
Mruczek-Nasieniewska, K.; Nasieniewski, M. A Kotas-Style Characterisation of Minimal Discussive Logic. Axioms 2019, 8, 108. https://doi.org/10.3390/axioms8040108
AMA Style
Mruczek-Nasieniewska K, Nasieniewski M. A Kotas-Style Characterisation of Minimal Discussive Logic. Axioms. 2019; 8(4):108. https://doi.org/10.3390/axioms8040108
Chicago/Turabian StyleMruczek-Nasieniewska, Krystyna, and Marek Nasieniewski. 2019. "A Kotas-Style Characterisation of Minimal Discussive Logic" Axioms 8, no. 4: 108. https://doi.org/10.3390/axioms8040108
Find Other Styles
Note that from the first issue of 2016, MDPI journals use article numbers instead of page numbers. See further details here.
