John Harding

From MaRDI portal


List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Completely hereditarily atomic OMLS
Mathematica Slovaca
2024-11-06Paper
Completely hereditarily atomic OMLs
 
2023-08-16Paper
Orthogeometries and AW*-algebras
 
2023-04-14Paper
Remarks on hyperspaces for Priestley spaces
Theoretical Computer Science
2023-01-05Paper
Lüders rule and conditional probability for commuting events
 
2022-10-25Paper
Remarks on Hyperspaces for Priestley Spaces
 
2022-07-07Paper
Completions of pseudo ordered sets
Order
2022-05-23Paper
scientific article; zbMATH DE number 7465766 (Why is no real title available?)
 
2022-01-28Paper
Hyper-MacNeille completions of Heyting algebras
Studia Logica
2021-12-27Paper
Canonical extensions, free completely distributive lattices, and complete retracts
Algebra Universalis
2021-12-08Paper
Logical aspects of quantum structures
 
2021-08-22Paper
Raney algebras and duality for \(T_0\)-spaces
Applied Categorical Structures
2021-05-11Paper
Topos quantum theory with short posets
Order
2021-04-16Paper
The Fell compactification of a poset
Statistical and Fuzzy Approaches to Data Processing, with Applications to Econometrics and Other Areas
2020-10-16Paper
Boolean subalgebras of orthoalgebras
Order
2019-12-13Paper
Compact Hausdorff spaces with relations and Gleason spaces
Applied Categorical Structures
2019-12-06Paper
Orthogeometries and AW*-algebras
 
2019-08-29Paper
Modularity is not canonical
Algebra Universalis
2019-02-08Paper
Wigner's theorem for an infinite set
Mathematica Slovaca
2018-11-27Paper
MacNeille transferability and stable classes of Heyting algebras
Algebra Universalis
2018-10-30Paper
A topos view of the type-2 fuzzy truth value algebra
 
2018-10-17Paper
The convolution algebra
Algebra Universalis
2018-07-16Paper
Dynamics in the decompositions approach to quantum mechanics
International Journal of Theoretical Physics
2018-02-05Paper
Equations in type-2 fuzzy sets
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
2018-01-11Paper
Varieties of Birkhoff systems. I
Order
2017-04-20Paper
Varieties of Birkhoff systems. II
Order
2017-04-20Paper
Type-2 fuzzy sets and bichains
Advances in Type-2 Fuzzy Sets and Systems
2017-04-10Paper
Sections in orthomodular structures of decompositions
 
2017-02-17Paper
The Convolution Algebra
 
2017-02-09Paper
Compact Hausdorff Heyting algebras
Algebra Universalis
2016-11-01Paper
Automorphisms of decompositions
Mathematica Slovaca
2016-10-05Paper
Abelian subalgebras and the Jordan structure of a von Neumann algebra
Houston Journal of Mathematics
2016-09-30Paper
On the proof that compact Hausdorff Boolean algebras are powersets
Order
2016-08-24Paper
Categories with fuzzy sets and relations
Fuzzy Sets and Systems
2016-04-29Paper
The truth value algebra of type-2 fuzzy sets. Order convolutions of functions on the unit interval
 
2016-02-04Paper
The logic of bundles
International Journal of Theoretical Physics
2016-01-13Paper
Partial orders on fuzzy truth value algebras
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
2015-11-04Paper
Modal operators on compact regular frames and de Vries algebras.
Applied Categorical Structures
2015-06-19Paper
Modal compact Hausdorff spaces
Journal Of Logic And Computation
2015-02-26Paper
Proximity frames and regularization.
Applied Categorical Structures
2014-06-24Paper
scientific article; zbMATH DE number 6308021 (Why is no real title available?)
 
2014-06-24Paper
Daggers, kernels, Baer *-semigroups, and orthomodularity
Journal of Philosophical Logic
2013-08-09Paper
Decidability of the equational theory of the continuous geometry \(\mathrm{CG}(\mathbb F)\)
Journal of Philosophical Logic
2013-08-09Paper
scientific article; zbMATH DE number 6135972 (Why is no real title available?)
 
