George Metcalfe

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 27

Top Topics

Sufficient Conditions

Top Venues

Ann. Pure Appl. Log.

Advances in Modal Logic

Log. Methods Comput. Sci.

Publications

Sam van Gool, Adrien Guatto, George Metcalfe, Simon Santschi
Deciding Equations in the Time Warp Algebra. Log. Methods Comput. Sci. 20 (1) (2024)
George Metcalfe, Luca Reggio
Model Completions for Universal Classes of Algebras: Necessary and Sufficient Conditions. J. Symb. Log. 88 (1) (2023)
Wesley Fussner, George Metcalfe, Simon Santschi
Interpolation and the Exchange Rule. CoRR (2023)
Sam van Gool, Adrien Guatto, George Metcalfe, Simon Santschi
Deciding Equations in the Time Warp Algebra. CoRR (2023)
Xavier Caicedo, George Metcalfe, Ricardo Rodríguez, Olim Frits Tuyt
One-variable fragments of intermediate logics over linear frames. Inf. Comput. 287 (2022)
George Metcalfe, Naomi Tokuda, Petr Cintula
Algebraic Semantics for One-Variable Lattice-Valued Logics. AiML (2022)
Petr Cintula, George Metcalfe, Naomi Tokuda
Algebraic semantics for one-variable lattice-valued logics. CoRR (2022)
Sam van Gool, Adrien Guatto, George Metcalfe, Simon Santschi
Time Warps, from Algebra to Algorithms. RAMiCS (2021)
Sam van Gool, Adrien Guatto, George Metcalfe, Simon Santschi
Time Warps, from Algebra to Algorithms. CoRR (2021)
José Gil-Férez, Frederik Möllerström Lauridsen, George Metcalfe
Integrally Closed Residuated Lattices. Stud Logica 108 (5) (2020)
George Metcalfe, Olim Tuyt
A Monadic Logic of Ordered Abelian Groups. AiML (2020)
Tomasz Kowalski, George Metcalfe
Uniform interpolation and coherence. Ann. Pure Appl. Log. 170 (7) (2019)
Petr Cintula, Denisa Diaconescu, George Metcalfe
Skolemization and Herbrand theorems for lattice-valued logics. Theor. Comput. Sci. 768 (2019)
Xavier Caicedo, George Metcalfe, Ricardo Oscar Rodríguez, Olim Tuyt
The One-Variable Fragment of Corsi Logic. WoLLIC (2019)
Leonardo Manuel Cabrer, Benjamin Freisberg, George Metcalfe, Hilary A. Priestley
Checking Admissibility Using Natural Dualities. ACM Trans. Comput. Log. 20 (1) (2019)
Denisa Diaconescu, George Metcalfe, Laura Schnüriger
A Real-Valued Modal Logic. Log. Methods Comput. Sci. 14 (1) (2018)
Michel Marti, George Metcalfe
Expressivity in chain-based modal logics. Arch. Math. Log. 57 (3-4) (2018)
Tomasz Kowalski, George Metcalfe
Coherence in Modal Logic. Advances in Modal Logic (2018)
George Metcalfe, Constantine Tsinakis
Density revisited. Soft Comput. 21 (1) (2017)
Almudena Colacito, George Metcalfe
Proof Theory and Ordered Groups. WoLLIC (2017)
Samuel J. van Gool, George Metcalfe, Constantine Tsinakis
Uniform interpolation and compact congruences. Ann. Pure Appl. Log. 168 (10) (2017)
Denisa Diaconescu, George Metcalfe, Laura Schnüriger
A Real-Valued Modal Logic. CoRR (2017)
Xavier Caicedo, George Metcalfe, Ricardo Oscar Rodríguez, Jonas Rogger
Decidability of order-based modal logics. J. Comput. Syst. Sci. 88 (2017)
Rosalie Iemhoff, George Metcalfe
Special Issue on Admissible Rules and Unification. Notre Dame J. Formal Log. 57 (4) (2016)
George Metcalfe
An Avron rule for fragments of R-mingle. J. Log. Comput. 26 (1) (2016)
Nikolaos Galatos, George Metcalfe
Proof theory for lattice-ordered groups. Ann. Pure Appl. Log. 167 (8) (2016)
Denisa Diaconescu, George Metcalfe, Laura Schnüriger
Axiomatizing a Real-Valued Modal Logic. Advances in Modal Logic (2016)
Leonardo Manuel Cabrer, George Metcalfe
Exact Unification and Admissibility. Log. Methods Comput. Sci. 11 (3) (2015)
Petr Cintula, Denisa Diaconescu, George Metcalfe
Skolemization for Substructural Logics. LPAR (2015)
Michel Marti, George Metcalfe
A Hennessy-Milner Property for Many-Valued Modal Logics. Advances in Modal Logic (2014)
Leonardo Manuel Cabrer, George Metcalfe
From Admissibility to a New Hierarchy of Unification Types. UNIF (2014)
Xavier Caicedo, George Metcalfe, Ricardo Oscar Rodríguez, Jonas Rogger
A Finite Model Property for Gödel Modal Logics. TACL (2013)
Petr Cintula, George Metcalfe
Herbrand Theorems for Substructural Logics. LPAR (2013)
George Metcalfe
Proof theory for lattice-ordered groups. TACL (2013)
Xavier Caicedo, George Metcalfe, Ricardo Oscar Rodríguez, Jonas Rogger
A Finite Model Property for Gödel Modal Logics. WoLLIC (2013)
George Metcalfe, Christoph Röthlisberger
Admissibility in Finitely Generated Quasivarieties Log. Methods Comput. Sci. 9 (2) (2013)
George Metcalfe, Christoph Röthlisberger
Unifiability and Admissibility in Finite Algebras. CiE (2012)
George Metcalfe, Christoph Röthlisberger
Admissibility in De Morgan algebras. Soft Comput. 16 (11) (2012)
Enrico Marchioni, George Metcalfe
Craig interpolation for semilinear substructural logics. Math. Log. Q. 58 (6) (2012)
George Metcalfe
Admissible Rules: From Characterizations to Applications. WoLLIC (2012)
George Metcalfe, Nicola Olivetti
Towards a Proof Theory of Gödel Modal Logics Log. Methods Comput. Sci. 7 (2) (2011)
Petr Cintula, George Metcalfe, Carles Noguera
Special Issue on Mathematical Fuzzy Logic. J. Log. Comput. 21 (5) (2011)
Petr Cintula, George Metcalfe
Admissible rules in the implication-negation fragment of intuitionistic logic. Ann. Pure Appl. Log. 162 (2) (2010)
Enrico Marchioni, George Metcalfe
Interpolation Properties for Uninorm Based Logics. ISMVL (2010)
Matthias Baaz, George Metcalfe
Herbrand's Theorem, Skolemization and Proof Systems for First-Order Lukasiewicz Logic. J. Log. Comput. 20 (1) (2010)
George Metcalfe, Constantine Tsinakis
Order, Algebra and Logics. J. Log. Comput. 20 (4) (2010)
Petr Cintula, George Metcalfe
Complexity of Admissible Rules in the Implication-Negation Fragment of Intuitionistic Logic. LPAR short papers(Yogyakarta) (2010)
Agata Ciabattoni, George Metcalfe, Franco Montagna
Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions. Fuzzy Sets Syst. 161 (3) (2010)
Rosalie Iemhoff, George Metcalfe
Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics. LFCS (2009)
Christian G. Fermüller, George Metcalfe
Giles's Game and the Proof Theory of Lukasiewicz Logic. Stud Logica 92 (1) (2009)
George Metcalfe, Nicola Olivetti
Proof Systems for a Gödel Modal Logic. TABLEAUX (2009)
Matthias Baaz, George Metcalfe
Fuzzy Logic Corner. J. Log. Comput. 19 (2) (2009)
Rosalie Iemhoff, George Metcalfe
Proof theory for admissible rules. Ann. Pure Appl. Log. 159 (1-2) (2009)
Petr Cintula, George Metcalfe
Structural Completeness in Fuzzy Logics. Notre Dame J. Formal Log. 50 (2) (2009)
Agata Ciabattoni, George Metcalfe
Density elimination. Theor. Comput. Sci. 403 (2-3) (2008)
Matthias Baaz, George Metcalfe
Herbrand Theorems and Skolemization for Prenex Fuzzy Logics. CiE (2008)
Petr Cintula, George Metcalfe
Normal forms for fuzzy logics: a proof-theoretic approach. Arch. Math. Log. 46 (5-6) (2007)
Matthias Baaz, George Metcalfe
Proof Theory for First Order Lukasiewicz Logic. TABLEAUX (2007)
Dov M. Gabbay, George Metcalfe
Fuzzy logics based on [0, 1)-continuous uninorms. Arch. Math. Log. 46 (5-6) (2007)
Agata Ciabattoni, George Metcalfe
Density Elimination and Rational Completeness for First-Order Logics. LFCS (2007)
George Metcalfe, Franco Montagna
Substructural fuzzy logics. J. Symb. Log. 72 (3) (2007)
George Metcalfe
Proof Theory for Casari's Comparative Logics. J. Log. Comput. 16 (4) (2006)
George Metcalfe, Nicola Olivetti, Dov M. Gabbay
Sequent and hypersequent calculi for abelian and Łukasiewicz logics. ACM Trans. Comput. Log. 6 (3) (2005)
George Metcalfe, Nicola Olivetti
Goal-Directed Methods for Fuzzy Logics. We Will Show Them! (2) (2005)
George Metcalfe, Nicola Olivetti, Dov M. Gabbay
Lukasiewicz Logic: From Proof Systems To Logic Programming. Log. J. IGPL 13 (5) (2005)
Agata Ciabattoni, Christian G. Fermüller, George Metcalfe
Uniform Rules and Dialogue Games for Fuzzy Logics. LPAR (2004)
George Metcalfe, Nicola Olivetti, Dov M. Gabbay
Analytic Calculi for Product Logics. Arch. Math. Log. 43 (7) (2004)
George Metcalfe, Nicola Olivetti, Dov M. Gabbay
Goal-Directed Methods for Lukasiewicz Logic. CSL (2004)
George Metcalfe, Nicola Olivetti, Dov M. Gabbay
Goal-Directed Calculli for Gödel-Dummett Logics. CSL (2003)
Agata Ciabattoni, George Metcalfe
Bounded Lukasiewicz Logics. TABLEAUX (2003)
George Metcalfe, Nicola Olivetti, Dov M. Gabbay
Analytic Sequent Calculi for Abelian and ukasiewicz Logics. TABLEAUX (2002)
George Metcalfe, Nicola Olivetti, Dov M. Gabbay
Sequent and Hypersequent Calculi for Abelian and Lukasiewicz Logics CoRR (2002)