Pregled bibliografske jedinice broj: 644304
Algoritamska ekvivalencija multiplarnih dedukcija i Bethovih tabloa
Algoritamska ekvivalencija multiplarnih dedukcija i Bethovih tabloa // Sustavi dokazivanja
Dubrovnik, Hrvatska, 2012. (predavanje, međunarodna recenzija, sažetak, znanstveni)
CROSBI ID: 644304 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
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
Projekti:
120-1203164-3074 - Matematička logika i primjene (Šikić, Zvonimir, MZOS ) ( CroRIS)
Ustanove:
Fakultet organizacije i informatike, Varaždin
