Follow
Chris Fermüller
Chris Fermüller
Professor of Computer Science, Vienna University of Technology
Verified email at logic.at - Homepage
Title
Cited by
Cited by
Year
Handbook of Mathematical Fuzzy Logic-volume 2
P Cintula, P Hájek, CN Clofent
Studies in Logic 38, 469-928, 2011
1972011
Resolution methods for the decision problem
C Fermüller, A Leitsch, T Tammet, N Zamov
Springer Berlin Heidelberg, 1993
1631993
Resolution decision procedures
CG Fermüller, A Leitsch, U Hustadt, T Tammet
Handbook of automated reasoning, 1791-1849, 2001
1502001
Resolution-based theorem proving for many-valued logics
M Baaz, CG Fermüller
Journal of Symbolic Computation 19 (4), 353-391, 1995
1121995
Hypersequent calculi for Gödel logics—a survey
M Baaz, A Ciabattoni, CG Fermüller
Journal of Logic and Computation 13 (6), 835-861, 2003
982003
Hyperresolution and automated model building
C Fermüller, A Leitsch
Journal of Logic and Computation 6 (2), 173-203, 1996
921996
Removing redundancy from a clause
G Gottlob, CG Fermüller
Artificial Intelligence 61 (2), 263-289, 1993
911993
Elimination of cuts in first-order finite-valued logics
M Baaz, CG Fermüller, R Zach
Institut für Informatik, 1994
741994
Systematic construction of natural deduction systems for many-valued logics
M Baaz, CG Fermuller, R Zach
[1993] Proceedings of the Twenty-Third International Symposium on Multiple …, 1993
71*1993
Automated deduction for many-valued logics
M Baaz, CG Fermüller, G Salzer
Handbook of automated reasoning, 1355-1402, 2001
682001
Uniform rules and dialogue games for fuzzy logics
A Ciabattoni, CG Fermüller, G Metcalfe
International Conference on Logic for Programming Artificial Intelligence …, 2005
662005
Labeled calculi and finite-valued logics
M Baaz, CG Fermüller, G Salzer, R Zach
Studia Logica 61 (1), 7-33, 1998
651998
Resolution for many-valued logics
M Baaz, CG Fermüller
International Conference on Logic for Programming Artificial Intelligence …, 1992
651992
Analytic calculi for projective logics
M Baaz, CG Fermüller
International Conference on Automated Reasoning with Analytic Tableaux and …, 1999
631999
Non-elementary speedups between different versions of tableaux
M Baaz, CG Fermüller
International Workshop on Theorem Proving with Analytic Tableaux and Related …, 1995
571995
Fuzzy logic
P Cintula, CG Fermüller, C Noguera
492016
A non-elementary speed-up in proof length by structural clause form transformation
M Baaz, CG Fermuller, A Leitsch
Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, 213-219, 1994
481994
Herbrand’s theorem for prenex Gödel logic and its consequences for theorem proving
M Baaz, A Ciabattoni, CG Fermüller
International Conference on Logic for Programming Artificial Intelligence …, 2001
472001
Giles’s game and the proof theory of Łukasiewicz logic
CG Fermüller, G Metcalfe
Studia Logica 92 (1), 27-61, 2009
462009
Dual systems of sequents and tableaux for many-valued logics
M Baaz, CG Fermüller, R Zach
European Association for Theoretical Computer Science, 1993
431993
The system can't perform the operation now. Try again later.
Articles 1–20