×
Compute Distance To:
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

67 Publications have been cited 475 times in 319 Documents Cited by Year
Bounded lattice expansions. Zbl 0988.06003
Gehrke, Mai; Harding, John
86
2001
Algebraic aspects of orthomodular lattices. Zbl 0955.06003
Bruns, Gunter; Harding, John
23
2000
Lattices of convex normal functions. Zbl 1176.03033
Harding, John; Walker, Carol; Walker, Elbert
22
2008
MacNeille completions and canonical extensions. Zbl 1083.06009
Gehrke, Mai; Harding, John; Venema, Yde
21
2006
The variety generated by the truth value algebra of type-2 fuzzy sets. Zbl 1192.03051
Harding, John; Walker, Carol; Walker, Elbert
20
2010
MacNeille completions of Heyting algebras. Zbl 1066.06005
Harding, John; Bezhanishvili, Guram
18
2004
Decompositions in quantum logic. Zbl 0859.03032
Harding, John
17
1996
Convex normal functions revisited. Zbl 1193.03077
Harding, John; Walker, Carol; Walker, Elbert
17
2010
Completions of orthomodular lattices. Zbl 0792.06009
Bruns, Günter; Greechie, Richard J.; Harding, John; Roddy, Michael
12
1990
Regularity in quantum logic. Zbl 0946.03077
Harding, John
12
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.
11
2016
On profinite completions and canonical extensions. Zbl 1134.06004
Harding, John
11
2006
Canonical completions of lattices and ortholattices. Zbl 0939.06004
Harding, John
10
1998
Abelian subalgebras and the Jordan structure of a von Neumann algebra. Zbl 1360.46052
Döring, Andreas; Harding, John
10
2016
A link between quantum logic and categorical quantum mechanics. Zbl 1180.81006
Harding, John
10
2009
Proximity frames and regularization. Zbl 1316.06009
Bezhanishvili, Guram; Harding, John
8
2014
Remarks on concrete orthomodular lattices. Zbl 1073.06002
Harding, John
7
2004
Functional monadic Heyting algebras. Zbl 1062.06017
Bezhanishvili, Guram; Harding, John
6
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
6
2002
Modal logics of Stone spaces. Zbl 1259.03030
Bezhanishvili, Guram; Harding, John
6
2012
Orthomodular lattices whose MacNeille completions are not orthomodular. Zbl 0749.06006
Harding, John
6
1991
Completions of ordered algebraic structures: a survey. Zbl 1151.06012
Harding, John
6
2008
Orthomodularity of decompositions in a categorical setting. Zbl 1102.81017
Harding, John
6
2006
Subalgebras of orthomodular lattices. Zbl 1232.06016
Harding, John; Navara, Mirko
6
2011
Group-valued measures on the lattice of closed subspaces of a Hilbert space. Zbl 1130.81306
Harding, John; Jager, Ekaterina; Smith, Derek
5
2005
Projective bichains. Zbl 1259.06005
Harding, John; Walker, Carol; Walker, Elbert
5
2012
The modal logic of \({\beta(\mathbb{N})}\). Zbl 1169.03018
Bezhanishvili, Guram; Harding, John
5
2009
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
Varieties of Birkhoff systems. II. Zbl 1362.08003
Harding, John; Romanowska, Anna B.
5
2017
Modal compact Hausdorff spaces. Zbl 1382.03089
Bezhanishvili, Guram; Bezhanishvili, Nick; Harding, John
5
2015
Raney algebras and duality for \(T_0\)-spaces. Zbl 1464.54016
Bezhanishvili, G.; Harding, J.
4
2020
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
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
Stable compactifications of frames. Zbl 1315.06010
Bezhanishvili, Guram; Harding, John
4
2014
Any lattice can be regularly embedded into the MacNeille completion of a distributive lattice. Zbl 0787.06008
Harding, John
3
1993
A regular completion for the variety generated by the three-element Heyting algebra. Zbl 1229.06001
Harding, John
3
2008
Hausdorff dimension of self-similar sets with overlaps. Zbl 1178.28005
Deng, QiRong; Harding, John; Hu, TianYou
3
2009
Boolean products of lattices. Zbl 0869.06005
Crown, Gary D.; Harding, John; Jankowitz, Melvin F.
3
1996
Axioms of an experimental system. Zbl 0974.81003
Harding, John
3
1999
Amalgamation of ortholattices. Zbl 0909.06006
Bruns, Gunter; Harding, John
3
1998
Partial orders on fuzzy truth value algebras. Zbl 1325.03079
Harding, John; Walker, Carol; Walker, Elbert
3
2015
Decidability of the equational theory of the continuous geometry \(\mathrm{CG}(\mathbb F)\). Zbl 1345.03022
Harding, John
3
2013
MacNeille completions of modal algebras. Zbl 1124.06007
Bezhanishvili, Guram; Harding, John
3
2007
Boolean subalgebras of orthoalgebras. Zbl 1442.06003
Harding, John; Heunen, Chris; Lindenhovius, Bert; Navara, Mirko
2
2019
The convolution algebra. Zbl 06904418
Harding, John; Walker, Carol; Walker, Elbert
2
2018
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
Embeddings into orthomodular lattices with given centers, state spaces and automorphism groups. Zbl 0974.06003
Harding, John; Navara, Mirko
2
2000
Compact Hausdorff Heyting algebras. Zbl 1352.06008
Bezhanishvili, Guram; Harding, John
2
2016
Automorphisms of decompositions. Zbl 1374.81006
Hannan, Tim; Harding, John
2
2016
Sections in orthomodular structures of decompositions. Zbl 1400.06003
Harding, John; Yang, Taewon
2
2016
Irreducible orthomodular lattices which are simple. Zbl 0767.06008
Harding, John
2
1992
Categories with fuzzy sets and relations. Zbl 1335.03051
Harding, John; Walker, Carol; Walker, Elbert
2
2014
Local Radon-Nikodym derivatives of set functions. Zbl 1232.28020
Harding, John; Marinacci, Massimo; Nguyen, Nhu T.; Wang, Tonghui
2
1997
Canonical extensions, free completely distributive lattices, and complete retracts. Zbl 07441050
Bezhanishvili, Guram; Harding, John; Jibladze, Mamuka
2
2021
The MacNeille completion of a uniquely complemented lattice. Zbl 0799.06018
Harding, John
1
1994
A bundle representation for continuous geometries. Zbl 0893.51005
Harding, John; Janowitz, Melvin F.
1
1997
Epimorphisms in certain varieties of algebras. Zbl 0963.06007
Bruns, Gunter; Harding, John
1
2000
Boolean factors of orthomodular lattices. Zbl 0655.06007
Harding, J.
1
1988
The logic of bundles. Zbl 1329.81096
Harding, John; Yang, Taewon
1
2015
Modal operators on compact regular frames and de Vries algebras. Zbl 1321.06007
Bezhanishvili, Guram; Bezhanishvili, Nick; Harding, John
1
2015
Dynamics in the decompositions approach to quantum mechanics. Zbl 1387.81233
Harding, John
1
2017
Type-2 fuzzy sets and bichains. Zbl 1364.03073
Harding, John; Walker, Carol L.; Walker, Elbert
1
2013
MacNeille transferability and stable classes of Heyting algebras. Zbl 1472.06009
Bezhanishvili, Guram; Harding, John; Ilin, Julia; Lauridsen, Frederik Möllerström
1
2018
Wigner’s theorem for an infinite set. Zbl 06985702
Harding, John
1
2018
Canonical extensions, free completely distributive lattices, and complete retracts. Zbl 07441050
Bezhanishvili, Guram; Harding, John; Jibladze, Mamuka
2
2021
Raney algebras and duality for \(T_0\)-spaces. Zbl 1464.54016
Bezhanishvili, G.; Harding, J.
4
2020
Boolean subalgebras of orthoalgebras. Zbl 1442.06003
Harding, John; Heunen, Chris; Lindenhovius, Bert; Navara, Mirko
2
2019
The convolution algebra. Zbl 06904418
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
1
2018
Wigner’s theorem for an infinite set. Zbl 06985702
Harding, John
1
2018
Varieties of Birkhoff systems. I. Zbl 1362.08002
Harding, John; Romanowska, Anna B.
5
2017
Varieties of Birkhoff systems. II. Zbl 1362.08003
Harding, John; Romanowska, Anna B.
5
2017
Dynamics in the decompositions approach to quantum mechanics. Zbl 1387.81233
Harding, John
1
2017
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.
11
2016
Abelian subalgebras and the Jordan structure of a von Neumann algebra. Zbl 1360.46052
Döring, Andreas; Harding, John
10
2016
On the proof that compact Hausdorff Boolean algebras are powersets. Zbl 1356.06011
Bezhanishvili, Guram; Harding, John
4
2016
Compact Hausdorff Heyting algebras. Zbl 1352.06008
Bezhanishvili, Guram; Harding, John
2
2016
Automorphisms of decompositions. Zbl 1374.81006
Hannan, Tim; 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
5
2015
Partial orders on fuzzy truth value algebras. Zbl 1325.03079
Harding, John; Walker, Carol; Walker, Elbert
3
2015
The logic of bundles. Zbl 1329.81096
Harding, John; Yang, Taewon
1
2015
Modal operators on compact regular frames and de Vries algebras. Zbl 1321.06007
Bezhanishvili, Guram; Bezhanishvili, Nick; Harding, John
1
2015
Proximity frames and regularization. Zbl 1316.06009
Bezhanishvili, Guram; Harding, John
8
2014
Stable compactifications of frames. Zbl 1315.06010
Bezhanishvili, Guram; Harding, John
4
2014
Categories with fuzzy sets and relations. Zbl 1335.03051
Harding, John; Walker, Carol; Walker, Elbert
2
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
6
2011
The variety generated by the truth value algebra of type-2 fuzzy sets. Zbl 1192.03051
Harding, John; Walker, Carol; Walker, Elbert
20
2010
Convex normal functions revisited. Zbl 1193.03077
Harding, John; Walker, Carol; Walker, Elbert
17
2010
A link between quantum logic and categorical quantum mechanics. Zbl 1180.81006
Harding, John
10
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
22
2008
Completions of ordered algebraic structures: a survey. Zbl 1151.06012
Harding, John
6
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
3
2007
MacNeille completions and canonical extensions. Zbl 1083.06009
Gehrke, Mai; Harding, John; Venema, Yde
21
2006
On profinite completions and canonical extensions. Zbl 1134.06004
Harding, John
11
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
18
2004
Remarks on concrete orthomodular lattices. Zbl 1073.06002
Harding, John
7
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
6
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
6
2002
Bounded lattice expansions. Zbl 0988.06003
Gehrke, Mai; Harding, John
86
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
23
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
Embeddings into orthomodular lattices with given centers, state spaces and automorphism groups. Zbl 0974.06003
Harding, John; Navara, Mirko
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
12
1998
Canonical completions of lattices and ortholattices. Zbl 0939.06004
Harding, John
10
1998
Amalgamation of ortholattices. Zbl 0909.06006
Bruns, Gunter; Harding, John
3
1998
Local Radon-Nikodym derivatives of set functions. Zbl 1232.28020
Harding, John; Marinacci, Massimo; Nguyen, Nhu T.; Wang, Tonghui
2
1997
A bundle representation for continuous geometries. Zbl 0893.51005
Harding, John; Janowitz, Melvin F.
1
1997
Decompositions in quantum logic. Zbl 0859.03032
Harding, John
17
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
6
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 285 Authors

