We stand with Ukraine  

George Metcalfe

Orcid: 0000-0001-7610-404X

Affiliations:
  • University Of Bern, Switzerland


According to our database1, George Metcalfe authored at least 68 papers between 2002 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Deciding Equations in the Time Warp Algebra.
[BibTeX]
[DOI]
Sam van Gool
,
Adrien Guatto
,
George Metcalfe
,
Simon Santschi
Log. Methods Comput. Sci., 2024

One-variable Fragments of First-order Logics.
[BibTeX]
[DOI]
Petr Cintula
,
George Metcalfe
,
Naomi Tokuda
Bull. Symb. Log., 2024

Towards an Algebraic Theory of KD45-Like Logics.
[BibTeX]
Line van den Berg
,
Manuela Busaniche
,
Miguel Andrés Marcos
,
George Metcalfe
Proceedings of the Advances in Modal Logic, AiML 2024, Prague, Czech Republic, 2024

2023
Model Completions for Universal Classes of Algebras: Necessary and Sufficient Conditions.
[BibTeX]
[DOI]
George Metcalfe
,
Luca Reggio
J. Symb. Log., March, 2023

Interpolation and the Exchange Rule.
[BibTeX]
[DOI]
Wesley Fussner
,
George Metcalfe
,
Simon Santschi
CoRR, 2023

2022
One-variable fragments of intermediate logics over linear frames.
[BibTeX]
[DOI]
Xavier Caicedo
,
George Metcalfe
,
Ricardo Rodríguez
,
Olim Frits Tuyt
Inf. Comput., 2022

Algebraic Semantics for One-Variable Lattice-Valued Logics.
[BibTeX]
[DOI]
George Metcalfe
,
Naomi Tokuda
,
Petr Cintula
Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022

2021
Time Warps, from Algebra to Algorithms.
[BibTeX]
[DOI]
Sam van Gool
,
Adrien Guatto
,
George Metcalfe
,
Simon Santschi
Proceedings of the Relational and Algebraic Methods in Computer Science, 2021

2020
Integrally Closed Residuated Lattices.
[BibTeX]
[DOI]
José Gil-Férez
,
Frederik Möllerström Lauridsen
,
George Metcalfe
Stud Logica, 2020

A Monadic Logic of Ordered Abelian Groups.
[BibTeX]
[DOI]
George Metcalfe
,
Olim Frits Tuyt
Proceedings of the 13th Conference on Advances in Modal Logic, 2020

2019
Checking Admissibility Using Natural Dualities.
[BibTeX]
[DOI]
Leonardo Manuel Cabrer
,
Benjamin Freisberg
,
George Metcalfe
,
Hilary A. Priestley
ACM Trans. Comput. Log., 2019

Skolemization and Herbrand theorems for lattice-valued logics.
[BibTeX]
[DOI]
Petr Cintula
,
Denisa Diaconescu
,
George Metcalfe
Theor. Comput. Sci., 2019

Uniform interpolation and coherence.
[BibTeX]
[DOI]
Tomasz Kowalski
,
George Metcalfe
Ann. Pure Appl. Log., 2019

The One-Variable Fragment of Corsi Logic.
[BibTeX]
[DOI]
Xavier Caicedo
,
George Metcalfe
,
Ricardo Oscar Rodríguez
,
Olim Frits Tuyt
Proceedings of the Logic, Language, Information, and Computation, 2019

2018
A Real-Valued Modal Logic.
[BibTeX]
[DOI]
Denisa Diaconescu
,
George Metcalfe
,
Laura Schnüriger
Log. Methods Comput. Sci., 2018

Expressivity in chain-based modal logics.
[BibTeX]
[DOI]
Michel Marti
,
George Metcalfe
Arch. Math. Log., 2018

Coherence in Modal Logic.
[BibTeX]
[DOI]
Tomasz Kowalski
,
George Metcalfe
Proceedings of the Advances in Modal Logic 12, 2018

2017
Density revisited.
[BibTeX]
[DOI]
George Metcalfe
,
Constantine Tsinakis
Soft Comput., 2017

Decidability of order-based modal logics.
[BibTeX]
[DOI]
Xavier Caicedo
,
George Metcalfe
,
Ricardo Oscar Rodríguez
,
Jonas Rogger
J. Comput. Syst. Sci., 2017

Uniform interpolation and compact congruences.
[BibTeX]
[DOI]
Samuel J. van Gool
,
George Metcalfe
,
Constantine Tsinakis
Ann. Pure Appl. Log., 2017

