Pregled bibliografske jedinice broj: 644297
Multiple Conclusion Deductions in Classical Logic
Multiple Conclusion Deductions in Classical Logic // Logic and Applications 2013
Dubrovnik, Hrvatska, 2013. (predavanje, međunarodna recenzija, sažetak, znanstveni)
CROSBI ID: 644297 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Multiple Conclusion Deductions in Classical Logic
Autori
Maretić, Marcel
Vrsta, podvrsta i kategorija rada
Sažeci sa skupova, sažetak, znanstveni
Izvornik
Logic and Applications 2013
/ - , 2013
Skup
Logic and Applications
Mjesto i datum
Dubrovnik, Hrvatska, 16.09.2013. - 20.09.2013
Vrsta sudjelovanja
Predavanje
Vrsta recenzije
Međunarodna recenzija
Ključne riječi
multiple conclusion deductions; classical logic; logic
Sažetak
Multiple conclusion deductions are natural deduction formalism suitable for classical logic. MCDs are analytic and algorithmicaly equivalent to semantic trees and sequent proofs.
Izvorni jezik
Engleski
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
Profili:
Marcel Maretić
(autor)