40 Harding, John
29 Bezhanishvili, Guram
13 Bezhanishvili, Nick
13 Gehrke, Mai
13 Pták, Pavel
10 Navara, Mirko
9 Palmigiano, Alessandra
8 Priestley, Hilary A.
8 Walker, Carol L.
8 Walker, Elbert Abner
7 Foulis, David James
7 Haviar, Miroslav
7 Matoušek, Milan
7 Morandi, Patrick J.
7 Xu, Xiaoquan
6 Gouveia, Maria João
6 Heunen, Chris
6 Hu, Baoqing
6 Ledda, Antonio
6 Lucero-Bryan, Joel Gregory
6 Paoli, Francesco
5 Davey, Brian A.
5 Freytes, Hector
5 Hartonas, Chrysafis
5 Jansana, Ramon
5 Liu, Zhiqiang
5 Mashchenko, Sergiĭ Olegovych
5 Pulmannová, Sylvia
5 van Mill, Jan
5 Zhang, Wenfeng
4 Chajda, Ivan
4 Cubillo, Susana
4 de Ronde, Christian
4 Domenech, Graciela
4 Gabelaia, David
4 Giuntini, Roberto
4 Hamhalter, Jan
4 Terui, Kazushige
4 Torres-Blanc, Carmen
4 Wang, Chunyong
3 Bonzio, Stefano
3 Ciabattoni, Agata
3 Conradie, Willem
3 Craig, Andrew P. K.
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 Jibladze, Mamuka A.
3 Jipsen, Peter
3 Länger, Helmut M.
3 Lauridsen, Frederik Möllerström
3 Moshier, M. Andrew
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 Venema, Yde
3 Vetterlein, Thomas
3 Vosmaer, Jacob
3 Weber, Hans Josef Karl
2 Borlido, Célia
2 Campión, María Jesús
2 Candeal, Juan Carlos
2 Carai, Luca
2 Chevalier, Georges
2 Ciungu, Lavinia Corina
2 Coumans, Dion C. S.
2 Dahlqvist, Fredrik
2 De Simone, Anna
2 Dunn, Jon Michael
2 Fernández Martínez, Manuel
2 Gagola, Stephen M. III
2 Gil-Férez, José
2 Greco, Giuseppe
2 Greechie, Richard J.
2 Holliday, Wesley H.
2 Induráin, Esteban
2 Janowitz, Melvin F.
2 Jenča, Gejza
2 Kapustian, D. O.
2 Liang, Fei
2 Lindenhovius, Bert
2 Loi, Andrea
2 Ma, Minghui
2 Marra, Vincenzo
2 Maruyama, Yoshihiro
2 Mclean, Brett
2 Metcalfe, George
2 Moraschini, Tommaso
2 Morton, Wilmari
2 Paseka, Jan
...and 185 more Authors
all top 5

