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: 644297

Zbornik radova

Autori: Maretić, Marcel
Naslov: Multiple Conclusion Deductions in Classical Logic
( Multiple Conclusion Deductions in Classical Logic )
Izvornik: Logic and Applications 2013
Skup: Logic and Applications
Mjesto i datum: Dubrovnik, Hrvatska, 16.-20.09.2013.
Ključne riječi: multiple conclusion deductions; classical logic; logic
( 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.
Vrsta sudjelovanja: Predavanje
Vrsta prezentacije u zborniku: Sažetak
Vrsta recenzije: Međunarodna recenzija
Projekt / tema: 120-1203164-3074
Izvorni jezik: eng
Kategorija: Znanstveni
Znanstvena područja:
Matematika
Puni text rada: 644297.mm-LAP2013-talk.pdf (tekst priložen 30. Ruj. 2013. u 09:36 sati)
Upisao u CROSBI: Marcel Maretić (mmaretic@foi.hr), 30. Ruj. 2013. u 09:36 sati



Verzija za printanje   za tiskati


upomoc
foot_4