Logics with Impossibility as the Negation and Regular Extensions of the Deontic Logic D2

Krystyna Mruczek-Nasieniewska, and Marek Nasieniewski. "Logics with Impossibility as the Negation and Regular Extensions of the Deontic Logic D2." Bulletin of the Section of Logic 46.3/4 (2017): null. <http://eudml.org/doc/295598>.

@article{KrystynaMruczek2017,
abstract = {In [1] J.-Y. Bèziau formulated a logic called Z. Bèziau’s idea was generalized independently in [6] and [7]. A family of logics to which Z belongs is denoted in [7] by K. In particular; it has been shown in [6] and [7] that there is a correspondence between normal modal logics and logics from the class K. Similar; but only partial results has been obtained also for regular logics (see [8] and [9]). In (Došen; [2]) a logic N has been investigated in the language with negation; implication; conjunction and disjunction by axioms of positive intuitionistic logic; the right-to-left part of the second de Morgan law; and the rules of modus ponens and contraposition. From the semantical point of view the negation used by Došen is the modal operator of impossibility. It is known this operator is a characteristic of the modal interpretation of intuitionistic negation (see [3; p. 300]). In the present paper we consider an extension of N denoted by N+. We will prove that every extension of N+ that is closed under the same rules as N+; corresponds to a regular logic being an extension of the regular deontic logic D21 (see [4] and [13]). The proved correspondence allows to obtain from soundnesscompleteness result for any given regular logic containing D2, similar adequacy theorem for the respective extension of the logic N+.},
author = {Krystyna Mruczek-Nasieniewska, Marek Nasieniewski},
journal = {Bulletin of the Section of Logic},
keywords = {non-classical negation; modalized negation; impossibility; correspondence; regular modal logics; the smallest regular deontic logic D2},
language = {eng},
number = {3/4},
pages = {null},
title = {Logics with Impossibility as the Negation and Regular Extensions of the Deontic Logic D2},
url = {http://eudml.org/doc/295598},
volume = {46},
year = {2017},
}

TY - JOUR
AU - Krystyna Mruczek-Nasieniewska
AU - Marek Nasieniewski
TI - Logics with Impossibility as the Negation and Regular Extensions of the Deontic Logic D2
JO - Bulletin of the Section of Logic
PY - 2017
VL - 46
IS - 3/4
SP - null
AB - In [1] J.-Y. Bèziau formulated a logic called Z. Bèziau’s idea was generalized independently in [6] and [7]. A family of logics to which Z belongs is denoted in [7] by K. In particular; it has been shown in [6] and [7] that there is a correspondence between normal modal logics and logics from the class K. Similar; but only partial results has been obtained also for regular logics (see [8] and [9]). In (Došen; [2]) a logic N has been investigated in the language with negation; implication; conjunction and disjunction by axioms of positive intuitionistic logic; the right-to-left part of the second de Morgan law; and the rules of modus ponens and contraposition. From the semantical point of view the negation used by Došen is the modal operator of impossibility. It is known this operator is a characteristic of the modal interpretation of intuitionistic negation (see [3; p. 300]). In the present paper we consider an extension of N denoted by N+. We will prove that every extension of N+ that is closed under the same rules as N+; corresponds to a regular logic being an extension of the regular deontic logic D21 (see [4] and [13]). The proved correspondence allows to obtain from soundnesscompleteness result for any given regular logic containing D2, similar adequacy theorem for the respective extension of the logic N+.
LA - eng
KW - non-classical negation; modalized negation; impossibility; correspondence; regular modal logics; the smallest regular deontic logic D2
UR - http://eudml.org/doc/295598
ER -