A labelled deduction system for Kanger's deontic-praxeological logic (CROSBI ID 523099)
Prilog sa skupa u zborniku | sažetak izlaganja sa skupa | međunarodna recenzija
Podaci o odgovornosti
Žarnić, Berislav
engleski
A labelled deduction system for Kanger's deontic-praxeological logic
Basin-Matthews-Vigano approach to construction of labelled deduction systems for normal modal logics is adapted to „ Fitch proof-format“ , and it is applied to the language of deontic-praxeological logic. Segerberg's suggestion on how to asses the adequacy of a logic for Kanger's theory of rights is being formally explicated and it is proved that herewith proposed system of labelled deduction satisfies Segerberg's criteria of adequacy. For the purpose of building the proof a semantics is given, which connects „ the simplest semantics of action“ with standard semantics of deontic logic. Soundness and completeness of the proposed labelled deduction with respect to aforementioned semantics is proved.
labelled deduction; Kanger; deontic logic; theory of rights
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
11-x.
2006.
objavljeno
Podaci o matičnoj publikaciji
8th Rijeka International Conference, Contemporary Philosophical Issues: Analytic Philosophy and Logical Investigations
Trobok, Majda ; Ule, Andrej ; Žarnić, Berislav ; Golubović, Aleksandra
Rijeka: University of Rijeka, Faculty of Arts and Sciences
Podaci o skupu
8th Rijeka International Conference, Contemporary Philosophical Issues: Analytic Philosophy and Logical Investigations
predavanje
09.06.2006-10.06.2006
Rijeka, Hrvatska