Algoritamska ekvivalencija multiplarnih prirodnih dedukcija i Bethovih tabloa (CROSBI ID 382833)
Ocjenski rad | doktorska disertacija
Podaci o odgovornosti
Maretić, Marcel
Šikić, Zvonimir
hrvatski
Algoritamska ekvivalencija multiplarnih prirodnih dedukcija i Bethovih tabloa
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.
Klasična logika; Teorija dokaza; Prirodne dedukcije; Multiplarne prirodne dedukcije
nije evidentirano
engleski
Algorithmic Equivalence of Multiple Conclusion Deductions and Beth's Semantic Tableaux Method
nije evidentirano
Classical logic; Proof theory; Natural deductions; Multiple conclusion natural deductions
nije evidentirano
Podaci o izdanju
131
16.12.2013.
obranjeno
Podaci o ustanovi koja je dodijelila akademski stupanj
Prirodoslovno-matematički fakultet, Zagreb
Zagreb