×
Compute Distance To:
Author ID: metcalfe.george Recent zbMATH articles by "Metcalfe, George"
Published as: Metcalfe, George
External Links: MGP

Publications by Year

Citations contained in zbMATH Open

58 Publications have been cited 471 times in 266 Documents Cited by Year
Substructural fuzzy logics. Zbl 1139.03017
Metcalfe, George; Montagna, Franco
55
2007
Proof theory for fuzzy logics. Zbl 1168.03002
Metcalfe, George; Olivetti, Nicola; Gabbay, Dov
53
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
28
2009
Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions. Zbl 1190.03026
Ciabattoni, Agata; Metcalfe, George; Montagna, Franco
19
2010
Admissible rules in the implication-negation fragment of intuitionistic logic. Zbl 1225.03011
Cintula, Petr; Metcalfe, George
19
2010
Sequent and hypersequent calculi for abelian and Łukasiewicz logics. Zbl 1407.03037
Metcalfe, George; Olivetti, Nicola; Gabbay, Dov
16
2005
Amalgamation and interpolation in ordered algebras. Zbl 1318.06012
Metcalfe, George; Montagna, Franco; Tsinakis, Constantine
15
2014
Uniform rules and dialogue games for fuzzy logics. Zbl 1109.03019
Ciabattoni, Agata; Fermüller, Christian G.; Metcalfe, George
13
2005
Density elimination. Zbl 1206.03027
Ciabattoni, Agata; Metcalfe, George
11
2008
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
11
2011
Giles’s game and the proof theory of Łukasiewicz logic. Zbl 1185.03041
Fermüller, Christian G.; Metcalfe, George
10
2009
Craig interpolation for semilinear substructural logics. Zbl 1273.03075
Marchioni, Enrico; Metcalfe, George
10
2012
Ordered algebras and logic. Zbl 1202.03067
Metcalfe, George; Paoli, Francesco; Tsinakis, Constantine
9
2010
Decidability of order-based modal logics. Zbl 1423.03056
Caicedo, Xavier; Metcalfe, George; Rodríguez, Ricardo; Rogger, Jonas
9
2017
Herbrand’s theorem, Skolemization and proof systems for first-order Łukasiewicz logic. Zbl 1188.03014
Baaz, Matthias; Metcalfe, George
8
2010
Analytic calculi for product logics. Zbl 1066.03036
Metcalfe, George; Olivetti, Nicola; Gabbay, Dov
8
2004
Admissibility via natural dualities. Zbl 1346.08005
Cabrer, Leonardo; Metcalfe, George
8
2015
Admissibility in finitely generated quasivarieties. Zbl 1297.03009
Metcalfe, George; Röthlisberger, Christoph
7
2013
Hypersequent systems for the admissible rules of modal and intermediate logics. Zbl 1211.03037
Iemhoff, Rosalie; Metcalfe, George
7
2009
A finite model property for Gödel modal logics. Zbl 1395.03008
Caicedo, Xavier; Metcalfe, George; Rodríguez, Ricardo; Rogger, Jonas
7
2013
A Hennessy-Milner property for many-valued modal logics. Zbl 1385.03024
Marti, Michel; Metcalfe, George
7
2014
Uniform interpolation and compact congruences. Zbl 1422.03061
van Gool, Samuel J.; Metcalfe, George; Tsinakis, Constantine
7
2017
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 theory for mathematical fuzzy logic. Zbl 1284.03187
Metcalfe, George
5
2011
Herbrand theorems for substructural logics. Zbl 1408.03016
Cintula, Petr; Metcalfe, George
5
2013
A sequent calculus for constructive logic with strong negation as a substructural logic. Zbl 1286.03154
Metcalfe, George
5
2009
Proof systems for a Gödel modal logic. Zbl 1260.03053
Metcalfe, George; Olivetti, Nicola
4
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
Density elimination and rational completeness for first-order logics. Zbl 1133.03028
Ciabattoni, Agata; Metcalfe, George
4
2007
Density revisited. Zbl 1396.03060
Metcalfe, George; Tsinakis, Constantine
4
2017
An Avron rule for fragments of R-mingle. Zbl 1444.03083
Metcalfe, George
4
2016
The one-variable fragment of corsi logic. Zbl 07176919
Caicedo, Xavier; Metcalfe, George; Rodríguez, Ricardo; Tuyt, Olim
3
2019
Analytic sequent calculi for Abelian and Łukasiewicz logics. Zbl 1016.03058
Metcalfe, George; Olivetti, Nicola; Gabbay, Dov
3
2002
Bounded Łukasiewicz logics. Zbl 1274.03042
Ciabattoni, Agata; Metcalfe, George
3
2003
Proof theory for Casari’s comparative logics. Zbl 1113.03019
Metcalfe, George
3
2006
Goal-directed calculi for Gödel-Dummett logics. Zbl 1116.03309
Metcalfe, George; Olivetti, Nicola; Gabbay, Dov
3
2003
Axiomatizing a real-valued modal logic. Zbl 1400.03039
Diaconescu, Denisa; Metcalfe, George; Schnüriger, Laura
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
Checking admissibility using natural dualities. Zbl 1407.03010
Cabrer, Leonardo M.; Freisberg, Benjamin; Metcalfe, George; Priestley, Hilary A.
3
2019
Structure theorems for idempotent residuated lattices. Zbl 1481.06033
Gil-Férez, José; Jipsen, Peter; Metcalfe, George
3
2020
Uniform interpolation and coherence. Zbl 07049926
Kowalski, Tomasz; Metcalfe, George
2
2019
Admissibility in De Morgan algebras. Zbl 1281.06009
Metcalfe, George; Röthlisberger, Christoph
2
2012
Łukasiewicz logic: from proof systems to logic programming. Zbl 1091.03008
Metcalfe, George; Olivetti, Nicola; Gabbay, Dov
2
2005
Exact unification and admissibility. Zbl 1384.08001
Cabrer, Leonardo; Metcalfe, George
2
2015
Proof theory for lattice-ordered groups. Zbl 1348.06011
Galatos, Nikolaos; Metcalfe, George
2
2016
Skolemization for substructural logics. Zbl 1471.03054
Cintula, Petr; Diaconescu, Denisa; Metcalfe, George
2
2015
Herbrand theorems and Skolemization for prenex fuzzy logics. Zbl 1142.03340
Baaz, Matthias; Metcalfe, George
2
2008
Proof theory and ordered groups. Zbl 06820462
Colacito, Almudena; Metcalfe, George
2
2017
Integrally closed residuated lattices. Zbl 1486.03114
Gil-Férez, José; Lauridsen, Frederik Möllerström; Metcalfe, George
1
2020
Skolemization and Herbrand theorems for lattice-valued logics. Zbl 1472.03022
Cintula, Petr; Diaconescu, Denisa; Metcalfe, George
1
2019
Automated reasoning with analytic tableaux and related methods. 20th international conference, TABLEAUX 2011, Bern, Switzerland, July 4–8, 2011. Proceedings. Zbl 1216.68022
1
2011
Normal forms for fuzzy logics: a proof-theoretic approach. Zbl 1114.03016
Cintula, Petr; Metcalfe, George
1
2007
A real-valued modal logic. Zbl 1459.03021
Diaconescu, Denisa; Metcalfe, George; Schnüriger, Laura
1
2018
Expressivity in chain-based modal logics. Zbl 06860718
Marti, Michel; Metcalfe, George
1
2018
Ordering groups and validity in lattice-ordered groups. Zbl 07094341
Colacito, Almudena; Metcalfe, George
1
2019
Structure theorems for idempotent residuated lattices. Zbl 1481.06033
Gil-Férez, José; Jipsen, Peter; Metcalfe, George
3
2020
Integrally closed residuated lattices. Zbl 1486.03114
Gil-Férez, José; Lauridsen, Frederik Möllerström; Metcalfe, George
1
2020
The one-variable fragment of corsi logic. Zbl 07176919
Caicedo, Xavier; Metcalfe, George; Rodríguez, Ricardo; Tuyt, Olim
3
2019
Checking admissibility using natural dualities. Zbl 1407.03010
Cabrer, Leonardo M.; Freisberg, Benjamin; Metcalfe, George; Priestley, Hilary A.
3
2019
Uniform interpolation and coherence. Zbl 07049926
Kowalski, Tomasz; Metcalfe, George
2
2019
Skolemization and Herbrand theorems for lattice-valued logics. Zbl 1472.03022
Cintula, Petr; Diaconescu, Denisa; Metcalfe, George
1
2019
Ordering groups and validity in lattice-ordered groups. Zbl 07094341
Colacito, Almudena; Metcalfe, George
1
2019
A real-valued modal logic. Zbl 1459.03021
Diaconescu, Denisa; Metcalfe, George; Schnüriger, Laura
1
2018
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
9
2017
Uniform interpolation and compact congruences. Zbl 1422.03061
van Gool, Samuel J.; Metcalfe, George; Tsinakis, Constantine
7
2017
Density revisited. Zbl 1396.03060
Metcalfe, George; Tsinakis, Constantine
4
2017
Proof theory and ordered groups. Zbl 06820462
Colacito, Almudena; Metcalfe, George
2
2017
An Avron rule for fragments of R-mingle. Zbl 1444.03083
Metcalfe, George
4
2016
Axiomatizing a real-valued modal logic. Zbl 1400.03039
Diaconescu, Denisa; Metcalfe, George; Schnüriger, Laura
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
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
Exact unification and admissibility. Zbl 1384.08001
Cabrer, Leonardo; Metcalfe, George
2
2015
Skolemization for substructural logics. Zbl 1471.03054
Cintula, Petr; Diaconescu, Denisa; Metcalfe, George
2
2015
Amalgamation and interpolation in ordered algebras. Zbl 1318.06012
Metcalfe, George; Montagna, Franco; Tsinakis, Constantine
15
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
7
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
10
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
11
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
1
2011
Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions. Zbl 1190.03026
Ciabattoni, Agata; Metcalfe, George; Montagna, Franco
19
2010
Admissible rules in the implication-negation fragment of intuitionistic logic. Zbl 1225.03011
Cintula, Petr; Metcalfe, George
19
2010
Ordered algebras and logic. Zbl 1202.03067
Metcalfe, George; Paoli, Francesco; Tsinakis, Constantine
9
2010
Herbrand’s theorem, Skolemization and proof systems for first-order Łukasiewicz logic. Zbl 1188.03014
Baaz, Matthias; Metcalfe, George
8
2010
Proof theory for fuzzy logics. Zbl 1168.03002
Metcalfe, George; Olivetti, Nicola; Gabbay, Dov
53
2009
Proof theory for admissible rules. Zbl 1174.03024
Iemhoff, Rosalie; Metcalfe, George
28
2009
Structural completeness in fuzzy logics. Zbl 1190.03027
Cintula, Petr; Metcalfe, George
11
2009
Giles’s game and the proof theory of Łukasiewicz logic. Zbl 1185.03041
Fermüller, Christian G.; Metcalfe, George
10
2009
Hypersequent systems for the admissible rules of modal and intermediate logics. Zbl 1211.03037
Iemhoff, Rosalie; Metcalfe, George
7
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
A sequent calculus for constructive logic with strong negation as a substructural logic. Zbl 1286.03154
Metcalfe, George
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
11
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
55
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
Sequent and hypersequent calculi for abelian and Łukasiewicz logics. Zbl 1407.03037
Metcalfe, George; Olivetti, Nicola; Gabbay, Dov
16
2005
Uniform rules and dialogue games for fuzzy logics. Zbl 1109.03019
Ciabattoni, Agata; Fermüller, Christian G.; Metcalfe, George
13
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 241 Authors

