John Harding

From MaRDI portal
Person:172076

Available identifiers

zbMath Open harding.johnMaRDI QIDQ172076

List of research outcomes





PublicationDate of PublicationType
Completely hereditarily atomic OMLS2024-11-06Paper
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

This page was built for person: John Harding