3

3

in: Baaz M.
"Automatisches Beweisen für Logiksysteme, in denen Widersprüche behandelt werden können" (1987) 

31th

in: Baaz M., Ciabattoni A. and Fermüller C. G.
"Cut-Elimination in a Sequents-of-Relations Calculus for Gödel Logic" (2001) 

33rd

in: Fermüller C. G. and Ciabattoni A.
"From Intuitionistic Logics to Gödel-Dummett Logic via Parallel Dialogue Games" (2003) 

Submit a bug

This document was generated by bib2html 1.2.
Copyright © 1998-04 Stéphane GALLAND (under the GNU General Public License)