Napredna pretraga

Pregled bibliografske jedinice broj: 644304

Algoritamska ekvivalencija multiplarnih dedukcija i Bethovih tabloa


Maretić, Marcel
Algoritamska ekvivalencija multiplarnih dedukcija i Bethovih tabloa // Sustavi dokazivanja
Dubrovnik, Hrvatska, 2012. (predavanje, međunarodna recenzija, sažetak, znanstveni)


Naslov
Algoritamska ekvivalencija multiplarnih dedukcija i Bethovih tabloa
(Algorithmic Equivalence of Multiple Conclusion Deductions and Beth Tableaux)

Autori
Maretić, Marcel

Vrsta, podvrsta i kategorija rada
Sažeci sa skupova, sažetak, znanstveni

Izvornik
Sustavi dokazivanja / - , 2012

Skup
Http://imft.ftn.uns.ac.rs/math/cms/SD2012

Mjesto i datum
Dubrovnik, Hrvatska, 28.06.2012.

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
Multiplarne dedukcije; klasična logika; semantička stabla
(Multiple conclusion deductions; classical logic; logic; semantic trees)

Sažetak
Semantičkim pristupom multiplarnim prirodnim dedukcijama u klasičnoj logici pokazuje se da su analitičke i potraga za dokazima je ekvivalentna Bethovoj metodi semantičkih stablala.

Izvorni jezik
Hrvatski

Znanstvena područja
Matematika



POVEZANOST RADA


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

Ustanove
Fakultet organizacije i informatike, Varaždin

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