A Resolution Variant Deciding some Classes of Clause Sets. - Christian G. Fermüller (CSL, 1990)

Deciding classes of clause sets by resolution. - Christian G. Fermüller (1991)

Model Building by Resolution. - Christian G. Fermüller; Alexander Leitsch (CSL, 1992)

Resolution for Many-Valued Logics. - Matthias Baaz; Christian G. Fermüller (LPAR, 1992)

Resolution Methods for the Decision Problem - Christian G. Fermüller; Alexander Leitsch; Tanel Tammet; N. K. Zamov (Springer, 1993)

Systematic Construction of Natural Deduction Systems for Many-Valued Logics. - Matthias Baaz; Christian G. Fermüller; Richard Zach (ISMVL, 1993)

MULTILOG: A System for Axiomatizing Many-valued Logics. - Matthias Baaz; Christian G. Fermüller; Arie Ovrutcki; Richard Zach (LPAR, 1993)

Ordered Paramodulation and Resolution as Decision Procedure. - Christian G. Fermüller; Gernot Salzer (LPAR, 1993)

Removing Redundancy from a Clause. - Georg Gottlob; Christian G. Fermüller (Artif. Intell., 1993)

Dual systems of sequents and tableaux for many-valued logics. - Matthias Baaz; Christian G. Fermüller; Richard Zach (Bull. EATCS, 1993)

Elimination of Cuts in First-order Finite-valued Logics. - Matthias Baaz; Christian G. Fermüller; Richard Zach (J. Inf. Process. Cybern., 1993)

A Non-Elementary Speed-Up in Proof Length by Structural Clause Form Transformation - Matthias Baaz; Christian G. Fermüller; Alexander Leitsch (LICS, 1994)

Non-elementary Speedups between Different Versions of Tableaux. - Matthias Baaz; Christian G. Fermüller (TABLEAUX, 1995)

Resolution-Based Theorem Proving for Manyvalued Logics. - Matthias Baaz; Christian G. Fermüller (J. Symb. Comput., 1995)

MUltlog 1.0: Towards an Expert System for Many-Valued Logics. - Matthias Baaz; Christian G. Fermüller; Gernot Salzer; Richard Zach (CADE, 1996)

Semantic Trees Revisited: Some New Completeness Results. - Christian G. Fermüller (CADE, 1996)

Intuitionistic Counterparts of Finitely-Valued Logics. - Matthias Baaz; Christian G. Fermüller (ISMVL, 1996)

Combining Many-valued and Intuitionistic Tableaux. - Matthias Baaz; Christian G. Fermüller (TABLEAUX, 1996)

Hyperresolution and Automated Model Building. - Christian G. Fermüller; Alexander Leitsch (J. Log. Comput., 1996)

Lean Induction Principles for Tableaux. - Matthias Baaz; Uwe Egly; Christian G. Fermüller (TABLEAUX, 1997)

Implicational Completeness of Signed Resolution. - Christian G. Fermüller (FTP (LNCS Selection), 1998)

Proof Theory of Fuzzy Logics: Urquhart's C and Related Logics. - Matthias Baaz; Agata Ciabattoni; Christian G. Fermüller; Helmut Veith (MFCS, 1998)

Tableaux for Finite-Valued Logics with Arbitrary Distribution Modalities. - Christian G. Fermüller; Herbert Langsteiner (TABLEAUX, 1998)

Decision Procedures and Model Building in Equational Clause Logic. - Christian G. Fermüller; Alexander Leitsch (Log. J. IGPL, 1998)

Labeled Calculi and Finite-Valued Logics. - Matthias Baaz; Christian G. Fermüller; Gernot Salzer; Richard Zach (Stud Logica, 1998)

On the Undecidability of some Sub-Classical First-Order Logics. - Matthias Baaz; Agata Ciabattoni; Christian G. Fermüller; Helmut Veith (FSTTCS, 1999)

Analytic Calculi for Projective Logics. - Matthias Baaz; Christian G. Fermüller (TABLEAUX, 1999)

Workshop: Model Computation - Principles, Algorithms, Applications. - Peter Baumgartner 001; Christian G. Fermüller; Nicolas Peltier; Hantao Zhang 001 (CADE, 2000)

Have Spass with OCC1Ng=. - Christian G. Fermüller; Georg Moser (LPAR, 2000)

An Analytic Calculus for Quantified Propositional Gödel Logic. - Matthias Baaz; Christian G. Fermüller; Helmut Veith (TABLEAUX, 2000)

