Pretražite po imenu i prezimenu autora, mentora, urednika, prevoditelja

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


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 ) ( POIROT)

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

Profili:

Avatar Url Zvonimir Šikić (mentor)

Avatar Url Marcel Maretić (autor)

Poveznice na cjeloviti tekst rada:

Pristup cjelovitom tekstu rada

Citiraj ovu publikaciju:

Maretić, Marcel
Algoritamska ekvivalencija multiplarnih prirodnih dedukcija i Bethovih tabloa, 2013., doktorska disertacija, Prirodoslovno-matematički fakultet, Zagreb
Maretić, M. (2013) 'Algoritamska ekvivalencija multiplarnih prirodnih dedukcija i Bethovih tabloa', doktorska disertacija, Prirodoslovno-matematički fakultet, Zagreb.
@phdthesis{phdthesis, author = {Mareti\'{c}, M.}, year = {2013}, pages = {131}, keywords = {Klasi\v{c}na logika, Teorija dokaza, Prirodne dedukcije, Multiplarne prirodne dedukcije}, title = {Algoritamska ekvivalencija multiplarnih prirodnih dedukcija i Bethovih tabloa}, keyword = {Klasi\v{c}na logika, Teorija dokaza, Prirodne dedukcije, Multiplarne prirodne dedukcije}, publisherplace = {Zagreb} }
@phdthesis{phdthesis, author = {Mareti\'{c}, M.}, year = {2013}, pages = {131}, keywords = {Classical logic, Proof theory, Natural deductions, Multiple conclusion natural deductions}, title = {Algorithmic Equivalence of Multiple Conclusion Deductions and Beth's Semantic Tableaux Method}, keyword = {Classical logic, Proof theory, Natural deductions, Multiple conclusion natural deductions}, publisherplace = {Zagreb} }




Contrast
Increase Font
Decrease Font
Dyslexic Font