default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGeorge Metcalfe
Person information
- affiliation: University Of Bern, Switzerland
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j37]Sam van Gool, Adrien Guatto, George Metcalfe, Simon Santschi:
Deciding Equations in the Time Warp Algebra. Log. Methods Comput. Sci. 20(1) (2024)- [c30]Line van den Berg, Manuela Busaniche, Miguel Andrés Marcos, George Metcalfe:
Towards an Algebraic Theory of KD45-Like Logics. AiML 2024: 171-186 - [e3]George Metcalfe, Thomas Studer, Ruy J. G. B. de Queiroz
:
Logic, Language, Information, and Computation - 30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10-13, 2024, Proceedings. Lecture Notes in Computer Science 14672, Springer 2024, ISBN 978-3-031-62686-9 [contents] - 2023
- [j36]George Metcalfe, Luca Reggio:
Model Completions for Universal Classes of Algebras: Necessary and Sufficient Conditions. J. Symb. Log. 88(1): 381-417 (2023) - [i6]Sam van Gool, Adrien Guatto, George Metcalfe, Simon Santschi:
Deciding Equations in the Time Warp Algebra. CoRR abs/2302.04668 (2023) - [i5]Wesley Fussner, George Metcalfe, Simon Santschi:
Interpolation and the Exchange Rule. CoRR abs/2310.14953 (2023) - 2022
- [j35]Xavier Caicedo, George Metcalfe, Ricardo Rodríguez, Olim Frits Tuyt:
One-variable fragments of intermediate logics over linear frames. Inf. Comput. 287: 104755 (2022) - [c29]George Metcalfe, Naomi Tokuda, Petr Cintula:
Algebraic Semantics for One-Variable Lattice-Valued Logics. AiML 2022: 237-258 - [i4]Petr Cintula, George Metcalfe, Naomi Tokuda:
Algebraic semantics for one-variable lattice-valued logics. CoRR abs/2209.08566 (2022) - 2021
- [c28]Sam van Gool, Adrien Guatto, George Metcalfe, Simon Santschi:
Time Warps, from Algebra to Algorithms. RAMiCS 2021: 309-324 - [i3]Sam van Gool, Adrien Guatto, George Metcalfe, Simon Santschi:
Time Warps, from Algebra to Algorithms. CoRR abs/2106.06205 (2021) - 2020
- [j34]José Gil-Férez, Frederik Möllerström Lauridsen, George Metcalfe:
Integrally Closed Residuated Lattices. Stud Logica 108(5): 1063-1086 (2020) - [c27]George Metcalfe, Olim Frits Tuyt:
A Monadic Logic of Ordered Abelian Groups. AiML 2020: 441-457
2010 – 2019
- 2019
- [j33]Tomasz Kowalski, George Metcalfe:
Uniform interpolation and coherence. Ann. Pure Appl. Log. 170(7): 825-841 (2019) - [j32]Petr Cintula, Denisa Diaconescu, George Metcalfe:
Skolemization and Herbrand theorems for lattice-valued logics. Theor. Comput. Sci. 768: 54-75 (2019) - [j31]Leonardo Manuel Cabrer, Benjamin Freisberg, George Metcalfe, Hilary A. Priestley:
Checking Admissibility Using Natural Dualities. ACM Trans. Comput. Log. 20(1): 2:1-2:19 (2019) - [c26]Xavier Caicedo, George Metcalfe, Ricardo Oscar Rodríguez, Olim Frits Tuyt:
The One-Variable Fragment of Corsi Logic. WoLLIC 2019: 70-83 - 2018
- [j30]Michel Marti, George Metcalfe:
Expressivity in chain-based modal logics. Arch. Math. Log. 57(3-4): 361-380 (2018) - [j29]Denisa Diaconescu, George Metcalfe, Laura Schnüriger:
A Real-Valued Modal Logic. Log. Methods Comput. Sci. 14(1) (2018) - [c25]Tomasz Kowalski, George Metcalfe:
Coherence in Modal Logic. Advances in Modal Logic 2018: 459-472 - [e2]Guram Bezhanishvili, Giovanna D'Agostino, George Metcalfe, Thomas Studer:
Advances in Modal Logic 12, proceedings of the 12th conference on "Advances in Modal Logic," held in Bern, Switzerland, August 27-31, 2018. College Publications 2018, ISBN 978-1-84890-255-8 [contents] - 2017
- [j28]Samuel J. van Gool, George Metcalfe, Constantine Tsinakis:
Uniform interpolation and compact congruences. Ann. Pure Appl. Log. 168(10): 1927-1948 (2017) - [j27]Xavier Caicedo, George Metcalfe, Ricardo Oscar Rodríguez, Jonas Rogger:
Decidability of order-based modal logics. J. Comput. Syst. Sci. 88: 53-74 (2017) - [j26]George Metcalfe, Constantine Tsinakis:
Density revisited. Soft Comput. 21(1): 175-189 (2017) - [c24]Almudena Colacito, George Metcalfe:
Proof Theory and Ordered Groups. WoLLIC 2017: 80-91 - [i2]Denisa Diaconescu, George Metcalfe, Laura Schnüriger:
A Real-Valued Modal Logic. CoRR abs/1706.02854 (2017) - 2016
- [j25]Nikolaos Galatos, George Metcalfe:
Proof theory for lattice-ordered groups. Ann. Pure Appl. Log. 167(8): 707-724 (2016) - [j24]George Metcalfe:
An Avron rule for fragments of R-mingle. J. Log. Comput. 26(1): 381-393 (2016) - [j23]Rosalie Iemhoff, George Metcalfe:
Special Issue on Admissible Rules and Unification. Notre Dame J. Formal Log. 57(4): 441-442 (2016) - [c23]Denisa Diaconescu, George Metcalfe, Laura Schnüriger:
Axiomatizing a Real-Valued Modal Logic. Advances in Modal Logic 2016: 236-251 - 2015
- [j22]Leonardo Manuel Cabrer, George Metcalfe:
Exact Unification and Admissibility. Log. Methods Comput. Sci. 11(3) (2015) - [c22]Petr Cintula, Denisa Diaconescu, George Metcalfe:
Skolemization for Substructural Logics. LPAR 2015: 1-15 - 2014
- [c21]Michel Marti, George Metcalfe:
A Hennessy-Milner Property for Many-Valued Modal Logics. Advances in Modal Logic 2014: 407-420 - [c20]Leonardo Manuel Cabrer, George Metcalfe:
From Admissibility to a New Hierarchy of Unification Types. UNIF 2014: 41-46 - 2013
- [j21]George Metcalfe, Christoph Röthlisberger:
Admissibility in Finitely Generated Quasivarieties. Log. Methods Comput. Sci. 9(2) (2013) - [c19]Petr Cintula, George Metcalfe:
Herbrand Theorems for Substructural Logics. LPAR 2013: 584-600 - [c18]George Metcalfe:
Proof theory for lattice-ordered groups. TACL 2013: 8 - [c17]Xavier Caicedo, George Metcalfe, Ricardo Oscar Rodríguez, Jonas Rogger:
A Finite Model Property for Gödel Modal Logics. TACL 2013: 183-186 - [c16]Xavier Caicedo, George Metcalfe, Ricardo Oscar Rodríguez, Jonas Rogger:
A Finite Model Property for Gödel Modal Logics. WoLLIC 2013: 226-237 - 2012
- [j20]Enrico Marchioni, George Metcalfe:
Craig interpolation for semilinear substructural logics. Math. Log. Q. 58(6): 468-481 (2012) - [j19]George Metcalfe, Christoph Röthlisberger:
Admissibility in De Morgan algebras. Soft Comput. 16(11): 1875-1882 (2012) - [c15]George Metcalfe, Christoph Röthlisberger:
Unifiability and Admissibility in Finite Algebras. CiE 2012: 485-495 - [c14]George Metcalfe:
Admissible Rules: From Characterizations to Applications. WoLLIC 2012: 56-69 - 2011
- [j18]George Metcalfe, Nicola Olivetti:
Towards a Proof Theory of Gödel Modal Logics. Log. Methods Comput. Sci. 7(2) (2011) - [j17]Petr Cintula, George Metcalfe, Carles Noguera:
Special Issue on Mathematical Fuzzy Logic. J. Log. Comput. 21(5): 715-716 (2011) - [e1]Kai Brünnler, George Metcalfe:
Automated Reasoning with Analytic Tableaux and Related Methods - 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings. Lecture Notes in Computer Science 6793, Springer 2011, ISBN 978-3-642-22118-7 [contents] - 2010
- [j16]Petr Cintula, George Metcalfe:
Admissible rules in the implication-negation fragment of intuitionistic logic. Ann. Pure Appl. Log. 162(2): 162-171 (2010) - [j15]Agata Ciabattoni, George Metcalfe, Franco Montagna:
Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions. Fuzzy Sets Syst. 161(3): 369-389 (2010) - [j14]Matthias Baaz, George Metcalfe:
Herbrand's Theorem, Skolemization and Proof Systems for First-Order Lukasiewicz Logic. J. Log. Comput. 20(1): 35-54 (2010) - [j13]George Metcalfe, Constantine Tsinakis:
Order, Algebra and Logics. J. Log. Comput. 20(4): 759-760 (2010) - [c13]Enrico Marchioni, George Metcalfe:
Interpolation Properties for Uninorm Based Logics. ISMVL 2010: 205-210 - [c12]Petr Cintula, George Metcalfe:
Complexity of Admissible Rules in the Implication-Negation Fragment of Intuitionistic Logic. LPAR short papers(Yogyakarta) 2010: 30-34
2000 – 2009
- 2009
- [j12]Rosalie Iemhoff, George Metcalfe:
Proof theory for admissible rules. Ann. Pure Appl. Log. 159(1-2): 171-186 (2009) - [j11]Matthias Baaz, George Metcalfe:
Fuzzy Logic Corner. J. Log. Comput. 19(2): 343 (2009) - [j10]Petr Cintula, George Metcalfe:
Structural Completeness in Fuzzy Logics. Notre Dame J. Formal Log. 50(2): 153-182 (2009) - [j9]Christian G. Fermüller, George Metcalfe:
Giles's Game and the Proof Theory of Lukasiewicz Logic. Stud Logica 92(1): 27-61 (2009) - [c11]Rosalie Iemhoff, George Metcalfe:
Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics. LFCS 2009: 230-245 - [c10]George Metcalfe, Nicola Olivetti:
Proof Systems for a Gödel Modal Logic. TABLEAUX 2009: 265-279 - 2008
- [j8]Agata Ciabattoni, George Metcalfe:
Density elimination. Theor. Comput. Sci. 403(2-3): 328-346 (2008) - [c9]Matthias Baaz, George Metcalfe:
Herbrand Theorems and Skolemization for Prenex Fuzzy Logics. CiE 2008: 22-31 - 2007
- [j7]Petr Cintula, George Metcalfe:
Normal forms for fuzzy logics: a proof-theoretic approach. Arch. Math. Log. 46(5-6): 347-363 (2007) - [j6]Dov M. Gabbay, George Metcalfe:
Fuzzy logics based on [0, 1)-continuous uninorms. Arch. Math. Log. 46(5-6): 425-449 (2007) - [j5]George Metcalfe, Franco Montagna:
Substructural fuzzy logics. J. Symb. Log. 72(3): 834-864 (2007) - [c8]Agata Ciabattoni, George Metcalfe:
Density Elimination and Rational Completeness for First-Order Logics. LFCS 2007: 132-146 - [c7]Matthias Baaz, George Metcalfe:
Proof Theory for First Order Lukasiewicz Logic. TABLEAUX 2007: 28-42 - 2006
- [j4]George Metcalfe:
Proof Theory for Casari's Comparative Logics. J. Log. Comput. 16(4): 405-422 (2006) - 2005
- [j3]George Metcalfe, Nicola Olivetti, Dov M. Gabbay:
Lukasiewicz Logic: From Proof Systems To Logic Programming. Log. J. IGPL 13(5): 561-585 (2005) - [j2]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) - [c6]George Metcalfe, Nicola Olivetti:
Goal-Directed Methods for Fuzzy Logics. We Will Show Them! (2) 2005: 307-330 - 2004
- [j1]George Metcalfe, Nicola Olivetti, Dov M. Gabbay:
Analytic Calculi for Product Logics. Arch. Math. Log. 43(7): 859-890 (2004) - [c5]George Metcalfe, Nicola Olivetti, Dov M. Gabbay:
Goal-Directed Methods for Lukasiewicz Logic. CSL 2004: 85-99 - [c4]Agata Ciabattoni, Christian G. Fermüller, George Metcalfe:
Uniform Rules and Dialogue Games for Fuzzy Logics. LPAR 2004: 496-510 - 2003
- [c3]George Metcalfe, Nicola Olivetti, Dov M. Gabbay:
Goal-Directed Calculli for Gödel-Dummett Logics. CSL 2003: 413-426 - [c2]Agata Ciabattoni, George Metcalfe:
Bounded Lukasiewicz Logics. TABLEAUX 2003: 32-47 - 2002
- [c1]George Metcalfe, Nicola Olivetti, Dov M. Gabbay:
Analytic Sequent Calculi for Abelian and ukasiewicz Logics. TABLEAUX 2002: 191-205 - [i1]George Metcalfe, Nicola Olivetti, Dov M. Gabbay:
Sequent and Hypersequent Calculi for Abelian and Lukasiewicz Logics. CoRR cs.LO/0211021 (2002)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-22 20:17 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
