×

zbMATH — the first resource for mathematics

Metcalfe, George

Compute Distance To:
Author ID: metcalfe.george Recent zbMATH articles by "Metcalfe, George"
Published as: Metcalfe, George; Metcalfe, G.
External Links: MGP
Documents Indexed: 66 Publications since 2002, including 4 Books

Publications by Year

Citations contained in zbMATH Open

54 Publications have been cited 422 times in 239 Documents Cited by Year
Substructural fuzzy logics. Zbl 1139.03017
Metcalfe, George; Montagna, Franco
51
2007
Proof theory for fuzzy logics. Zbl 1168.03002
Metcalfe, George; Olivetti, Nicola; Gabbay, Dov
46
2009
Fuzzy logics based on \([0,1)\)-continuous uninorms. Zbl 1128.03015
Gabbay, Dov; Metcalfe, George
29
2007
Proof theory for admissible rules. Zbl 1174.03024
Iemhoff, Rosalie; Metcalfe, George
26
2009
Admissible rules in the implication-negation fragment of intuitionistic logic. Zbl 1225.03011
Cintula, Petr; Metcalfe, George
19
2010
Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions. Zbl 1190.03026
Ciabattoni, Agata; Metcalfe, George; Montagna, Franco
17
2010
Amalgamation and interpolation in ordered algebras. Zbl 1318.06012
Metcalfe, George; Montagna, Franco; Tsinakis, Constantine
14
2014
Uniform rules and dialogue games for fuzzy logics. Zbl 1109.03019
Ciabattoni, Agata; Fermüller, Christian G.; Metcalfe, George
12
2005
Sequent and hypersequent calculi for abelian and Łukasiewicz logics. Zbl 1407.03037
Metcalfe, George; Olivetti, Nicola; Gabbay, Dov
11
2005
Structural completeness in fuzzy logics. Zbl 1190.03027
Cintula, Petr; Metcalfe, George
11
2009
Towards a proof theory of Gödel modal logics. Zbl 1266.03044
Metcalfe, George; Olivetti, Nicola
10
2011
Density elimination. Zbl 1206.03027
Ciabattoni, Agata; Metcalfe, George
10
2008
Craig interpolation for semilinear substructural logics. Zbl 1273.03075
Marchioni, Enrico; Metcalfe, George
9
2012
Analytic calculi for product logics. Zbl 1066.03036
Metcalfe, George; Olivetti, Nicola; Gabbay, Dov
8
2004
Decidability of order-based modal logics. Zbl 1423.03056
Caicedo, Xavier; Metcalfe, George; Rodríguez, Ricardo; Rogger, Jonas
8
2017
Herbrand’s theorem, Skolemization and proof systems for first-order Łukasiewicz logic. Zbl 1188.03014
Baaz, Matthias; Metcalfe, George
8
2010
Ordered algebras and logic. Zbl 1202.03067
Metcalfe, George; Paoli, Francesco; Tsinakis, Constantine
8
2010
Admissibility via natural dualities. Zbl 1346.08005
Cabrer, Leonardo; Metcalfe, George
8
2015
Hypersequent systems for the admissible rules of modal and intermediate logics. Zbl 1211.03037
Iemhoff, Rosalie; Metcalfe, George
7
2009
Admissibility in finitely generated quasivarieties. Zbl 1297.03009
Metcalfe, George; Röthlisberger, Christoph
7
2013
A Hennessy-Milner property for many-valued modal logics. Zbl 1385.03024
Marti, Michel; Metcalfe, George
7
2014
A finite model property for Gödel modal logics. Zbl 1395.03008
Caicedo, Xavier; Metcalfe, George; Rodríguez, Ricardo; Rogger, Jonas
6
2013
Herbrand theorems for substructural logics. Zbl 1408.03016
Cintula, Petr; Metcalfe, George
5
2013
Uniform interpolation and compact congruences. Zbl 1422.03061
van Gool, Samuel J.; Metcalfe, George; Tsinakis, Constantine
5
2017
Giles’s game and the proof theory of Łukasiewicz logic. Zbl 1185.03041
Fermüller, Christian G.; Metcalfe, George
5
2009
Proof theory for mathematical fuzzy logic. Zbl 1284.03187
Metcalfe, George
5
2011
A sequent calculus for constructive logic with strong negation as a substructural logic. Zbl 1286.03154
Metcalfe, George
5
2009
Low Reynolds number scalar transport enhancement in viscous and non-Newtonian fluids. Zbl 1156.80345
Lester, D. R.; Rudman, M.; Metcalfe, G.
5
2009
Hypersequents and fuzzy logic. Zbl 1070.03012
Gabbay, Dov; Metcalfe, George; Olivetti, Nicola
4
2004
Admissible rules: from characterizations to applications. Zbl 1362.03010
Metcalfe, George
4
2012
Proof systems for a Gödel modal logic. Zbl 1260.03053
Metcalfe, George; Olivetti, Nicola
4
2009
Density elimination and rational completeness for first-order logics. Zbl 1133.03028
Ciabattoni, Agata; Metcalfe, George
4
2007
Analytic sequent calculi for Abelian and Łukasiewicz logics. Zbl 1016.03058
Metcalfe, George; Olivetti, Nicola; Gabbay, Dov
3
2002
An Avron rule for fragments of R-mingle. Zbl 1444.03083
Metcalfe, George
3
2016
Bounded Łukasiewicz logics. Zbl 1274.03042
Ciabattoni, Agata; Metcalfe, George
3
2003
Goal-directed calculi for Gödel-Dummett logics. Zbl 1116.03309
Metcalfe, George; Olivetti, Nicola; Gabbay, Dov
3
2003
Bifurcations and degenerate periodic points in a three dimensional chaotic fluid flow. Zbl 1361.37027
Smith, L. D.; Rudman, M.; Lester, D. R.; Metcalfe, G.
3
2016
Proof theory for Casari’s comparative logics. Zbl 1113.03019
Metcalfe, George
3
2006
Density revisited. Zbl 1396.03060
Metcalfe, George; Tsinakis, Constantine
3
2017
Axiomatizing a real-valued modal logic. Zbl 1400.03039
Diaconescu, Denisa; Metcalfe, George; Schnüriger, Laura
3
2016
Checking admissibility using natural dualities. Zbl 1407.03010
Cabrer, Leonardo M.; Freisberg, Benjamin; Metcalfe, George; Priestley, Hilary A.
2
2019
Skolemization for substructural logics. Zbl 06528769
Cintula, Petr; Diaconescu, Denisa; Metcalfe, George
2
2015
Proof theory for lattice-ordered groups. Zbl 1348.06011
Galatos, Nikolaos; Metcalfe, George
2
2016
Łukasiewicz logic: from proof systems to logic programming. Zbl 1091.03008
Metcalfe, George; Olivetti, Nicola; Gabbay, Dov
2
2005
Herbrand theorems and Skolemization for prenex fuzzy logics. Zbl 1142.03340
Baaz, Matthias; Metcalfe, George
2
2008
Admissibility in De Morgan algebras. Zbl 1281.06009
Metcalfe, George; Röthlisberger, Christoph
2
2012
Proof theory and ordered groups. Zbl 06820462
Colacito, Almudena; Metcalfe, George
1
2017
Automated reasoning with analytic tableaux and related methods. 20th international conference, TABLEAUX 2011, Bern, Switzerland, July 4–8, 2011. Proceedings. Zbl 1216.68022
Brünnler, Kai (ed.); Metcalfe, George (ed.)
1
2011
Normal forms for fuzzy logics: a proof-theoretic approach. Zbl 1114.03016
Cintula, Petr; Metcalfe, George
1
2007
Exact unification and admissibility. Zbl 1384.08001
Cabrer, Leonardo; Metcalfe, George
1
2015
Ordering groups and validity in lattice-ordered groups. Zbl 07094341
Colacito, Almudena; Metcalfe, George
1
2019
Skolemization and Herbrand theorems for lattice-valued logics. Zbl 07041828
Cintula, Petr; Diaconescu, Denisa; Metcalfe, George
1
2019
Expressivity in chain-based modal logics. Zbl 06860718
Marti, Michel; Metcalfe, George
1
2018
The one-variable fragment of corsi logic. Zbl 07176919
Caicedo, Xavier; Metcalfe, George; Rodríguez, Ricardo; Tuyt, Olim
1
2019
Checking admissibility using natural dualities. Zbl 1407.03010
Cabrer, Leonardo M.; Freisberg, Benjamin; Metcalfe, George; Priestley, Hilary A.
2
2019
Ordering groups and validity in lattice-ordered groups. Zbl 07094341
Colacito, Almudena; Metcalfe, George
1
2019
Skolemization and Herbrand theorems for lattice-valued logics. Zbl 07041828
Cintula, Petr; Diaconescu, Denisa; Metcalfe, George
1
2019
The one-variable fragment of corsi logic. Zbl 07176919
Caicedo, Xavier; Metcalfe, George; Rodríguez, Ricardo; Tuyt, Olim
1
2019
Expressivity in chain-based modal logics. Zbl 06860718
Marti, Michel; Metcalfe, George
1
2018
Decidability of order-based modal logics. Zbl 1423.03056
Caicedo, Xavier; Metcalfe, George; Rodríguez, Ricardo; Rogger, Jonas
8
2017
Uniform interpolation and compact congruences. Zbl 1422.03061
van Gool, Samuel J.; Metcalfe, George; Tsinakis, Constantine
5
2017
Density revisited. Zbl 1396.03060
Metcalfe, George; Tsinakis, Constantine
3
2017
Proof theory and ordered groups. Zbl 06820462
Colacito, Almudena; Metcalfe, George
1
2017
An Avron rule for fragments of R-mingle. Zbl 1444.03083
Metcalfe, George
3
2016
Bifurcations and degenerate periodic points in a three dimensional chaotic fluid flow. Zbl 1361.37027
Smith, L. D.; Rudman, M.; Lester, D. R.; Metcalfe, G.
3
2016
Axiomatizing a real-valued modal logic. Zbl 1400.03039
Diaconescu, Denisa; Metcalfe, George; Schnüriger, Laura
3
2016
Proof theory for lattice-ordered groups. Zbl 1348.06011
Galatos, Nikolaos; Metcalfe, George
2
2016
Admissibility via natural dualities. Zbl 1346.08005
Cabrer, Leonardo; Metcalfe, George
8
2015
Skolemization for substructural logics. Zbl 06528769
Cintula, Petr; Diaconescu, Denisa; Metcalfe, George
2
2015
Exact unification and admissibility. Zbl 1384.08001
Cabrer, Leonardo; Metcalfe, George
1
2015
Amalgamation and interpolation in ordered algebras. Zbl 1318.06012
Metcalfe, George; Montagna, Franco; Tsinakis, Constantine
14
2014
A Hennessy-Milner property for many-valued modal logics. Zbl 1385.03024
Marti, Michel; Metcalfe, George
7
2014
Admissibility in finitely generated quasivarieties. Zbl 1297.03009
Metcalfe, George; Röthlisberger, Christoph
7
2013
A finite model property for Gödel modal logics. Zbl 1395.03008
Caicedo, Xavier; Metcalfe, George; Rodríguez, Ricardo; Rogger, Jonas
6
2013
Herbrand theorems for substructural logics. Zbl 1408.03016
Cintula, Petr; Metcalfe, George
5
2013
Craig interpolation for semilinear substructural logics. Zbl 1273.03075
Marchioni, Enrico; Metcalfe, George
9
2012
Admissible rules: from characterizations to applications. Zbl 1362.03010
Metcalfe, George
4
2012
Admissibility in De Morgan algebras. Zbl 1281.06009
Metcalfe, George; Röthlisberger, Christoph
2
2012
Towards a proof theory of Gödel modal logics. Zbl 1266.03044
Metcalfe, George; Olivetti, Nicola
10
2011
Proof theory for mathematical fuzzy logic. Zbl 1284.03187
Metcalfe, George
5
2011
Automated reasoning with analytic tableaux and related methods. 20th international conference, TABLEAUX 2011, Bern, Switzerland, July 4–8, 2011. Proceedings. Zbl 1216.68022
Brünnler, Kai; Metcalfe, George
1
2011
Admissible rules in the implication-negation fragment of intuitionistic logic. Zbl 1225.03011
Cintula, Petr; Metcalfe, George
19
2010
Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions. Zbl 1190.03026
Ciabattoni, Agata; Metcalfe, George; Montagna, Franco
17
2010
Herbrand’s theorem, Skolemization and proof systems for first-order Łukasiewicz logic. Zbl 1188.03014
Baaz, Matthias; Metcalfe, George
8
2010
Ordered algebras and logic. Zbl 1202.03067
Metcalfe, George; Paoli, Francesco; Tsinakis, Constantine
8
2010
Proof theory for fuzzy logics. Zbl 1168.03002
Metcalfe, George; Olivetti, Nicola; Gabbay, Dov
46
2009
Proof theory for admissible rules. Zbl 1174.03024
Iemhoff, Rosalie; Metcalfe, George
26
2009
Structural completeness in fuzzy logics. Zbl 1190.03027
Cintula, Petr; Metcalfe, George
11
2009
Hypersequent systems for the admissible rules of modal and intermediate logics. Zbl 1211.03037
Iemhoff, Rosalie; Metcalfe, George
7
2009
Giles’s game and the proof theory of Łukasiewicz logic. Zbl 1185.03041
Fermüller, Christian G.; Metcalfe, George
5
2009
A sequent calculus for constructive logic with strong negation as a substructural logic. Zbl 1286.03154
Metcalfe, George
5
2009
Low Reynolds number scalar transport enhancement in viscous and non-Newtonian fluids. Zbl 1156.80345
Lester, D. R.; Rudman, M.; Metcalfe, G.
5
2009
Proof systems for a Gödel modal logic. Zbl 1260.03053
Metcalfe, George; Olivetti, Nicola
4
2009
Density elimination. Zbl 1206.03027
Ciabattoni, Agata; Metcalfe, George
10
2008
Herbrand theorems and Skolemization for prenex fuzzy logics. Zbl 1142.03340
Baaz, Matthias; Metcalfe, George
2
2008
Substructural fuzzy logics. Zbl 1139.03017
Metcalfe, George; Montagna, Franco
51
2007
Fuzzy logics based on \([0,1)\)-continuous uninorms. Zbl 1128.03015
Gabbay, Dov; Metcalfe, George
29
2007
Density elimination and rational completeness for first-order logics. Zbl 1133.03028
Ciabattoni, Agata; Metcalfe, George
4
2007
Normal forms for fuzzy logics: a proof-theoretic approach. Zbl 1114.03016
Cintula, Petr; Metcalfe, George
1
2007
Proof theory for Casari’s comparative logics. Zbl 1113.03019
Metcalfe, George
3
2006
Uniform rules and dialogue games for fuzzy logics. Zbl 1109.03019
Ciabattoni, Agata; Fermüller, Christian G.; Metcalfe, George
12
2005
Sequent and hypersequent calculi for abelian and Łukasiewicz logics. Zbl 1407.03037
Metcalfe, George; Olivetti, Nicola; Gabbay, Dov
11
2005
Łukasiewicz logic: from proof systems to logic programming. Zbl 1091.03008
Metcalfe, George; Olivetti, Nicola; Gabbay, Dov
2
2005
Analytic calculi for product logics. Zbl 1066.03036
Metcalfe, George; Olivetti, Nicola; Gabbay, Dov
8
2004
Hypersequents and fuzzy logic. Zbl 1070.03012
Gabbay, Dov; Metcalfe, George; Olivetti, Nicola
4
2004
Bounded Łukasiewicz logics. Zbl 1274.03042
Ciabattoni, Agata; Metcalfe, George
3
2003
Goal-directed calculi for Gödel-Dummett logics. Zbl 1116.03309
Metcalfe, George; Olivetti, Nicola; Gabbay, Dov
3
2003
Analytic sequent calculi for Abelian and Łukasiewicz logics. Zbl 1016.03058
Metcalfe, George; Olivetti, Nicola; Gabbay, Dov
3
2002
all top 5

