crta
Hrvatska znanstvena Sekcija img
bibliografija
3 gif
 Naslovna
 O projektu
 FAQ
 Kontakt
4 gif
Pregledavanje radova
Jednostavno pretraživanje
Napredno pretraživanje
Skupni podaci
Upis novih radova
Upute
Ispravci prijavljenih radova
Ostale bibliografije
Slični projekti
 Bibliografske baze podataka

Pregled bibliografske jedinice broj: 644304

Zbornik radova

Autori: Maretić, Marcel
Naslov: Algoritamska ekvivalencija multiplarnih dedukcija i Bethovih tabloa
( Algorithmic Equivalence of Multiple Conclusion Deductions and Beth Tableaux )
Izvornik: Sustavi dokazivanja
Skup: http://imft.ftn.uns.ac.rs/math/cms/SD2012
Mjesto i datum: Dubrovnik, Hrvatska, 28.06.2012.
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.
Vrsta sudjelovanja: Predavanje
Vrsta prezentacije u zborniku: Sažetak
Vrsta recenzije: Međunarodna recenzija
Projekt / tema: 120-1203164-3074
Izvorni jezik: hrv
Kategorija: Znanstveni
Znanstvena područja:
Matematika
URL Internet adrese: http://imft.ftn.uns.ac.rs/math/cms/SD2012
http://imft.ftn.uns.ac.rs/math/cms/SD2012
Upisao u CROSBI: Marcel Maretić (mmaretic@foi.hr), 30. Ruj. 2013. u 09:44 sati



Verzija za printanje   za tiskati


upomoc
foot_4