Proof Theory and Ordered Groups.
[BibTeX]
[DOI]
Almudena Colacito
,
George Metcalfe
Proceedings of the Logic, Language, Information, and Computation, 2017

2016
Special Issue on Admissible Rules and Unification.
[BibTeX]
[DOI]
Rosalie Iemhoff
,
George Metcalfe
Notre Dame J. Formal Log., 2016

An Avron rule for fragments of R-mingle.
[BibTeX]
[DOI]
George Metcalfe
J. Log. Comput., 2016

Proof theory for lattice-ordered groups.
[BibTeX]
[DOI]
Nikolaos Galatos
,
George Metcalfe
Ann. Pure Appl. Log., 2016

Axiomatizing a Real-Valued Modal Logic.
[BibTeX]
[DOI]
Denisa Diaconescu
,
George Metcalfe
,
Laura Schnüriger
Proceedings of the Advances in Modal Logic 11, 2016

2015
Exact Unification and Admissibility.
[BibTeX]
[DOI]
Leonardo Manuel Cabrer
,
George Metcalfe
Log. Methods Comput. Sci., 2015

Skolemization for Substructural Logics.
[BibTeX]
[DOI]
Petr Cintula
,
Denisa Diaconescu
,
George Metcalfe
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

2014
From Admissibility to a New Hierarchy of Unification Types.
[BibTeX]
[DOI]
Leonardo Manuel Cabrer
,
George Metcalfe
Proceedings of the 28th International Workshop on Unification, 2014

A Hennessy-Milner Property for Many-Valued Modal Logics.
[BibTeX]
[DOI]
Michel Marti
,
George Metcalfe
Proceedings of the Advances in Modal Logic 10, 2014

2013
Admissibility in Finitely Generated Quasivarieties
[BibTeX]
[DOI]
George Metcalfe
,
Christoph Röthlisberger
Log. Methods Comput. Sci., 2013

A Finite Model Property for Gödel Modal Logics.
[BibTeX]
[DOI]
Xavier Caicedo
,
George Metcalfe
,
Ricardo Oscar Rodríguez
,
Jonas Rogger
Proceedings of the Logic, Language, Information, and Computation, 2013

Proof theory for lattice-ordered groups.
[BibTeX]
[DOI]
George Metcalfe
Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013

Herbrand Theorems for Substructural Logics.
[BibTeX]
[DOI]
Petr Cintula
,
George Metcalfe
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

2012
Admissibility in De Morgan algebras.
[BibTeX]
[DOI]
George Metcalfe
,
Christoph Röthlisberger
Soft Comput., 2012

Craig interpolation for semilinear substructural logics.
[BibTeX]
[DOI]
Enrico Marchioni
,
George Metcalfe
Math. Log. Q., 2012

Admissible Rules: From Characterizations to Applications.
[BibTeX]
[DOI]
George Metcalfe
Proceedings of the Logic, Language, Information and Computation, 2012

Unifiability and Admissibility in Finite Algebras.
[BibTeX]
[DOI]
George Metcalfe
,
Christoph Röthlisberger
Proceedings of the How the World Computes, 2012

2011
Special Issue on Mathematical Fuzzy Logic.
[BibTeX]
[DOI]
Petr Cintula
,
George Metcalfe
,
Carles Noguera
J. Log. Comput., 2011

Towards a Proof Theory of Gödel Modal Logics
[BibTeX]
[DOI]
George Metcalfe
,
Nicola Olivetti
Log. Methods Comput. Sci., 2011

2010
Order, Algebra and Logics.
[BibTeX]
[DOI]
George Metcalfe
,
Constantine Tsinakis
J. Log. Comput., 2010

Herbrand's Theorem, Skolemization and Proof Systems for First-Order Lukasiewicz Logic.
[BibTeX]
[DOI]
Matthias Baaz
,
George Metcalfe
J. Log. Comput., 2010

Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions.
[BibTeX]
[DOI]
Agata Ciabattoni
,
George Metcalfe
,
Franco Montagna
Fuzzy Sets Syst., 2010

Admissible rules in the implication-negation fragment of intuitionistic logic.
[BibTeX]
[DOI]
Petr Cintula
,
George Metcalfe
Ann. Pure Appl. Log., 2010

Complexity of Admissible Rules in the Implication-Negation Fragment of Intuitionistic Logic.
[BibTeX]
[DOI]
Petr Cintula
,
George Metcalfe
Proceedings of the Short papers for 17th International Conference on Logic for Programming, 2010