Cited by 226 Authors

24 Metcalfe, George
12 Iemhoff, Rosalie
11 Cintula, Petr
11 Montagna, Franco
10 Noguera, Carles
10 Wang, Zhudeng
8 Ciabattoni, Agata
7 Indrzejczak, Andrzej
7 Raftery, James G.
7 Rybakov, Vladimir Vladimirovich
7 Tsinakis, Constantine
7 Wang, Sanmin
6 Citkin, Alex
6 Galatos, Nikolaos
6 Yang, Eunsuk
5 Gil-Férez, José
5 Goudsmit, Jeroen P.
5 Hao, Xiaoying
5 Liu, Huawen
5 Niu, Meixia
5 Paoli, Francesco
4 Baaz, Matthias
4 Fermüller, Christian G.
4 Jenei, Sándor
4 Ledda, Antonio
4 Marchioni, Enrico
4 Torrens, Joan
4 Vidal, Amanda
3 Badia, Guillermo
3 Baldi, Paolo
3 Cabrer, Leonardo Manuel
3 Caicedo, Xavier
3 Colacito, Almudena
3 Dellunde, Pilar
3 Esteva, Francesc
3 Flaminio, Tommaso
3 Gabbay, Dov M.
3 García-Cerdaña, Àngel
3 Gispert, Joan
3 Moraschini, Tommaso
3 Olivetti, Nicola
3 Rodríguez, Ricardo Oscar
3 Su, Yong
3 Terui, Kazushige
2 Avron, Arnon
2 Bianchi, Matteo
2 Bofill, Miquel
2 Caselles Costa, Vicent
2 Castaño, Diego N.
2 Chajda, Ivan
2 Diaconescu, Denisa
2 Dzik, Wojciech
2 Fang, Jinxuan
2 Fasching, Oliver
2 Gerasimov, Aleksandr Sergeevich
2 Ghilardi, Silvio
2 Godo, Lluís
2 Gottwald, Siegfried
2 Horčík, Rostislav
2 Jeřábek, Emil
2 Kowalski, Tomasz Marek
2 Lahav, Ori
2 Lellmann, Björn
2 Manyà, Felip
2 Odintsov, Sergei P.
2 Pozzato, Gian Luca
2 Priestley, Hilary A.
2 Rak, Ewa
2 Rasga, João
2 Reggio, Luca
2 Rogger, Jonas
2 Ruiz-Aguilera, Daniel
2 Sernadas, Cristina S.
2 Stronkowski, Michał Marek
2 Sussner, Peter
2 van Gool, Samuel Jacob
2 Vetterlein, Thomas
2 Villaret, Mateu
2 Wang, Yaming
2 Zhan, Hang
1 Aguilera, Juan Pablo
1 Aguiló, Isabel
1 Aguzzoli, Stefano
1 Ansótegui, Carlos
1 Arieli, Ofer
1 Armengol, Eva
1 Aşici, Emel
1 Baader, Franz
1 Babenyshev, Sergey
1 Balbiani, Philippe
1 Baldi, Michele Pra
1 Bashmakov, Stepan Igorevich
1 Bednarska, Kaja
1 Bedregal, Benjamín Callejas
1 Běhounek, Libor
1 Beklemishev, Lev D.
1 Bezhanishvili, Guram
1 Bezhanishvili, Nick
1 Bílková, Marta
1 Bongini, Mattia
...and 126 more Authors
all top 5

