Nalazite se na CroRIS probnoj okolini. Ovdje evidentirani podaci neće biti pohranjeni u Informacijskom sustavu znanosti RH. Ako je ovo greška, CroRIS produkcijskoj okolini moguće je pristupi putem poveznice www.croris.hr
izvor podataka: crosbi !

Jedan sustav obilježene prirodne dedukcije za Kangerovu teoriju prava (CROSBI ID 117653)

Prilog u časopisu | izvorni znanstveni rad

Žarnić, Berislav Jedan sustav obilježene prirodne dedukcije za Kangerovu teoriju prava // Filozofska istraživanja, 26 (2006), 3; 731-755-x

Podaci o odgovornosti

Žarnić, Berislav

hrvatski

Jedan sustav obilježene prirodne dedukcije za Kangerovu teoriju prava

U radu se Basin-Matthews-Vigan&ograve ; 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

Podaci o izdanju

26 (3)

2006.

731-755-x

objavljeno

0351-4706

Povezanost rada

Pravo, Filologija, Filozofija