Next Article in Journal / Special Issue
Deontic Logics as Axiomatic Extensions of First-Order Predicate Logic: An Approach Inspired by Wolniewicz’s Formal Ontology of Situations
Previous Article in Journal
Corrections: Kim, T.; et al. Some Identities for Euler and Bernoulli Polynomials and Their Zeros. Axioms 2018, 7, 56
Previous Article in Special Issue
Logic of Typical and Atypical Instances of a Concept—A Mathematical Model
Open AccessArticle

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 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 D 2 can be expressed by other than S 5 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 D 2 . The obtained system determines a logic D 0 as a set of theses that is contained in D 2 . Moreover, any discussive logic that would be expressed by means of the provided model of discussion would contain D 0 , so it is the smallest discussive logic.
Keywords: discussive logics; the smallest discussive logic; discussive operators; seriality; accessibility relation; Kotas’ method; modal logic discussive logics; the smallest discussive logic; discussive operators; seriality; accessibility relation; Kotas’ method; modal logic
MDPI and ACS Style

Mruczek-Nasieniewska, K.; Nasieniewski, M. A Kotas-Style Characterisation of Minimal Discussive Logic. Axioms 2019, 8, 108.

Show more citation formats Show less citations formats
Note that from the first issue of 2016, MDPI journals use article numbers instead of page numbers. See further details here.

Article Access Map by Country/Region

1
Back to TopTop