Automated Deduction for Many-Valued Logics. - Matthias Baaz; Christian G. Fermüller; Gernot Salzer (Handbook of Automated Reasoning, 2001)

Resolution Decision Procedures. - Christian G. Fermüller; Alexander Leitsch; Ullrich Hustadt; Tanel Tammet (Handbook of Automated Reasoning, 2001)

A Note on the Proof-Theoretic Strength of a Single Application of the Schema of Identity. - Matthias Baaz; Christian G. Fermüller (Proof Theory in Computer Science, 2001)

Cut-Elimination in a Sequents-of-Relations Calculus for Gödel Logic. - Matthias Baaz; Agata Ciabattoni; Christian G. Fermüller (ISMVL, 2001)

Hypersequents as a Uniform Framework for Urquhart's C, MTL and Related Logics. - Agata Ciabattoni; Christian G. Fermüller (ISMVL, 2001)

Herbrand's Theorem for Prenex Gödel Logic and its Consequences for Theorem Proving. - Matthias Baaz; Agata Ciabattoni; Christian G. Fermüller (LPAR, 2001)

Tableaux for Reasoning About Atomic Updates. - Christian G. Fermüller; Georg Moser; Richard Zach (LPAR, 2001)

From Intuitionistic Logic to Gödel-Dummett Logic via Parallel Dialogue Games. - Christian G. Fermüller; Agata Ciabattoni (ISMVL, 2003)

A Translation Characterizing the Constructive Content of Classical Theories. - Matthias Baaz; Christian G. Fermüller (LPAR, 2003)

Parallel Dialogue Games and Hypersequents for Intermediate Logics. - Christian G. Fermüller (TABLEAUX, 2003)

Hypersequent Calculi for Gödel Logics - a Survey. - Matthias Baaz; Agata Ciabattoni; Christian G. Fermüller (J. Log. Comput., 2003)

Uniform Rules and Dialogue Games for Fuzzy Logics. - Agata Ciabattoni; Christian G. Fermüller; George Metcalfe (LPAR, 2004)

Model Representation via Contexts and Implicit Generalizations. - Christian G. Fermüller; Reinhard Pichler (CADE, 2005)

Combining Supervaluation and Degree Based Reasoning Under Vagueness. - Christian G. Fermüller; Robert Kosik (LPAR, 2006)

Fuzzy Logic and Theories of Vagueness. - Christian G. Fermüller (EUSFLAT Conf. (1), 2007)

Exploring Dialogue Games as Foundation of Fuzzy Logic. - Christian G. Fermüller (EUSFLAT Conf. (1), 2007)

Monadic Fragments of Gödel Logics: Decidability and Undecidability Results. - Matthias Baaz; Agata Ciabattoni; Christian G. Fermüller (LPAR, 2007)

Model Representation over Finite and Infinite Signatures. - Christian G. Fermüller; Reinhard Pichler (J. Log. Comput., 2007)

Cut Elimination for First Order Gödel Logic by Hyperclause Resolution. - Matthias Baaz; Agata Ciabattoni; Christian G. Fermüller (LPAR, 2008)

Dialogue Games for Many-Valued Logics - an Overview. - Christian G. Fermüller (Stud Logica, 2008)

Giles's Game and the Proof Theory of Lukasiewicz Logic. - Christian G. Fermüller; George Metcalfe (Stud Logica, 2009)

Revisiting Giles's Game. - Christian G. Fermüller (Games: Unifying Logic, Language, and Philosophy, 2009)

A Resolution Mechanism for Prenex Gödel Logic. - Matthias Baaz; Christian G. Fermüller (CSL, 2010)

Theorem proving for prenex Gödel logic with Delta: checking validity and unsatisfiability - Matthias Baaz; Agata Ciabattoni; Christian G. Fermüller (Log. Methods Comput. Sci., 2012)

Hintikka-Style Semantic Games for Fuzzy Logics. - Christian G. Fermüller (FoIKS, 2014)

Semantic Games with Backtracking for Fuzzy Logics. - Christian G. Fermüller (ISMVL, 2014)

Randomized game semantics for semi-fuzzy quantifiers. - Christian G. Fermüller; Christoph Roschger (Log. J. IGPL, 2014)

From Games to Truth Functions: A Generalization of Giles's Game. - Christian G. Fermüller; Christoph Roschger (Stud Logica, 2014)

