Harding, John

Compute Distance To:
 Author ID: harding.john Published as: Harding, John; Harding, J. Homepage: https://wordpress.nmsu.edu/hardingj/ External Links: MGP
 Documents Indexed: 84 Publications since 1988, including 1 Book 1 Contribution as Editor Co-Authors: 36 Co-Authors with 57 Joint Publications 585 Co-Co-Authors
all top 5

Co-Authors

 27 single-authored 18 Bezhanishvili, Guram 11 Walker, Carol L. 11 Walker, Elbert Abner 4 Bruns, Gunter 3 Gehrke, Mai 3 Navara, Mirko 2 Bezhanishvili, Nick 2 Heunen, Chris 2 Janowitz, Melvin F. 2 Jibladze, Mamuka A. 2 Lauridsen, Frederik Möllerström 2 Roddy, Micheale Susan 2 Romanowska, Anna B. 2 Yang, Taewon 1 Buckley, C. Paul 1 Crown, Gary D. 1 Cruz-Quinones, Maria D. 1 Deng, Qirong 1 Dooling, P. J. 1 Döring, Andreas 1 Gabelaia, David 1 Greechie, Richard J. 1 Hannan, Tim 1 Hu, TianYou 1 Ilin, Julia 1 Jager, Ekaterina 1 Kastermans, Bart 1 Kearnes, Keith A. 1 Lindenhovius, Bert 1 Marinacci, Massimo 1 Monk, James Donald 1 Pogel, Alex J. 1 Pták, Pavel 1 Redmond, Brendan 1 Szendrei, Ágnes 1 Venema, Yde 1 Wang, Tonghui 1 Yang, Qin
all top 5

Serials

 18 Order 12 Algebra Universalis 9 International Journal of Theoretical Physics 8 Houston Journal of Mathematics 4 Fuzzy Sets and Systems 4 Applied Categorical Structures 3 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 2 Journal of Philosophical Logic 2 Mathematica Slovaca 2 Transactions of the American Mathematical Society 1 Journal of the Mechanics and Physics of Solids 1 Canadian Mathematical Bulletin 1 Colloquium Mathematicum 1 Journal of Algebra 1 Studia Logica 1 Topology and its Applications 1 Advances in Applied Mathematics 1 Science in China. Series A 1 Journal of Logic and Computation 1 Archive for Mathematical Logic 1 Tatra Mountains Mathematical Publications 1 Topology Proceedings 1 Cahiers de Topologie et Géométrie Différentielle Catégoriques 1 PAMM. Proceedings in Applied Mathematics and Mechanics 1 Monographs and Research Notes in Mathematics
all top 5

Fields

 67 Order, lattices, ordered algebraic structures (06-XX) 34 Mathematical logic and foundations (03-XX) 20 Quantum theory (81-XX) 12 General topology (54-XX) 10 General algebraic systems (08-XX) 8 Category theory; homological algebra (18-XX) 4 Functional analysis (46-XX) 2 Measure and integration (28-XX) 2 Geometry (51-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 Combinatorics (05-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Associative rings and algebras (16-XX) 1 Nonassociative rings and algebras (17-XX) 1 Group theory and generalizations (20-XX) 1 Topological groups, Lie groups (22-XX) 1 Operator theory (47-XX) 1 Computer science (68-XX) 1 Mechanics of deformable solids (74-XX) 1 Fluid mechanics (76-XX)

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

Cited in 28 Fields

 197 Order, lattices, ordered algebraic structures (06-XX) 172 Mathematical logic and foundations (03-XX) 60 Quantum theory (81-XX) 40 General topology (54-XX) 29 General algebraic systems (08-XX) 27 Category theory; homological algebra (18-XX) 23 Functional analysis (46-XX) 19 Computer science (68-XX) 12 Measure and integration (28-XX) 6 Associative rings and algebras (16-XX) 6 Group theory and generalizations (20-XX) 4 Topological groups, Lie groups (22-XX) 4 Geometry (51-XX) 3 Combinatorics (05-XX) 3 Number theory (11-XX) 3 Commutative algebra (13-XX) 3 Nonassociative rings and algebras (17-XX) 3 Operations research, mathematical programming (90-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 General and overarching topics; collections (00-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 2 Dynamical systems and ergodic theory (37-XX) 2 Operator theory (47-XX) 2 Information and communication theory, circuits (94-XX) 1 History and biography (01-XX) 1 Real functions (26-XX) 1 Several complex variables and analytic spaces (32-XX) 1 Convex and discrete geometry (52-XX)