26 Metcalfe, George
12 Iemhoff, Rosalie
11 Cintula, Petr
11 Montagna, Franco
10 Noguera, Carles
10 Wang, Zhudeng
9 Ciabattoni, Agata
9 Indrzejczak, Andrzej
8 Rybakov, Vladimir Vladimirovich
8 Tsinakis, Constantine
7 Galatos, Nikolaos
7 Raftery, James G.
7 Wang, Sanmin
6 Citkin, Alex
6 Fermüller, Christian G.
6 Yang, Eunsuk
5 Colacito, Almudena
5 Gil-Férez, José
5 Goudsmit, Jeroen P.
5 Hao, Xiaoying
5 Jenei, Sándor
5 Liu, Huawen
5 Niu, Meixia
5 Paoli, Francesco
5 Rodríguez, Ricardo Oscar
4 Avron, Arnon
4 Baaz, Matthias
4 Cabrer, Leonardo Manuel
4 Caicedo, Xavier
4 Esteva, Francesc
4 Ledda, Antonio
4 Marchioni, Enrico
4 Torrens, Joan
4 Vidal, Amanda
3 Badia, Guillermo
3 Baldi, Paolo
3 Dellunde, Pilar
3 Flaminio, Tommaso
3 Gabbay, Dov M.
3 García-Cerdaña, Àngel
3 Ghilardi, Silvio
3 Gispert, Joan
3 Godo, Lluís
3 Jipsen, Peter
3 Lang, Timo
3 Moraschini, Tommaso
3 Olivetti, Nicola
3 Pavlova, Aleksandra Mikhaĭlovna
3 Priestley, Hilary A.
3 Su, Yong
3 Terui, Kazushige
3 Tuyt, Olim Frits
2 Arieli, Ofer
2 Bashmakov, Stepan Igorevich
2 Bianchi, Matteo
2 Bílková, Marta
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 Freiman, Robert
2 Gerasimov, Aleksandr Sergeevich
2 Gianola, Alessandro
2 Gottwald, Siegfried
2 Horčík, Rostislav
2 Jeřábek, Emil
2 Kowalski, Tomasz
2 Lahav, Ori
2 Lellmann, Björn
2 Manyà, Felip
2 Odintsov, Sergei P.
2 Pozzato, Gian Luca
2 Rak, Ewa
2 Ramanayake, Revantha
2 Rasga, João
2 Reggio, Luca
2 Rogger, Jonas
2 Ruiz-Aguilera, Daniel
2 Sernadas, Amilcar C.
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 Alpay, Natanael
1 Ansótegui, Carlos
1 Armengol, Eva
1 Aşici, Emel
1 Baader, Franz
1 Babenyshev, Sergey
...and 141 more Authors
all top 5

