Napredna pretraga

Pregled bibliografske jedinice broj: 666983

Algoritamska ekvivalencija multiplarnih prirodnih dedukcija i Bethovih tabloa


Maretić, Marcel
Algoritamska ekvivalencija multiplarnih prirodnih dedukcija i Bethovih tabloa 2013., doktorska disertacija, Prirodoslovno-matematički fakultet, Zagreb


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


Projekt / tema
120-1203164-3074 - Matematička logika i primjene (Zvonimir Šikić, )

Ustanove
Prirodoslovno-matematički fakultet, Matematički odjel, Zagreb

Autor s matičnim brojem:
Marcel Maretić, (253492)