izvor podataka: crosbi
!
Algoritamska ekvivalencija multiplarnih dedukcija i Bethovih tabloa (CROSBI ID 600167)
Prilog sa skupa u zborniku | sažetak izlaganja sa skupa | međunarodna recenzija
Maretić, Marcel
Algoritamska ekvivalencija multiplarnih dedukcija i Bethovih tabloa // Sustavi dokazivanja. 2012
Podaci o odgovornosti
Maretić, Marcel
hrvatski
Algoritamska ekvivalencija multiplarnih dedukcija i Bethovih tabloa
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.
multiplarne dedukcije; klasična logika; semantička stabla
nije evidentirano
engleski
Algorithmic Equivalence of Multiple Conclusion Deductions and Beth Tableaux
nije evidentirano
multiple conclusion deductions; classical logic; logic; semantic trees
nije evidentirano
Podaci o prilogu
2012.
objavljeno
Podaci o matičnoj publikaciji
Sustavi dokazivanja
Podaci o skupu
http://imft.ftn.uns.ac.rs/math/cms/SD2012
predavanje
28.06.2012-28.06.2012
Dubrovnik, Hrvatska
Povezanost rada
Povezane ustanove
Povezani projekti