×
Author ID: harding.john Recent zbMATH articles by "Harding, John"
Published as: Harding, John; Harding, J.
Homepage: https://wordpress.nmsu.edu/hardingj/
External Links: MGP

Publications by Year

Citations contained in zbMATH Open

70 Publications have been cited 549 times in 374 Documents Cited by Year
Bounded lattice expansions. Zbl 0988.06003
Gehrke, Mai; Harding, John
99
2001
Algebraic aspects of orthomodular lattices. Zbl 0955.06003
Bruns, Gunter; Harding, John
30
2000
Lattices of convex normal functions. Zbl 1176.03033
Harding, John; Walker, Carol; Walker, Elbert
24
2008
MacNeille completions and canonical extensions. Zbl 1083.06009
Gehrke, Mai; Harding, John; Venema, Yde
22
2006
The variety generated by the truth value algebra of type-2 fuzzy sets. Zbl 1192.03051
Harding, John; Walker, Carol; Walker, Elbert
22
2010
MacNeille completions of Heyting algebras. Zbl 1066.06005
Harding, John; Bezhanishvili, Guram
20
2004
Convex normal functions revisited. Zbl 1193.03077
Harding, John; Walker, Carol; Walker, Elbert
19
2010
Decompositions in quantum logic. Zbl 0859.03032
Harding, John
18
1996
Abelian subalgebras and the Jordan structure of a von Neumann algebra. Zbl 1360.46052
Döring, Andreas; Harding, John
16
2016
Regularity in quantum logic. Zbl 0946.03077
Harding, John
15
1998
The truth value algebra of type-2 fuzzy sets. Order convolutions of functions on the unit interval. Zbl 1360.03003
Harding, John; Walker, Carol L.; Walker, Elbert A.
14
2016
Completions of orthomodular lattices. Zbl 0792.06009
Bruns, Günter; Greechie, Richard J.; Harding, John; Roddy, Michael
12
1990
On profinite completions and canonical extensions. Zbl 1134.06004
Harding, John
12
2006
Canonical completions of lattices and ortholattices. Zbl 0939.06004
Harding, John
11
1998
A link between quantum logic and categorical quantum mechanics. Zbl 1180.81006
Harding, John
11
2009
Remarks on concrete orthomodular lattices. Zbl 1073.06002
Harding, John
10
2004
Proximity frames and regularization. Zbl 1316.06009
Bezhanishvili, Guram; Harding, John
10
2014
Subalgebras of orthomodular lattices. Zbl 1232.06016
Harding, John; Navara, Mirko
9
2011
Modal compact Hausdorff spaces. Zbl 1382.03089
Bezhanishvili, Guram; Bezhanishvili, Nick; Harding, John
9
2015
Completions of ordered algebraic structures: a survey. Zbl 1151.06012
Harding, John
7
2008
Functional monadic Heyting algebras. Zbl 1062.06017
Bezhanishvili, Guram; Harding, John
7
2002
The free orthomodular lattice on countably many generators is a subalgebra of the free orthomodular lattice on three generators. Zbl 1061.06019
Harding, John
7
2002
Orthomodular lattices whose MacNeille completions are not orthomodular. Zbl 0749.06006
Harding, John
7
1991
Stable compactifications of frames. Zbl 1315.06010
Bezhanishvili, Guram; Harding, John
7
2014
Orthomodularity of decompositions in a categorical setting. Zbl 1102.81017
Harding, John
6
2006
Boolean subalgebras of orthoalgebras. Zbl 1442.06003
Harding, John; Heunen, Chris; Lindenhovius, Bert; Navara, Mirko
6
2019
Varieties of Birkhoff systems. II. Zbl 1362.08003
Harding, John; Romanowska, Anna B.
6
2017
Modal logics of Stone spaces. Zbl 1259.03030
Bezhanishvili, Guram; Harding, John
6
2012
The modal logic of \({\beta(\mathbb{N})}\). Zbl 1169.03018
Bezhanishvili, Guram; Harding, John
5
2009
Raney algebras and duality for \(T_0\)-spaces. Zbl 1464.54016
Bezhanishvili, G.; Harding, J.
5
2020
Group-valued measures on the lattice of closed subspaces of a Hilbert space. Zbl 1130.81306
Harding, John; Jager, Ekaterina; Smith, Derek
5
2005
Daggers, kernels, Baer *-semigroups, and orthomodularity. Zbl 1285.81004
Harding, John
5
2013
Varieties of Birkhoff systems. I. Zbl 1362.08002
Harding, John; Romanowska, Anna B.
5
2017
Projective bichains. Zbl 1259.06005
Harding, John; Walker, Carol; Walker, Elbert
5
2012
Completions of orthomodular lattices. II. Zbl 0804.06012
Harding, John
4
1993
On the set representation of an orthomodular poset. Zbl 0984.06005
Harding, John; Pták, Pavel
4
2001
MacNeille completions of modal algebras. Zbl 1124.06007
Bezhanishvili, Guram; Harding, John
4
2007
Deformation of thermosetting resins at impact rates of strain. II: Constitutive model with rejuvenation. Zbl 1115.74310
Buckley, C. P.; Dooling, P. J.; Harding, J.; Ruiz, C.
4
2004
On the proof that compact Hausdorff Boolean algebras are powersets. Zbl 1356.06011
Bezhanishvili, Guram; Harding, John
4
2016
Any lattice can be regularly embedded into the MacNeille completion of a distributive lattice. Zbl 0787.06008
Harding, John
3
1993
Boolean products of lattices. Zbl 0869.06005
Crown, Gary D.; Harding, John; Jankowitz, Melvin F.
3
1996
Amalgamation of ortholattices. Zbl 0909.06006
Bruns, Gunter; Harding, John
3
1998
A regular completion for the variety generated by the three-element Heyting algebra. Zbl 1229.06001
Harding, John
3
2008
Axioms of an experimental system. Zbl 0974.81003
Harding, John
3
1999
Embeddings into orthomodular lattices with given centers, state spaces and automorphism groups. Zbl 0974.06003
Harding, John; Navara, Mirko
3
2000
Partial orders on fuzzy truth value algebras. Zbl 1325.03079
Harding, John; Walker, Carol; Walker, Elbert
3
2015
Categories with fuzzy sets and relations. Zbl 1335.03051
Harding, John; Walker, Carol; Walker, Elbert
3
2014
Decidability of the equational theory of the continuous geometry \(\mathrm{CG}(\mathbb F)\). Zbl 1345.03022
Harding, John
3
2013
Hausdorff dimension of self-similar sets with overlaps. Zbl 1178.28005
Deng, QiRong; Harding, John; Hu, TianYou
3
2009
A bundle representation for continuous geometries. Zbl 0893.51005
Harding, John; Janowitz, Melvin F.
2
1997
Every lattice with 1 and 0 is embeddable in the lattice of topologies of some set by an embedding which preserves the 1 and 0. Zbl 0943.54001
Harding, John; Pogel, Alex
2
2000
Automorphisms of decompositions. Zbl 1374.81006
Hannan, Tim; Harding, John
2
2016
Canonical extensions, free completely distributive lattices, and complete retracts. Zbl 1497.06009
Bezhanishvili, Guram; Harding, John; Jibladze, Mamuka
2
2021
Irreducible orthomodular lattices which are simple. Zbl 0767.06008
Harding, John
2
1992
Local Radon-Nikodym derivatives of set functions. Zbl 1232.28020
Harding, John; Marinacci, Massimo; Nguyen, Nhu T.; Wang, Tonghui
2
1997
Dynamics in the decompositions approach to quantum mechanics. Zbl 1387.81233
Harding, John
2
2017
The convolution algebra. Zbl 1522.03346
Harding, John; Walker, Carol; Walker, Elbert
2
2018
MacNeille transferability and stable classes of Heyting algebras. Zbl 1472.06009
Bezhanishvili, Guram; Harding, John; Ilin, Julia; Lauridsen, Frederik Möllerström
2
2018
Compact Hausdorff Heyting algebras. Zbl 1352.06008
Bezhanishvili, Guram; Harding, John
2
2016
Sections in orthomodular structures of decompositions. Zbl 1400.06003
Harding, John; Yang, Taewon
2
2016
The MacNeille completion of a uniquely complemented lattice. Zbl 0799.06018
Harding, John
1
1994
Boolean factors of orthomodular lattices. Zbl 0655.06007
Harding, J.
1
1988
Epimorphisms in certain varieties of algebras. Zbl 0963.06007
Bruns, Gunter; Harding, John
1
2000
The source of the orthomodular law. Zbl 1126.81011
Harding, John
1
2007
Quantum monadic algebras. Zbl 1518.81008
Harding, J.
1
2022
Compact Hausdorff spaces with relations and Gleason spaces. Zbl 1437.54021
Bezhanishvili, G.; Gabelaia, D.; Harding, J.; Jibladze, M.
1
2019
Wigner’s theorem for an infinite set. Zbl 1505.81004
Harding, John
1
2018
Modal operators on compact regular frames and de Vries algebras. Zbl 1321.06007
Bezhanishvili, Guram; Bezhanishvili, Nick; Harding, John
1
2015
The logic of bundles. Zbl 1329.81096
Harding, John; Yang, Taewon
1
2015
Type-2 fuzzy sets and bichains. Zbl 1364.03073
Harding, John; Walker, Carol L.; Walker, Elbert
1
2013
Quantum monadic algebras. Zbl 1518.81008
Harding, J.
1
2022
Canonical extensions, free completely distributive lattices, and complete retracts. Zbl 1497.06009
Bezhanishvili, Guram; Harding, John; Jibladze, Mamuka
2
2021
Raney algebras and duality for \(T_0\)-spaces. Zbl 1464.54016
Bezhanishvili, G.; Harding, J.
5
2020
Boolean subalgebras of orthoalgebras. Zbl 1442.06003
Harding, John; Heunen, Chris; Lindenhovius, Bert; Navara, Mirko
6
2019
Compact Hausdorff spaces with relations and Gleason spaces. Zbl 1437.54021
Bezhanishvili, G.; Gabelaia, D.; Harding, J.; Jibladze, M.
1
2019
The convolution algebra. Zbl 1522.03346
Harding, John; Walker, Carol; Walker, Elbert
2
2018
MacNeille transferability and stable classes of Heyting algebras. Zbl 1472.06009
Bezhanishvili, Guram; Harding, John; Ilin, Julia; Lauridsen, Frederik Möllerström
2
2018
Wigner’s theorem for an infinite set. Zbl 1505.81004
Harding, John
1
2018
Varieties of Birkhoff systems. II. Zbl 1362.08003
Harding, John; Romanowska, Anna B.
6
2017
Varieties of Birkhoff systems. I. Zbl 1362.08002
Harding, John; Romanowska, Anna B.
5
2017
Dynamics in the decompositions approach to quantum mechanics. Zbl 1387.81233
Harding, John
2
2017
Abelian subalgebras and the Jordan structure of a von Neumann algebra. Zbl 1360.46052
Döring, Andreas; Harding, John
16
2016
The truth value algebra of type-2 fuzzy sets. Order convolutions of functions on the unit interval. Zbl 1360.03003
Harding, John; Walker, Carol L.; Walker, Elbert A.
14
2016
On the proof that compact Hausdorff Boolean algebras are powersets. Zbl 1356.06011
Bezhanishvili, Guram; Harding, John
4
2016
Automorphisms of decompositions. Zbl 1374.81006
Hannan, Tim; Harding, John
2
2016
Compact Hausdorff Heyting algebras. Zbl 1352.06008
Bezhanishvili, Guram; Harding, John
2
2016
Sections in orthomodular structures of decompositions. Zbl 1400.06003
Harding, John; Yang, Taewon
2
2016
Modal compact Hausdorff spaces. Zbl 1382.03089
Bezhanishvili, Guram; Bezhanishvili, Nick; Harding, John
9
2015
Partial orders on fuzzy truth value algebras. Zbl 1325.03079
Harding, John; Walker, Carol; Walker, Elbert
3
2015
Modal operators on compact regular frames and de Vries algebras. Zbl 1321.06007
Bezhanishvili, Guram; Bezhanishvili, Nick; Harding, John
1
2015
The logic of bundles. Zbl 1329.81096
Harding, John; Yang, Taewon
1
2015
Proximity frames and regularization. Zbl 1316.06009
Bezhanishvili, Guram; Harding, John
10
2014
Stable compactifications of frames. Zbl 1315.06010
Bezhanishvili, Guram; Harding, John
7
2014
Categories with fuzzy sets and relations. Zbl 1335.03051
Harding, John; Walker, Carol; Walker, Elbert
3
2014
Daggers, kernels, Baer *-semigroups, and orthomodularity. Zbl 1285.81004
Harding, John
5
2013
Decidability of the equational theory of the continuous geometry \(\mathrm{CG}(\mathbb F)\). Zbl 1345.03022
Harding, John
3
2013
Type-2 fuzzy sets and bichains. Zbl 1364.03073
Harding, John; Walker, Carol L.; Walker, Elbert
1
2013
Modal logics of Stone spaces. Zbl 1259.03030
Bezhanishvili, Guram; Harding, John
6
2012
Projective bichains. Zbl 1259.06005
Harding, John; Walker, Carol; Walker, Elbert
5
2012
Subalgebras of orthomodular lattices. Zbl 1232.06016
Harding, John; Navara, Mirko
9
2011
The variety generated by the truth value algebra of type-2 fuzzy sets. Zbl 1192.03051
Harding, John; Walker, Carol; Walker, Elbert
22
2010
Convex normal functions revisited. Zbl 1193.03077
Harding, John; Walker, Carol; Walker, Elbert
19
2010
A link between quantum logic and categorical quantum mechanics. Zbl 1180.81006
Harding, John
11
2009
The modal logic of \({\beta(\mathbb{N})}\). Zbl 1169.03018
Bezhanishvili, Guram; Harding, John
5
2009
Hausdorff dimension of self-similar sets with overlaps. Zbl 1178.28005
Deng, QiRong; Harding, John; Hu, TianYou
3
2009
Lattices of convex normal functions. Zbl 1176.03033
Harding, John; Walker, Carol; Walker, Elbert
24
2008
Completions of ordered algebraic structures: a survey. Zbl 1151.06012
Harding, John
7
2008
A regular completion for the variety generated by the three-element Heyting algebra. Zbl 1229.06001
Harding, John
3
2008
MacNeille completions of modal algebras. Zbl 1124.06007
Bezhanishvili, Guram; Harding, John
4
2007
The source of the orthomodular law. Zbl 1126.81011
Harding, John
1
2007
MacNeille completions and canonical extensions. Zbl 1083.06009
Gehrke, Mai; Harding, John; Venema, Yde
22
2006
On profinite completions and canonical extensions. Zbl 1134.06004
Harding, John
12
2006
Orthomodularity of decompositions in a categorical setting. Zbl 1102.81017
Harding, John
6
2006
Group-valued measures on the lattice of closed subspaces of a Hilbert space. Zbl 1130.81306
Harding, John; Jager, Ekaterina; Smith, Derek
5
2005
MacNeille completions of Heyting algebras. Zbl 1066.06005
Harding, John; Bezhanishvili, Guram
20
2004
Remarks on concrete orthomodular lattices. Zbl 1073.06002
Harding, John
10
2004
Deformation of thermosetting resins at impact rates of strain. II: Constitutive model with rejuvenation. Zbl 1115.74310
Buckley, C. P.; Dooling, P. J.; Harding, J.; Ruiz, C.
4
2004
Functional monadic Heyting algebras. Zbl 1062.06017
Bezhanishvili, Guram; Harding, John
7
2002
The free orthomodular lattice on countably many generators is a subalgebra of the free orthomodular lattice on three generators. Zbl 1061.06019
Harding, John
7
2002
Bounded lattice expansions. Zbl 0988.06003
Gehrke, Mai; Harding, John
99
2001
On the set representation of an orthomodular poset. Zbl 0984.06005
Harding, John; Pták, Pavel
4
2001
Algebraic aspects of orthomodular lattices. Zbl 0955.06003
Bruns, Gunter; Harding, John
30
2000
Embeddings into orthomodular lattices with given centers, state spaces and automorphism groups. Zbl 0974.06003
Harding, John; Navara, Mirko
3
2000
Every lattice with 1 and 0 is embeddable in the lattice of topologies of some set by an embedding which preserves the 1 and 0. Zbl 0943.54001
Harding, John; Pogel, Alex
2
2000
Epimorphisms in certain varieties of algebras. Zbl 0963.06007
Bruns, Gunter; Harding, John
1
2000
Axioms of an experimental system. Zbl 0974.81003
Harding, John
3
1999
Regularity in quantum logic. Zbl 0946.03077
Harding, John
15
1998
Canonical completions of lattices and ortholattices. Zbl 0939.06004
Harding, John
11
1998
Amalgamation of ortholattices. Zbl 0909.06006
Bruns, Gunter; Harding, John
3
1998
A bundle representation for continuous geometries. Zbl 0893.51005
Harding, John; Janowitz, Melvin F.
2
1997
Local Radon-Nikodym derivatives of set functions. Zbl 1232.28020
Harding, John; Marinacci, Massimo; Nguyen, Nhu T.; Wang, Tonghui
2
1997
Decompositions in quantum logic. Zbl 0859.03032
Harding, John
18
1996
Boolean products of lattices. Zbl 0869.06005
Crown, Gary D.; Harding, John; Jankowitz, Melvin F.
3
1996
The MacNeille completion of a uniquely complemented lattice. Zbl 0799.06018
Harding, John
1
1994
Completions of orthomodular lattices. II. Zbl 0804.06012
Harding, John
4
1993
Any lattice can be regularly embedded into the MacNeille completion of a distributive lattice. Zbl 0787.06008
Harding, John
3
1993
Irreducible orthomodular lattices which are simple. Zbl 0767.06008
Harding, John
2
1992
Orthomodular lattices whose MacNeille completions are not orthomodular. Zbl 0749.06006
Harding, John
7
1991
Completions of orthomodular lattices. Zbl 0792.06009
Bruns, Günter; Greechie, Richard J.; Harding, John; Roddy, Michael
12
1990
Boolean factors of orthomodular lattices. Zbl 0655.06007
Harding, J.
1
1988
all top 5