Interpolation Properties for Uninorm Based Logics.
[BibTeX]
[DOI]
Enrico Marchioni
,
George Metcalfe
Proceedings of the 40th IEEE International Symposium on Multiple-Valued Logic, 2010

2009
Giles's Game and the Proof Theory of Lukasiewicz Logic.
[BibTeX]
[DOI]
Christian G. Fermüller
,
George Metcalfe
Stud Logica, 2009

Structural Completeness in Fuzzy Logics.
[BibTeX]
[DOI]
Petr Cintula
,
George Metcalfe
Notre Dame J. Formal Log., 2009

Fuzzy Logic Corner.
[BibTeX]
[DOI]
Matthias Baaz
,
George Metcalfe
J. Log. Comput., 2009

Proof theory for admissible rules.
[BibTeX]
[DOI]
Rosalie Iemhoff
,
George Metcalfe
Ann. Pure Appl. Log., 2009

Proof Systems for a Gödel Modal Logic.
[BibTeX]
[DOI]
George Metcalfe
,
Nicola Olivetti
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2009

Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics.
[BibTeX]
[DOI]
Rosalie Iemhoff
,
George Metcalfe
Proceedings of the Logical Foundations of Computer Science, International Symposium, 2009

2008
Density elimination.
[BibTeX]
[DOI]
Agata Ciabattoni
,
George Metcalfe
Theor. Comput. Sci., 2008

Herbrand Theorems and Skolemization for Prenex Fuzzy Logics.
[BibTeX]
[DOI]
Matthias Baaz
,
George Metcalfe
Proceedings of the Logic and Theory of Algorithms, 2008

2007
Substructural fuzzy logics.
[BibTeX]
[DOI]
George Metcalfe
,
Franco Montagna
J. Symb. Log., 2007

Fuzzy logics based on [0, 1)-continuous uninorms.
[BibTeX]
[DOI]
Dov M. Gabbay
,
George Metcalfe
Arch. Math. Log., 2007

Normal forms for fuzzy logics: a proof-theoretic approach.
[BibTeX]
[DOI]
Petr Cintula
,
George Metcalfe
Arch. Math. Log., 2007

Proof Theory for First Order Lukasiewicz Logic.
[BibTeX]
[DOI]
Matthias Baaz
,
George Metcalfe
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2007

Density Elimination and Rational Completeness for First-Order Logics.
[BibTeX]
[DOI]
Agata Ciabattoni
,
George Metcalfe
Proceedings of the Logical Foundations of Computer Science, International Symposium, 2007

2006
Proof Theory for Casari's Comparative Logics.
[BibTeX]
[DOI]
George Metcalfe
J. Log. Comput., 2006

2005
Sequent and hypersequent calculi for abelian and Łukasiewicz logics.
[BibTeX]
[DOI]
George Metcalfe
,
Nicola Olivetti
,
Dov M. Gabbay
ACM Trans. Comput. Log., 2005

Lukasiewicz Logic: From Proof Systems To Logic Programming.
[BibTeX]
[DOI]
George Metcalfe
,
Nicola Olivetti
,
Dov M. Gabbay
Log. J. IGPL, 2005

Goal-Directed Methods for Fuzzy Logics.
[BibTeX]
George Metcalfe
,
Nicola Olivetti
Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two, 2005

2004
Analytic Calculi for Product Logics.
[BibTeX]
[DOI]
George Metcalfe
,
Nicola Olivetti
,
Dov M. Gabbay
Arch. Math. Log., 2004

Uniform Rules and Dialogue Games for Fuzzy Logics.
[BibTeX]
[DOI]
Agata Ciabattoni
,
Christian G. Fermüller
,
George Metcalfe
Proceedings of the Logic for Programming, 2004

Goal-Directed Methods for Lukasiewicz Logic.
[BibTeX]
[DOI]
George Metcalfe
,
Nicola Olivetti
,
Dov M. Gabbay
Proceedings of the Computer Science Logic, 18th International Workshop, 2004

2003
Bounded Lukasiewicz Logics.
[BibTeX]
[DOI]
Agata Ciabattoni
,
George Metcalfe
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2003

Goal-Directed Calculli for Gödel-Dummett Logics.
[BibTeX]
[DOI]
George Metcalfe
,
Nicola Olivetti
,
Dov M. Gabbay
Proceedings of the Computer Science Logic, 17th International Workshop, 2003

2002
Analytic Sequent Calculi for Abelian and ukasiewicz Logics.
[BibTeX]
[DOI]
George Metcalfe
,
Nicola Olivetti
,
Dov M. Gabbay
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2002


  Loading...