Geodesic
Deontic Paradoxes and Tableau System for Kalinowski’s Deontic Logic K1
Bulletin of the Section of Logic, Tome 46 (2017) no. 3-4

Voir la notice de l'article provenant de la source Library of Science

In 1953, Jerzy Kalinowski published his paper on the logic of normative sentences. The paper is recognized as one of the first publications on the formal system of deontic logic. The aim of this paper is to present a tableau system for Kalinowski’s deontic logic and to discuss some of the topics related to the paradoxes of deontic logic.
Keywords: deontic logic, K1, Kalinowski’s logic, paradoxes, tableaux 
@article{BSL_2017_46_3-4_a3,
     author = {Ciuciura, Janusz},
     title = {Deontic {Paradoxes} and {Tableau} {System} for {Kalinowski{\textquoteright}s} {Deontic} {Logic} {K1}},
     journal = {Bulletin of the Section of Logic},
     publisher = {mathdoc},
     volume = {46},
     number = {3-4},
     year = {2017},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/BSL_2017_46_3-4_a3/}
}
TY  - JOUR
AU  - Ciuciura, Janusz
TI  - Deontic Paradoxes and Tableau System for Kalinowski’s Deontic Logic K1
JO  - Bulletin of the Section of Logic
PY  - 2017
VL  - 46
IS  - 3-4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/BSL_2017_46_3-4_a3/
LA  - en
ID  - BSL_2017_46_3-4_a3
ER  - 
%0 Journal Article
%A Ciuciura, Janusz
%T Deontic Paradoxes and Tableau System for Kalinowski’s Deontic Logic K1
%J Bulletin of the Section of Logic
%D 2017
%V 46
%N 3-4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/BSL_2017_46_3-4_a3/
%G en
%F BSL_2017_46_3-4_a3
Ciuciura, Janusz. Deontic Paradoxes and Tableau System for Kalinowski’s Deontic Logic K1. Bulletin of the Section of Logic, Tome 46 (2017) no. 3-4. http://geodesic.mathdoc.fr/item/BSL_2017_46_3-4_a3/