Cited by 332 Authors

41 Harding, John
35 Bezhanishvili, Guram
17 Bezhanishvili, Nick
16 Pták, Pavel
15 Gehrke, Mai
11 Palmigiano, Alessandra
10 Navara, Mirko
9 Ledda, Antonio
9 Morandi, Patrick J.
8 Matoušek, Milan
8 Paoli, Francesco
8 Priestley, Hilary A.
8 Walker, Carol L.
8 Walker, Elbert Abner
7 Foulis, David James
7 Hartonas, Chrysafis
7 Haviar, Miroslav
7 Mashchenko, Sergiĭ Olegovych
7 Pulmannová, Sylvia
7 Xu, Xiaoquan
6 Gouveia, Maria João
6 Hamhalter, Jan
6 Heunen, Chris
6 Hu, Baoqing
6 Liu, Zhiqiang
6 Lucero-Bryan, Joel Gregory
5 Carai, Luca
5 Cubillo, Susana
5 Davey, Brian A.
5 Freytes, Hector
5 Gabelaia, David
5 Jansana, Ramon
5 Torres-Blanc, Carmen
5 van Mill, Jan
5 Venema, Yde
5 Vetterlein, Thomas
5 Wang, Xueping
5 Zhang, Wenfeng
4 Chajda, Ivan
4 Craig, Andrew P. K.
4 De Groot, Jim
4 de Ronde, Christian
4 Domenech, Graciela
4 Giuntini, Roberto
4 Greco, Giuseppe
4 Jibladze, Mamuka A.
4 Riečanová, Zdenka
4 Terui, Kazushige
4 Turilova, Ekaterina A.
4 Wang, Chunyong
3 Bonzio, Stefano
3 Borlido, Célia
3 Burešová, Dominika
3 Ciabattoni, Agata
3 Conradie, Willem
3 De Miguel, Laura
3 Gabriëls, Jeannine J. M.
3 Galatos, Nikolaos
3 Goldblatt, Robert Ian
3 González, Luciano Javier
3 Hansoul, Georges E.
3 Hernández, Pablo
3 Herrmann, Christian
3 Hodkinson, Ian Martin
3 Janowitz, Melvin F.
3 Jenčová, Anna
3 Jipsen, Peter
3 Länger, Helmut M.
3 Lauridsen, Frederik Möllerström
3 Lindenhovius, Bert
3 Metcalfe, George
3 Moraschini, Tommaso
3 Moshier, M. Andrew
3 Mureşan, Claudia
3 Nganou, Jean Bernard
3 Olberding, Bruce M.
3 Rivieccio, Umberto
3 Roddy, Micheale Susan
3 Romanowska, Anna B.
3 Sultanbekov, Foat F.
3 van Gool, Samuel Jacob
3 Vosmaer, Jacob
3 Weber, Hans Josef Karl
2 Bice, Tristan Matthew
2 Bustince Sola, Humberto
2 Campión, María Jesús
2 Candeal, Juan Carlos
2 Chen, Guanrong
2 Chevalier, Georges
2 Ciungu, Lavinia Corina
2 Coumans, Dion C. S.
2 Dahlqvist, Fredrik
2 De Simone, Anna
2 Dunn, Jon Michael
2 Fazio, Davide
2 Fernández Martínez, Manuel
2 Gagola, Stephen M. III
2 Gil-Férez, José
2 Greechie, Richard J.
2 Induráin, Esteban
...and 232 more Authors
all top 5

