Name Card

Full name Familienname, Vorname
Metcalfe, George
 

Own Publications Eigene Publikationen

Results 1-10 of 10 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Cabrer, Leonardo ; Metcalfe, George Admissibility via natural dualities.Artikel Article2015
2Metcalfe, George ; Cabrer, Leonardo Exact Unification and AdmissibilityArtikel Article 2015
3Ciabattoni, Agata ; Metcalfe, George ; Montagna, Franco Algebaic and proof-theoretic characterizations of truth stressers for MTL and its extensionsArtikel Article2010
4Fermüller, Christian G. ; Metcalfe, George Giles's Game and the Proof Theory of Lukasiewicz LogicArtikel Article 2009
5Baaz, Matthias ; Metcalfe, George Herbrand theorems and skolemization for prenex fuzzy logicsArtikel Article2008
6Ciabattoni, Agata ; Metcalfe, George Density eliminationArtikel Article2008
7Ciabattoni, Agata ; Metcalfe, George Density elimination and rational completeness for first-order logicsArtikel Article2007
8Baaz, Matthias ; Metcalfe, George Proof Theory for First Order Łukasiewicz LogicArtikel Article2007
9Metcalfe, George ; Olivetti, Nicola ; Gabbay, Dov Sequent and Hypersequent Calculi for Abelian and Lukasiewicz LogicsArtikel Article2005
10Ciabattoni, Agata ; Fermüller, Christian ; Metcalfe, George Uniform Rules and Dialogue Games for Fuzzy LogicsKonferenzbeitrag Inproceedings 2005

Contributing Publications Mitbeteiligte Publikationen

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Kuznets, Roman ; Lellmann, Björn Interpolation for Intermediate Logics via Hyper- and Linear Nested SequentsKonferenzbeitrag Inproceedings 2018