Publication | Date of Publication | Type |
---|
From truth degree comparison games to sequents-of-relations calculi for Gödel logic | 2022-09-01 | Paper |
Connecting Sequent Calculi with Lorenzen-Style Dialogue Games | 2022-01-27 | Paper |
On Semantic Games for Łukasiewicz Logic | 2020-07-24 | Paper |
A game model for proofs with costs | 2020-05-14 | Paper |
Equilibrium semantics for IF logic and many-valued connectives | 2020-01-15 | Paper |
Connecting fuzzy logic and argumentation frames via logical attack principles | 2019-08-12 | Paper |
https://portal.mardi4nfdi.de/entity/Q4627750 | 2019-03-11 | Paper |
Lean induction principles for tableaux | 2019-01-15 | Paper |
MUltlog 1.0: Towards an expert system for many-valued logics | 2019-01-15 | Paper |
Semantic trees revisited: Some new completeness results | 2019-01-15 | Paper |
Combining many-valued and intuitionistic tableaux | 2019-01-10 | Paper |
https://portal.mardi4nfdi.de/entity/Q4583850 | 2018-09-03 | Paper |
Interpreting sequent calculi as client-server games | 2018-02-02 | Paper |
Logical argumentation principles, sequents, and nondeterministic matrices | 2017-11-22 | Paper |
https://portal.mardi4nfdi.de/entity/Q5365512 | 2017-10-06 | Paper |
https://portal.mardi4nfdi.de/entity/Q5351952 | 2017-08-31 | Paper |
On matrices, Nmatrices and games | 2016-04-28 | Paper |
Bridges Between Contextual Linguistic Models of Vagueness and T-Norm Based Fuzzy Logic | 2015-10-06 | Paper |
Randomized game semantics for semi-fuzzy quantifiers | 2015-02-12 | Paper |
From games to truth functions: a generalization of Giles's game | 2014-06-19 | Paper |
Hintikka-Style Semantic Games for Fuzzy Logics | 2014-03-31 | Paper |
https://portal.mardi4nfdi.de/entity/Q4906763 | 2013-02-28 | Paper |
https://portal.mardi4nfdi.de/entity/Q4906777 | 2013-02-28 | Paper |
https://portal.mardi4nfdi.de/entity/Q4906797 | 2013-02-28 | Paper |
https://portal.mardi4nfdi.de/entity/Q4903797 | 2013-01-27 | Paper |
Randomized Game Semantics for Semi-fuzzy Quantifiers | 2012-12-03 | Paper |
https://portal.mardi4nfdi.de/entity/Q4648943 | 2012-11-16 | Paper |
Theorem proving for prenex G\"odel logic with Delta: checking validity and unsatisfiability | 2012-04-03 | Paper |
Herbrand’s Theorem for Prenex Gödel Logic and Its Consequences for Theorem Proving | 2011-05-06 | Paper |
Tableaux for Reasoning about Atomic Updates | 2011-05-06 | Paper |
A Resolution Mechanism for Prenex Gödel Logic | 2010-09-03 | Paper |
https://portal.mardi4nfdi.de/entity/Q3584007 | 2010-08-18 | Paper |
Automated Reasoning with Analytic Tableaux and Related Methods | 2010-03-09 | Paper |
https://portal.mardi4nfdi.de/entity/Q3408133 | 2010-02-24 | Paper |
Giles's game and the proof theory of Łukasiewicz logic | 2009-11-16 | Paper |
Dialogue Games as Foundation of Fuzzy Logics | 2009-08-05 | Paper |
https://portal.mardi4nfdi.de/entity/Q3620029 | 2009-04-14 | Paper |
Dialogue games for many-valued logics -- an overview | 2009-03-17 | Paper |
Cut Elimination for First Order Gödel Logic by Hyperclause Resolution | 2009-01-27 | Paper |
Model Representation over Finite and Infinite Signatures | 2008-10-30 | Paper |
Combining Supervaluation and Degree Based Reasoning Under Vagueness | 2008-05-27 | Paper |
Monadic Fragments of Gödel Logics: Decidability and Undecidability Results | 2008-05-15 | Paper |
Model Representation over Finite and Infinite Signatures | 2007-12-12 | Paper |
Automated Deduction – CADE-20 | 2006-11-01 | Paper |
Logic for Programming, Artificial Intelligence, and Reasoning | 2005-11-10 | Paper |
Hypersequent Calculi for Godel Logics -- a Survey | 2004-09-07 | Paper |
https://portal.mardi4nfdi.de/entity/Q4450443 | 2004-02-15 | Paper |
https://portal.mardi4nfdi.de/entity/Q4436025 | 2003-11-23 | Paper |
https://portal.mardi4nfdi.de/entity/Q2784584 | 2003-03-31 | Paper |
https://portal.mardi4nfdi.de/entity/Q2751372 | 2002-09-05 | Paper |
https://portal.mardi4nfdi.de/entity/Q2767012 | 2002-07-22 | Paper |
https://portal.mardi4nfdi.de/entity/Q2751377 | 2001-10-21 | Paper |
https://portal.mardi4nfdi.de/entity/Q2721191 | 2001-07-01 | Paper |
Labeled calculi and finite-valued logics | 2001-06-25 | Paper |
https://portal.mardi4nfdi.de/entity/Q4503909 | 2001-06-04 | Paper |
https://portal.mardi4nfdi.de/entity/Q4501677 | 2001-01-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q4263005 | 1999-11-21 | Paper |
https://portal.mardi4nfdi.de/entity/Q4255505 | 1999-08-16 | Paper |
https://portal.mardi4nfdi.de/entity/Q4218100 | 1999-03-02 | Paper |
Decision procedures and model building in equational clause logic | 1999-01-05 | Paper |
https://portal.mardi4nfdi.de/entity/Q3838811 | 1998-08-13 | Paper |
Hyperresolution and automated model building | 1996-06-09 | Paper |
Resolution-based theorem proving for many-valued logics | 1995-10-09 | Paper |
https://portal.mardi4nfdi.de/entity/Q4840168 | 1995-07-20 | Paper |
https://portal.mardi4nfdi.de/entity/Q4282535 | 1994-08-25 | Paper |
https://portal.mardi4nfdi.de/entity/Q4282510 | 1994-08-21 | Paper |
https://portal.mardi4nfdi.de/entity/Q4281685 | 1994-07-28 | Paper |
https://portal.mardi4nfdi.de/entity/Q4283235 | 1994-06-02 | Paper |
https://portal.mardi4nfdi.de/entity/Q3142560 | 1994-01-09 | Paper |
Removing redundancy from a clause | 1993-10-31 | Paper |
https://portal.mardi4nfdi.de/entity/Q3976574 | 1992-06-26 | Paper |