Elementary Elimination of Prenex Cuts in Disjunction-free Intuitionistic Logic. - Matthias Baaz; Christian G. Fermüller (CSL, 2015)

Combining Fuzziness and Context Sensitivity in Game Based Models of Vague Quantification. - Christian G. Fermüller (IUKM, 2015)

Equilibrium Semantics for IF Logic and Many-Valued Connectives. - Christian G. Fermüller; Ondrej Majer (TbiLLC, 2015)

Representing strategic games and their equilibria in many-valued logics. - Libor Behounek; Petr Cintula; Chris Fermüller; Tomás Kroupa (Log. J. IGPL, 2016)

On matrices, Nmatrices and games. - Christian G. Fermüller (J. Log. Comput., 2016)

Semantic Games with Backtracking for T-norm Based Fuzzy Logics. - Christian G. Fermüller (J. Multiple Valued Log. Soft Comput., 2016)

From Semi-fuzzy to Fuzzy Quantifiers via Łukasiewicz Logic and Games. - Paolo Baldi; Christian G. Fermüller (EUSFLAT/IWIFSGN (1), 2017)

Querying with Vague Quantifiers Using Probabilistic Semantics. - Christian G. Fermüller; Matthias F. J. Hofer; Magdalena Ortiz 001 (FQAS, 2017)

Hintikka Style Game Rules for Semi-Fuzzy Quantifiers. - Christian G. Fermüller; Matthias F. J. Hofer (ISMVL, 2017)

Logical Argumentation Principles, Sequents, and Nondeterministic Matrices. - Esther Anna Corsi; Christian G. Fermüller (LORI, 2017)

Interpreting Sequent Calculi as Client-Server Games. - Christian G. Fermüller; Timo Lang (TABLEAUX, 2017)

A Granularity Approach to Vague Quantification. - Christian G. Fermüller (IUKM, 2018)

A Game Model for Proofs with Costs. - Timo Lang; Carlos Olarte; Elaine Pimentel; Christian G. Fermüller (TABLEAUX, 2019)

Dermtrainer: A Decision Support System for Dermatological Diseases. - Gernot Salzer; Agata Ciabattoni; Christian G. Fermüller; Martin Haiduk; Harald Kittler; Arno Lukas; Rosa María Rodríguez Domínguez; Antonia Wesinger; Elisabeth Riedl (CoRR, 2019)

Connecting fuzzy logic and argumentation frames via logical attack principles. - Esther Anna Corsi; Christian G. Fermüller (Soft Comput., 2019)

Interpreting Propositional Fuzzy Logics via Imperfect Information Games. - Christian G. Fermüller; Ondrej Majer (ISMVL, 2020)

On fuzzification mechanisms for unary quantification. - Paolo Baldi; Christian G. Fermüller; Matthias F. J. Hofer (Fuzzy Sets Syst., 2020)

From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic. - Christian G. Fermüller; Timo Lang; Alexandra Pavlova (Logica Universalis, 2022)

Some Consistency Criteria for Many-Valued Judgment Aggregation. - Christian G. Fermüller (ISMVL, 2023)

Many-Valued Judgment Aggregation - Some New Possibility Results. - Sebastian Uhl; Christian G. Fermüller (IUKM (1), 2023)

Probabilistic interpretations of argumentative attacks: Logical and experimental results1. - Niki Pfeifer; Christian G. Fermüller (Argument Comput., 2023)

Logic and Implication - An Introduction to the General Algebraic Study of Non-classical Logics, Petr Cintula, Carles Noguera, in: Trends in Logic, vol. 57. Springer (2021), 465 p., €120.99 for hardcover, ISBN: 978-3-030-85675-5. - Christian G. Fermüller (Fuzzy Sets Syst., 2023)

A Simple Token Game and its Logic. - Christian G. Fermüller; Robert Freiman; Timo Lang (LPAR, 2024)

Reasoning About Group Polarization: From Semantic Games to Sequent Systems. - Robert Freiman; Carlos Olarte; Elaine Pimentel; Christian G. Fermüller (LPAR, 2024)

Playing with Modalities (Invited Talk). - Elaine Pimentel; Carlos Olarte; Timo Lang; Robert Freiman; Christian G. Fermüller (CSL, 2025)

Testing for Renamability to Classes of Clause Sets. - Albert Brandl; Christian G. Fermüller; Gernot Salzer (CoRR, 2025)