Pregled bibliografske jedinice broj: 666983
Algoritamska ekvivalencija multiplarnih prirodnih dedukcija i Bethovih tabloa
Algoritamska ekvivalencija multiplarnih prirodnih dedukcija i Bethovih tabloa, 2013., doktorska disertacija, Prirodoslovno-matematički fakultet, Zagreb
CROSBI ID: 666983 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Algoritamska ekvivalencija multiplarnih prirodnih dedukcija i Bethovih tabloa
(Algorithmic Equivalence of Multiple Conclusion Deductions and Beth's Semantic Tableaux Method)
Autori
Maretić, Marcel
Vrsta, podvrsta i kategorija rada
Ocjenski radovi, doktorska disertacija
Fakultet
Prirodoslovno-matematički fakultet
Mjesto
Zagreb
Datum
16.12
Godina
2013
Stranica
131
Mentor
Šikić, Zvonimir
Ključne riječi
Klasična logika; Teorija dokaza; Prirodne dedukcije; Multiplarne prirodne dedukcije
(Classical logic; Proof theory; Natural deductions; Multiple conclusion natural deductions)
Sažetak
U radu se definira račun multiplarnih dedukcija klasične propozicijske logike i klasične logike prvog reda. Za račun multiplarnih dedukcija pokazuje se da je analitički i da je postupak potrage za dokazom ekvivalentan Bethovoj metodi semantičkih stabala.
Izvorni jezik
Hrvatski
Znanstvena područja
Matematika
POVEZANOST RADA
Projekti:
120-1203164-3074 - Matematička logika i primjene (Šikić, Zvonimir, MZOS ) ( CroRIS)
Ustanove:
Prirodoslovno-matematički fakultet, Matematički odjel, Zagreb