Cited in 73 Serials

44 Algebra Universalis
31 Order
23 International Journal of Theoretical Physics
23 Fuzzy Sets and Systems
16 Studia Logica
12 Annals of Pure and Applied Logic
10 Mathematica Slovaca
10 Applied Categorical Structures
8 Topology and its Applications
6 Journal of Pure and Applied Algebra
6 The Journal of Symbolic Logic
6 Soft Computing
5 Information Sciences
5 Journal of Philosophical Logic
4 Journal of Mathematical Analysis and Applications
4 Reports on Mathematical Physics
4 Journal of Algebra
4 MSCS. Mathematical Structures in Computer Science
4 Logical Methods in Computer Science
3 Proceedings of the American Mathematical Society
3 Semigroup Forum
3 Theoretical Computer Science
3 International Journal of Approximate Reasoning
3 Archive for Mathematical Logic
3 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
3 The Review of Symbolic Logic
2 Bulletin of the Australian Mathematical Society
2 Communications in Mathematical Physics
2 Advances in Applied Mathematics
2 Cybernetics and Systems Analysis
2 Journal of Applied Non-Classical Logics
2 Journal of Intelligent and Fuzzy Systems
2 Foundations of 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 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 Topology Proceedings
1 Mathematical Logic Quarterly (MLQ)
1 Filomat
1 The Bulletin of Symbolic Logic
1 Positivity
1 Journal of Combinatorial Optimization
1 Fundamenta Informaticae
1 Qualitative Theory of Dynamical Systems
1 Algebra and Discrete Mathematics
1 ACM Transactions on Computational Logic
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 Logica Universalis
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