Jedan sustav obilježene prirodne dedukcije za Kangerovu teoriju prava (CROSBI ID 117653)
Prilog u časopisu | izvorni znanstveni rad
Podaci o odgovornosti
Žarnić, Berislav
hrvatski
Jedan sustav obilježene prirodne dedukcije za Kangerovu teoriju prava
U radu se Basin-Matthews-Viganò ; pristup izgradnji sustava obilježene prirodne dedukcije za normalne modalne logike prilagođava 'Fitch-formatu' dokaza i primjenjuje na jezik deontičko-prakseološke logike. Formalizira se Segerbergova sugestija o načinu određivanja primjerenosti neke logike za Kangerovu teoriju prava i dokazuje se da ovdje predloženi sustav obilježene prirodne dedukcije zadovoljava Segerbergove uvjete primjerenosti. U dokazu se gradi semantika koja povezuje 'najjednostavniju semantiku čina' i standardnu semantiku deontičke logike. Pouzdanost i potpunost predloženog sustava obilježene prirodne dedukcije dokazana je u odnosu na spomenutu semantiku.
obilježena prirodna dedukcija; modalna logika; deontičko-prakseološka logika; Kanger
nije evidentirano
engleski
A Labelled Natural Deduction System for Kanger's Theory of Rights
nije evidentirano
labelled natural deduction; modal logic; deontic-praxeological logic; Kanger
nije evidentirano