John Harding

From MaRDI portal
Person:172076

Available identifiers

zbMath Open harding.johnMaRDI QIDQ172076

List of research outcomes

PublicationDate of PublicationType
Completely hereditarily atomic OMLs2023-08-16Paper
https://portal.mardi4nfdi.de/entity/Q58878782023-04-14Paper
Remarks on hyperspaces for Priestley spaces2023-01-05Paper
Lüders rule and conditional probability for commuting events2022-10-25Paper
Remarks on Hyperspaces for Priestley Spaces2022-07-07Paper
Completions of pseudo ordered sets2022-05-23Paper
https://portal.mardi4nfdi.de/entity/Q50240582022-01-28Paper
Hyper-MacNeille completions of Heyting algebras2021-12-27Paper
Canonical extensions, free completely distributive lattices, and complete retracts2021-12-08Paper
Logical aspects of quantum structures2021-08-22Paper
Raney algebras and duality for \(T_0\)-spaces2021-05-11Paper
Topos quantum theory with short posets2021-04-16Paper
The Fell Compactification of a Poset2020-10-16Paper
Boolean subalgebras of orthoalgebras2019-12-13Paper
Compact Hausdorff spaces with relations and Gleason spaces2019-12-06Paper
Orthogeometries and AW*-algebras2019-08-29Paper
Modularity is not canonical2019-02-08Paper
Wigner's theorem for an infinite set2018-11-27Paper
MacNeille transferability and stable classes of Heyting algebras2018-10-30Paper
A topos view of the type-2 fuzzy truth value algebra2018-10-17Paper
The convolution algebra2018-07-16Paper
Dynamics in the decompositions approach to quantum mechanics2018-02-05Paper
Equations in Type-2 Fuzzy Sets2018-01-11Paper
Varieties of Birkhoff systems. I2017-04-20Paper
Varieties of Birkhoff systems. II2017-04-20Paper
Type-2 Fuzzy Sets and Bichains2017-04-10Paper
Sections in orthomodular structures of decompositions2017-02-17Paper
The Convolution Algebra2017-02-09Paper
Compact Hausdorff Heyting algebras2016-11-01Paper
Automorphisms of decompositions2016-10-05Paper
Abelian subalgebras and the Jordan structure of a von Neumann algebra2016-09-30Paper
On the proof that compact Hausdorff Boolean algebras are powersets2016-08-24Paper
Categories with fuzzy sets and relations2016-04-29Paper
The Truth Value Algebra of Type-2 Fuzzy Sets2016-02-04Paper
The logic of bundles2016-01-13Paper
Partial Orders on Fuzzy Truth Value Algebras2015-11-04Paper
Modal operators on compact regular frames and de Vries algebras.2015-06-19Paper
Modal compact Hausdorff spaces2015-02-26Paper
Proximity frames and regularization.2014-06-24Paper
https://portal.mardi4nfdi.de/entity/Q49815462014-06-24Paper
Daggers, kernels, Baer *-semigroups, and orthomodularity2013-08-09Paper
Decidability of the equational theory of the continuous geometry \(\mathrm{CG}(\mathbb F)\)2013-08-09Paper
https://portal.mardi4nfdi.de/entity/Q49049552013-02-13Paper
A Boolean topological orthomodular poset2013-01-30Paper
Projective bichains2012-09-27Paper
Modal logics of Stone spaces2012-07-31Paper
Subalgebras of orthomodular lattices2011-12-13Paper
Drag on a fibre in a counterflow air stream2010-12-15Paper
Convex normal functions revisited2010-05-07Paper
The variety generated by the truth value algebra of type-2 fuzzy sets2010-03-18Paper
Hausdorff dimension of self-similar sets with overlaps2009-12-07Paper
A link between quantum logic and categorical quantum mechanics2009-10-09Paper
Lattices of convex normal functions2009-08-28Paper
The modal logic of \({\beta(\mathbb{N})}\)2009-05-06Paper
https://portal.mardi4nfdi.de/entity/Q35356612008-11-13Paper
\(\kappa\)-complete uniquely complemented lattices2008-09-09Paper
https://portal.mardi4nfdi.de/entity/Q35092092008-07-01Paper
https://portal.mardi4nfdi.de/entity/Q54278742007-11-27Paper
https://portal.mardi4nfdi.de/entity/Q52939932007-07-09Paper
On profinite completions and canonical extensions2007-01-29Paper
Orthomodularity of decompositions in a categorical setting2006-09-28Paper
MacNeille completions and canonical extensions2005-11-09Paper
https://portal.mardi4nfdi.de/entity/Q56924832005-09-28Paper
Functional monadic Heyting algebras.2005-04-19Paper
The free orthomodular lattice on countably many generators is a subalgebra of the free orthomodular lattice on three generators.2005-04-19Paper
Remarks on concrete orthomodular lattices2005-04-18Paper
Obituary: Günter Bruns2005-04-07Paper
https://portal.mardi4nfdi.de/entity/Q46520572005-02-24Paper
States on orthomodular posets of decompositions2003-09-21Paper
Bounded lattice expansions2002-07-10Paper
On the set representation of an orthomodular poset2001-12-11Paper
Embeddings into orthomodular lattices with given centers, state spaces and automorphism groups2001-12-07Paper
Epimorphisms in certain varieties of algebras2001-06-28Paper
https://portal.mardi4nfdi.de/entity/Q45085512001-02-22Paper
Every lattice with 1 and 0 is embeddable in the lattice of topologies of some set by an embedding which preserves the 1 and 02000-07-11Paper
Regularity in quantum logic2000-06-04Paper
https://portal.mardi4nfdi.de/entity/Q49556002000-05-30Paper
Axioms of an experimental system1999-11-18Paper
Amalgamation of ortholattices1999-03-28Paper
A bundle representation for continuous geometries1998-08-24Paper
Boolean products of lattices1997-08-25Paper
https://portal.mardi4nfdi.de/entity/Q31298571997-08-25Paper
Decompositions in Quantum Logic1996-08-11Paper
The Macneille Completion of a Uniquely Complemented Lattice1994-10-09Paper
Completions of orthomodular lattices1994-07-26Paper
Completions of orthomodular lattices. II1994-03-27Paper
https://portal.mardi4nfdi.de/entity/Q31347941993-09-15Paper
Irreducible orthomodular lattices which are simple1993-05-16Paper
Orthomodular lattices whose MacNeille completions are not orthomodular1992-06-27Paper
Boolean factors of orthomodular lattices1988-01-01Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: John Harding