Napredna pretraga

Pregled bibliografske jedinice broj: 644297

Multiple Conclusion Deductions in Classical Logic


Maretić, Marcel
Multiple Conclusion Deductions in Classical Logic // Logic and Applications 2013
Dubrovnik, Hrvatska, 2013. (predavanje, međunarodna recenzija, sažetak, znanstveni)


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.-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


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)