Cited in 50 Serials

44 Fuzzy Sets and Systems
22 Studia Logica
22 Annals of Pure and Applied Logic
14 Archive for Mathematical Logic
13 Soft Computing
11 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
6 Logica Universalis
5 Mathematical Logic Quarterly (MLQ)
5 Logic and Logical Philosophy
4 Journal of Philosophical Logic
4 Notre Dame Journal of Formal Logic
4 Journal of Automated Reasoning
3 Information Sciences
3 Journal of Algebra
3 The Bulletin of Symbolic Logic
3 Journal of Intelligent and Fuzzy Systems
3 Logical Methods in Computer Science
3 Symmetry
3 Journal of Siberian Federal University. Mathematics & Physics
2 Algebra and Logic
2 The Journal of Symbolic Logic
2 Kybernetika
2 Mathematica Slovaca
2 Information and Computation
2 Journal of Applied Non-Classical Logics
2 Journal of Applied Logic
2 Iranian Journal of Fuzzy Systems
1 Artificial Intelligence
1 International Journal of General Systems
1 Information Processing Letters
1 Journal of Computer and System Sciences
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 Neural Networks
1 International Journal of Algebra and Computation
1 MSCS. Mathematical Structures in Computer Science
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 Oberwolfach Reports
1 Sibirskie Èlektronnye Matematicheskie Izvestiya

Citations by Year