Cited in 48 Serials

44 Fuzzy Sets and Systems
22 Annals of Pure and Applied Logic
18 Studia Logica
14 Archive for Mathematical Logic
13 Soft Computing
10 Algebra Universalis
8 Theoretical Computer Science
7 Journal of Pure and Applied Algebra
7 The Review of Symbolic Logic
6 International Journal of Approximate Reasoning
5 Mathematical Logic Quarterly (MLQ)
5 Logica Universalis
4 Journal of Philosophical Logic
4 Notre Dame Journal of Formal Logic
4 Logic and Logical Philosophy
3 Information Sciences
3 Journal of Automated Reasoning
3 The Bulletin of Symbolic Logic
3 Journal of Intelligent and Fuzzy Systems
3 Symmetry
2 Algebra and Logic
2 Journal of Algebra
2 Kybernetika
2 Journal of Applied Non-Classical Logics
2 Journal of Applied Logic
2 Logical Methods in Computer Science
1 Artificial Intelligence
1 International Journal of General Systems
1 Information Processing Letters
1 Journal of Computer and System Sciences
1 The Journal of Symbolic Logic
1 Mathematica Slovaca
1 Siberian Mathematical Journal
1 Synthese
1 Transactions of the American Mathematical Society
1 Bulletin of the Section of Logic
1 Topology and its Applications
1 Information and Computation
1 Neural Networks
1 Annales de l’Institut Henri Poincaré. Probabilités et Statistiques
1 Indagationes Mathematicae. New Series
1 Journal of Logic, Language and Information
1 Lobachevskii Journal of Mathematics
1 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
1 Iranian Journal of Fuzzy Systems
1 Oberwolfach Reports
1 Sibirskie Èlektronnye Matematicheskie Izvestiya
1 Journal of Siberian Federal University. Mathematics & Physics

Citations by Year