2013-02-13Paper
A Boolean topological orthomodular poset
Algebra Universalis
2013-01-30Paper
Projective bichains
Algebra Universalis
2012-09-27Paper
Modal logics of Stone spaces
Order
2012-07-31Paper
Subalgebras of orthomodular lattices
Order
2011-12-13Paper
Drag on a fibre in a counterflow air stream
PAMM
2010-12-15Paper
Convex normal functions revisited
Fuzzy Sets and Systems
2010-05-07Paper
The variety generated by the truth value algebra of type-2 fuzzy sets
Fuzzy Sets and Systems
2010-03-18Paper
Hausdorff dimension of self-similar sets with overlaps
Science in China. Series A
2009-12-07Paper
A link between quantum logic and categorical quantum mechanics
International Journal of Theoretical Physics
2009-10-09Paper
Lattices of convex normal functions
Fuzzy Sets and Systems
2009-08-28Paper
The modal logic of \({\beta(\mathbb{N})}\)
Archive for Mathematical Logic
2009-05-06Paper
scientific article; zbMATH DE number 5365721 (Why is no real title available?)
 
2008-11-13Paper
\(\kappa\)-complete uniquely complemented lattices
Order
2008-09-09Paper
scientific article; zbMATH DE number 5295854 (Why is no real title available?)
 
2008-07-01Paper
The source of the orthomodular law
 
2007-11-27Paper
MacNeille completions of modal algebras
 
2007-07-09Paper
On profinite completions and canonical extensions
Algebra Universalis
2007-01-29Paper
Orthomodularity of decompositions in a categorical setting
International Journal of Theoretical Physics
2006-09-28Paper
MacNeille completions and canonical extensions
Transactions of the American Mathematical Society
2005-11-09Paper
scientific article; zbMATH DE number 2209493 (Why is no real title available?)
 
2005-09-28Paper
Functional monadic Heyting algebras.
Algebra Universalis
2005-04-19Paper
The free orthomodular lattice on countably many generators is a subalgebra of the free orthomodular lattice on three generators.
Algebra Universalis
2005-04-19Paper
Remarks on concrete orthomodular lattices
International Journal of Theoretical Physics
2005-04-18Paper
Obituary: Günter Bruns
Order
2005-04-07Paper
scientific article; zbMATH DE number 2138212 (Why is no real title available?)
 
2005-02-24Paper
States on orthomodular posets of decompositions
International Journal of Theoretical Physics
2003-09-21Paper
Bounded lattice expansions
Journal of Algebra
2002-07-10Paper
On the set representation of an orthomodular poset
Colloquium Mathematicum
2001-12-11Paper
Embeddings into orthomodular lattices with given centers, state spaces and automorphism groups
Order
2001-12-07Paper
Epimorphisms in certain varieties of algebras
Order
2001-06-28Paper
scientific article; zbMATH DE number 1512853 (Why is no real title available?)
 
2001-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 0
Topology and its Applications
2000-07-11Paper
Regularity in quantum logic
International Journal of Theoretical Physics
2000-06-04Paper
scientific article; zbMATH DE number 1453805 (Why is no real title available?)
 
2000-05-30Paper
Axioms of an experimental system
International Journal of Theoretical Physics
1999-11-18Paper
Amalgamation of ortholattices
Order
1999-03-28Paper
A bundle representation for continuous geometries
Advances in Applied Mathematics
1998-08-24Paper
Boolean products of lattices
Order
1997-08-25Paper
scientific article; zbMATH DE number 1002076 (Why is no real title available?)
 
1997-08-25Paper
Decompositions in Quantum Logic
Transactions of the American Mathematical Society
1996-08-11Paper
The Macneille Completion of a Uniquely Complemented Lattice
Canadian Mathematical Bulletin
1994-10-09Paper
Completions of orthomodular lattices
Order
1994-07-26Paper
Completions of orthomodular lattices. II
Order
1994-03-27Paper
scientific article; zbMATH DE number 411708 (Why is no real title available?)
 
1993-09-15Paper
Irreducible orthomodular lattices which are simple
Algebra Universalis
1993-05-16Paper
Orthomodular lattices whose MacNeille completions are not orthomodular
Order
1992-06-27Paper
Boolean factors of orthomodular lattices
Algebra Universalis
1988-01-01Paper


Research outcomes over time


This page was built for person: John Harding