Cited in 82 Serials

46 Algebra Universalis
34 Order
31 International Journal of Theoretical Physics
27 Fuzzy Sets and Systems
17 Studia Logica
14 Annals of Pure and Applied Logic
11 Mathematica Slovaca
10 Topology and its Applications
10 Applied Categorical Structures
8 The Journal of Symbolic Logic
6 Journal of Pure and Applied Algebra
6 Soft Computing
5 Journal of Mathematical Analysis and Applications
5 Information Sciences
5 Journal of Philosophical Logic
5 Logical Methods in Computer Science
5 The Review of Symbolic Logic
4 Reports on Mathematical Physics
4 Journal of Algebra
4 Theoretical Computer Science
4 MSCS. Mathematical Structures in Computer Science
4 Cybernetics and Systems Analysis
3 Proceedings of the American Mathematical Society
3 Semigroup Forum
3 International Journal of Approximate Reasoning
3 Archive for Mathematical Logic
3 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
2 Bulletin of the Australian Mathematical Society
2 Communications in Mathematical Physics
2 Houston Journal of Mathematics
2 Advances in Applied Mathematics
2 Journal of Applied Non-Classical Logics
2 Topology Proceedings
2 Journal of Intelligent and Fuzzy Systems
2 ACM Transactions on Computational Logic
2 Foundations of Physics
2 Logica Universalis
1 Journal of Mathematical Physics
1 Beiträge zur Algebra und Geometrie
1 Advances in Mathematics
1 Annali di Matematica Pura ed Applicata. Serie Quarta
1 Applied Mathematics and Computation
1 Demonstratio Mathematica
1 Geometriae Dedicata
1 Kybernetika
1 Mathematische Nachrichten
1 Notre Dame Journal of Formal Logic
1 Quaestiones Mathematicae
1 Rendiconti dell’Istituto di Matematica dell’Università di Trieste
1 Ricerche di Matematica
1 Synthese
1 Transactions of the American Mathematical Society
1 Chinese Annals of Mathematics. Series B
1 International Journal of Algebra and Computation
1 International Journal of Computer Mathematics
1 Indagationes Mathematicae. New Series
1 Russian Mathematics
1 Computational and Applied Mathematics
1 Acta Universitatis Matthiae Belii. Series Mathematics
1 Mathematical Logic Quarterly (MLQ)
1 Filomat
1 The Bulletin of Symbolic Logic
1 Positivity
1 Journal of Combinatorial Optimization
1 Journal of Mathematical Logic
1 Fundamenta Informaticae
1 Qualitative Theory of Dynamical Systems
1 Algebra and Discrete Mathematics
1 Journal of Multiple-Valued Logic and Soft Computing
1 Journal of Algebra and its Applications
1 Journal of Applied Logic
1 Journal of Function Spaces and Applications
1 International Journal of Geometric Methods in Modern Physics
1 Journal of Physics A: Mathematical and Theoretical
1 Asian-European Journal of Mathematics
1 Advances in Mathematical Physics
1 Axioms
1 Mathematics
1 Journal of Logical and Algebraic Methods in Programming
1 Philosophical Transactions A. Royal Society of London
1 Korean Journal of Mathematics
1 Journal of Ramanujan Society of Mathematics and Mathematical Sciences

Citations by Year