| 2009 |
|---|
| 18 | EE | Rosalie Iemhoff,
George Metcalfe:
Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics.
LFCS 2009: 230-245 |
| 2008 |
|---|
| 17 | EE | Matthias Baaz,
George Metcalfe:
Herbrand Theorems and Skolemization for Prenex Fuzzy Logics.
CiE 2008: 22-31 |
| 16 | EE | Agata Ciabattoni,
George Metcalfe:
Density elimination.
Theor. Comput. Sci. 403(2-3): 328-346 (2008) |
| 2007 |
|---|
| 15 | EE | Agata Ciabattoni,
George Metcalfe:
Density Elimination and Rational Completeness for First-Order Logics.
LFCS 2007: 132-146 |
| 14 | EE | Matthias Baaz,
George Metcalfe:
Proof Theory for First Order Lukasiewicz Logic.
TABLEAUX 2007: 28-42 |
| 13 | EE | Petr Cintula,
George Metcalfe:
Normal forms for fuzzy logics: a proof-theoretic approach.
Arch. Math. Log. 46(5-6): 347-363 (2007) |
| 12 | EE | Dov M. Gabbay,
George Metcalfe:
Fuzzy logics based on [0, 1)-continuous uninorms.
Arch. Math. Log. 46(5-6): 425-449 (2007) |
| 2006 |
|---|
| 11 | EE | George Metcalfe:
Proof Theory for Casari's Comparative Logics.
J. Log. Comput. 16(4): 405-422 (2006) |
| 2005 |
|---|
| 10 | | George Metcalfe,
Nicola Olivetti:
Goal-Directed Methods for Fuzzy Logics.
We Will Show Them! (2) 2005: 307-330 |
| 9 | EE | George Metcalfe,
Nicola Olivetti,
Dov M. Gabbay:
Sequent and hypersequent calculi for abelian and łukasiewicz logics.
ACM Trans. Comput. Log. 6(3): 578-613 (2005) |
| 8 | EE | George Metcalfe,
Nicola Olivetti,
Dov M. Gabbay:
Lukasiewicz Logic: From Proof Systems To Logic Programming.
Logic Journal of the IGPL 13(5): 561-585 (2005) |
| 2004 |
|---|
| 7 | EE | George Metcalfe,
Nicola Olivetti,
Dov M. Gabbay:
Goal-Directed Methods for Lukasiewicz Logic.
CSL 2004: 85-99 |
| 6 | EE | Agata Ciabattoni,
Christian G. Fermüller,
George Metcalfe:
Uniform Rules and Dialogue Games for Fuzzy Logics.
LPAR 2004: 496-510 |
| 5 | EE | George Metcalfe,
Nicola Olivetti,
Dov M. Gabbay:
Analytic Calculi for Product Logics.
Arch. Math. Log. 43(7): 859-890 (2004) |
| 2003 |
|---|
| 4 | EE | George Metcalfe,
Nicola Olivetti,
Dov M. Gabbay:
Goal-Directed Calculli for Gödel-Dummett Logics.
CSL 2003: 413-426 |
| 3 | EE | Agata Ciabattoni,
George Metcalfe:
Bounded Lukasiewicz Logics.
TABLEAUX 2003: 32-47 |
| 2002 |
|---|
| 2 | EE | George Metcalfe,
Nicola Olivetti,
Dov M. Gabbay:
Analytic Sequent Calculi for Abelian and ukasiewicz Logics.
TABLEAUX 2002: 191-205 |
| 1 | EE | George Metcalfe,
Nicola Olivetti,
Dov M. Gabbay:
Sequent and Hypersequent Calculi for Abelian and Lukasiewicz Logics
CoRR cs.LO/0211021: (2002) |
