George Metcalfe

79 papers B 17C 8Misc 2Journal 46Unranked 6

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Editorial Introduction. Stud Logica Nikolaos Galatos, George Metcalfe, Francesco Paoli, Ciro Russo
2024	J	`jnl`	Deciding Equations in the Time Warp Algebra. Log. Methods Comput. Sci. Sam van Gool, Adrien Guatto, George Metcalfe, Simon Santschi
2024	C	`ed.`	Logic, Language, Information, and Computation - 30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10-13, 2024, Proceedings WoLLIC George Metcalfe, Thomas Studer, Ruy J. G. B. de Queiroz
2024	J	`jnl`	One-variable Fragments of First-order Logics. Bull. Symb. Log. Petr Cintula, George Metcalfe, Naomi Tokuda
2024	J	`jnl`	Ordering groups and the Identity Problem. CoRR Corentin Bodart, Laura Ciobanu, George Metcalfe
2024	B	`conf`	Towards an Algebraic Theory of KD45-Like Logics. AiML Line van den Berg, Manuela Busaniche, Miguel Andrés Marcos, George Metcalfe
2023	J	`jnl`	Deciding Equations in the Time Warp Algebra. CoRR Sam van Gool, Adrien Guatto, George Metcalfe, Simon Santschi
2023	J	`jnl`	Interpolation and the Exchange Rule. CoRR Wesley Fussner, George Metcalfe, Simon Santschi
2023	J	`jnl`	Model Completions for Universal Classes of Algebras: Necessary and Sufficient Conditions. J. Symb. Log. George Metcalfe, Luca Reggio
2022	B	`conf`	Algebraic Semantics for One-Variable Lattice-Valued Logics. AiML George Metcalfe, Naomi Tokuda, Petr Cintula
2022	J	`jnl`	Algebraic semantics for one-variable lattice-valued logics. CoRR Petr Cintula, George Metcalfe, Naomi Tokuda
2022	J	`jnl`	One-variable fragments of intermediate logics over linear frames. Inf. Comput. Xavier Caicedo, George Metcalfe, Ricardo Rodríguez, Olim Frits Tuyt
2021	C	`conf`	Time Warps, from Algebra to Algorithms. RAMiCS Sam van Gool, Adrien Guatto, George Metcalfe, Simon Santschi
2021	J	`jnl`	Time Warps, from Algebra to Algorithms. CoRR Sam van Gool, Adrien Guatto, George Metcalfe, Simon Santschi
2020	B	`conf`	A Monadic Logic of Ordered Abelian Groups. AiML George Metcalfe, Olim Frits Tuyt
2020	J	`jnl`	Integrally Closed Residuated Lattices. Stud Logica José Gil-Férez, Frederik Möllerström Lauridsen, George Metcalfe
2019	J	`jnl`	Checking Admissibility Using Natural Dualities. ACM Trans. Comput. Log. Leonardo Manuel Cabrer, Benjamin Freisberg, George Metcalfe, Hilary A. Priestley
2019	J	`jnl`	Skolemization and Herbrand theorems for lattice-valued logics. Theor. Comput. Sci. Petr Cintula, Denisa Diaconescu, George Metcalfe
2019	C	`conf`	The One-Variable Fragment of Corsi Logic. WoLLIC Xavier Caicedo, George Metcalfe, Ricardo Oscar Rodríguez, Olim Frits Tuyt
2019	J	`jnl`	Uniform interpolation and coherence. Ann. Pure Appl. Log. Tomasz Kowalski, George Metcalfe
2018	J	`jnl`	A Real-Valued Modal Logic. Log. Methods Comput. Sci. Denisa Diaconescu, George Metcalfe, Laura Schnüriger
2018	B	`ed.`	Advances in Modal Logic 12, proceedings of the 12th conference on "Advances in Modal Logic," held in Bern, Switzerland, August 27-31, 2018 Advances in Modal Logic Guram Bezhanishvili, Giovanna D'Agostino, George Metcalfe, Thomas Studer
2018	B	`conf`	Coherence in Modal Logic. Advances in Modal Logic Tomasz Kowalski, George Metcalfe
2018	J	`jnl`	Expressivity in chain-based modal logics. Arch. Math. Log. Michel Marti, George Metcalfe
2017	J	`jnl`	A Real-Valued Modal Logic. CoRR Denisa Diaconescu, George Metcalfe, Laura Schnüriger
2017	J	`jnl`	Decidability of order-based modal logics. J. Comput. Syst. Sci. Xavier Caicedo, George Metcalfe, Ricardo Oscar Rodríguez, Jonas Rogger
2017	J	`jnl`	Density revisited. Soft Comput. George Metcalfe, Constantine Tsinakis
2017	C	`conf`	Proof Theory and Ordered Groups. WoLLIC Almudena Colacito, George Metcalfe
2017	J	`jnl`	Uniform interpolation and compact congruences. Ann. Pure Appl. Log. Samuel J. van Gool, George Metcalfe, Constantine Tsinakis
2016	J	`jnl`	An Avron rule for fragments of R-mingle. J. Log. Comput. George Metcalfe
2016	B	`conf`	Axiomatizing a Real-Valued Modal Logic. Advances in Modal Logic Denisa Diaconescu, George Metcalfe, Laura Schnüriger
2016	J	`jnl`	Proof theory for lattice-ordered groups. Ann. Pure Appl. Log. Nikolaos Galatos, George Metcalfe
2016	J	`jnl`	Special Issue on Admissible Rules and Unification. Notre Dame J. Formal Log. Rosalie Iemhoff, George Metcalfe
2015	J	`jnl`	Exact Unification and Admissibility. Log. Methods Comput. Sci. Leonardo Manuel Cabrer, George Metcalfe
2015	B	`conf`	Skolemization for Substructural Logics. LPAR Petr Cintula, Denisa Diaconescu, George Metcalfe
2014	B	`conf`	A Hennessy-Milner Property for Many-Valued Modal Logics. Advances in Modal Logic Michel Marti, George Metcalfe
2014	—	`conf`	From Admissibility to a New Hierarchy of Unification Types. UNIF Leonardo Manuel Cabrer, George Metcalfe
2013	—	`conf`	A Finite Model Property for Gödel Modal Logics. TACL Xavier Caicedo, George Metcalfe, Ricardo Oscar Rodríguez, Jonas Rogger
2013	C	`conf`	A Finite Model Property for Gödel Modal Logics. WoLLIC Xavier Caicedo, George Metcalfe, Ricardo Oscar Rodríguez, Jonas Rogger
2013	J	`jnl`	Admissibility in Finitely Generated Quasivarieties Log. Methods Comput. Sci. George Metcalfe, Christoph Röthlisberger
2013	B	`conf`	Herbrand Theorems for Substructural Logics. LPAR Petr Cintula, George Metcalfe
2013	—	`conf`	Proof theory for lattice-ordered groups. TACL George Metcalfe
2012	J	`jnl`	Admissibility in De Morgan algebras. Soft Comput. George Metcalfe, Christoph Röthlisberger
2012	C	`conf`	Admissible Rules: From Characterizations to Applications. WoLLIC George Metcalfe
2012	J	`jnl`	Craig interpolation for semilinear substructural logics. Math. Log. Q. Enrico Marchioni, George Metcalfe
2012	C	`conf`	Unifiability and Admissibility in Finite Algebras. CiE George Metcalfe, Christoph Röthlisberger
2011	B	`ed.`	Automated Reasoning with Analytic Tableaux and Related Methods - 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings TABLEAUX Kai Brünnler, George Metcalfe
2011	J	`jnl`	Special Issue on Mathematical Fuzzy Logic. J. Log. Comput. Petr Cintula, George Metcalfe, Carles Noguera
2011	J	`jnl`	Towards a Proof Theory of Gödel Modal Logics Log. Methods Comput. Sci. George Metcalfe, Nicola Olivetti
2010	J	`jnl`	Admissible rules in the implication-negation fragment of intuitionistic logic. Ann. Pure Appl. Log. Petr Cintula, George Metcalfe
2010	J	`jnl`	Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions. Fuzzy Sets Syst. Agata Ciabattoni, George Metcalfe, Franco Montagna
2010	—	`conf`	Complexity of Admissible Rules in the Implication-Negation Fragment of Intuitionistic Logic. LPAR short papers(Yogyakarta) Petr Cintula, George Metcalfe
2010	J	`jnl`	Herbrand's Theorem, Skolemization and Proof Systems for First-Order Lukasiewicz Logic. J. Log. Comput. Matthias Baaz, George Metcalfe
2010	—	`conf`	Interpolation Properties for Uninorm Based Logics. ISMVL Enrico Marchioni, George Metcalfe
2010	J	`jnl`	Order, Algebra and Logics. J. Log. Comput. George Metcalfe, Constantine Tsinakis
2009	J	`jnl`	Fuzzy Logic Corner. J. Log. Comput. Matthias Baaz, George Metcalfe
2009	J	`jnl`	Giles's Game and the Proof Theory of Lukasiewicz Logic. Stud Logica Christian G. Fermüller, George Metcalfe
2009	Misc	`conf`	Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics. LFCS Rosalie Iemhoff, George Metcalfe
2009	B	`conf`	Proof Systems for a Gödel Modal Logic. TABLEAUX George Metcalfe, Nicola Olivetti
2009	J	`jnl`	Proof theory for admissible rules. Ann. Pure Appl. Log. Rosalie Iemhoff, George Metcalfe
2009	J	`jnl`	Structural Completeness in Fuzzy Logics. Notre Dame J. Formal Log. Petr Cintula, George Metcalfe
2008	J	`jnl`	Density elimination. Theor. Comput. Sci. Agata Ciabattoni, George Metcalfe
2008	C	`conf`	Herbrand Theorems and Skolemization for Prenex Fuzzy Logics. CiE Matthias Baaz, George Metcalfe
2007	Misc	`conf`	Density Elimination and Rational Completeness for First-Order Logics. LFCS Agata Ciabattoni, George Metcalfe
2007	J	`jnl`	Fuzzy logics based on [0, 1)-continuous uninorms. Arch. Math. Log. Dov M. Gabbay, George Metcalfe
2007	J	`jnl`	Normal forms for fuzzy logics: a proof-theoretic approach. Arch. Math. Log. Petr Cintula, George Metcalfe
2007	B	`conf`	Proof Theory for First Order Lukasiewicz Logic. TABLEAUX Matthias Baaz, George Metcalfe
2007	J	`jnl`	Substructural fuzzy logics. J. Symb. Log. George Metcalfe, Franco Montagna
2006	J	`jnl`	Proof Theory for Casari's Comparative Logics. J. Log. Comput. George Metcalfe
2005	—	`conf`	Goal-Directed Methods for Fuzzy Logics. We Will Show Them! (2) George Metcalfe, Nicola Olivetti
2005	J	`jnl`	Lukasiewicz Logic: From Proof Systems To Logic Programming. Log. J. IGPL George Metcalfe, Nicola Olivetti, Dov M. Gabbay
2005	J	`jnl`	Sequent and hypersequent calculi for abelian and Łukasiewicz logics. ACM Trans. Comput. Log. George Metcalfe, Nicola Olivetti, Dov M. Gabbay
2004	J	`jnl`	Analytic Calculi for Product Logics. Arch. Math. Log. George Metcalfe, Nicola Olivetti, Dov M. Gabbay
2004	B	`conf`	Goal-Directed Methods for Lukasiewicz Logic. CSL George Metcalfe, Nicola Olivetti, Dov M. Gabbay
2004	B	`conf`	Uniform Rules and Dialogue Games for Fuzzy Logics. LPAR Agata Ciabattoni, Christian G. Fermüller, George Metcalfe
2003	B	`conf`	Bounded Lukasiewicz Logics. TABLEAUX Agata Ciabattoni, George Metcalfe
2003	B	`conf`	Goal-Directed Calculli for Gödel-Dummett Logics. CSL George Metcalfe, Nicola Olivetti, Dov M. Gabbay
2002	B	`conf`	Analytic Sequent Calculi for Abelian and ukasiewicz Logics. TABLEAUX George Metcalfe, Nicola Olivetti, Dov M. Gabbay
2002	J	`jnl`	Sequent and Hypersequent Calculi for Abelian and Lukasiewicz Logics CoRR George Metcalfe, Nicola Olivetti, Dov M. Gabbay