Matthias Baaz (baaz)

Contributions to Philosophie.ch

Bibliography

Baaz, Matthias, Egly, Uwe and Leitsch, Alexander. 1998. “Extension Methods in Automated Deduction.” in Automated Deduction: A Basis for Applications. Volume II, Systems and Implementation Techniques, edited by Wolfgang Bibel and Peter H. Schmidt, pp. 331–360. Applied Logic Series n. 9. Dordrecht: Kluwer Academic Publishers.
Baaz, Matthias, Fermüller, Christian G. and Zach, Richard J. 1994. “Elimination of Cuts in First-Order Finite-Valued Logics.” Journal of Information Processing and Cybernetics 29: 333–355.
Baaz, Matthias, Hájek, Petr, Krajı́ček, Jan and Svejda, David. 1998. “Embedding Logics into Product Logic.” Studia Logica: An International Journal for Symbolic Logic 61: 35–47.
Baaz, Matthias, Papadimitriou, Christos H., Putnam, Hilary, Scott, Dana S. and Harper, Charles L., Jr., eds. 2011. Kurt Gödel and the Foundations of Mathematics. Horizons of Truth. Cambridge: Cambridge University Press.