35 citations · 47 across the 13 of their papers we have counts for
16 papers
From orthoposets to orthomodular posets
John Harding, Gejza Jenda, Bert Lindenhovius
We show that the category of orthomodular posets is a full coreflective subcategory of the category of strong orthoposets, those orthoposets in which any two orthogonal elements ha…
Completely hereditarily atomic OMLs
John Harding, Andre Kornell
An irreducible complete atomic OML of infinite height cannot both be algebraic and have the covering property. However, Kalmbach's construction provides an example of such an OML t…
Remarks on Hyperspaces for Priestley Spaces
G. Bezhanishvili, J. Harding, P. J. Morandi
The Vietoris space of a Stone space plays an important role in the coalgebraic approach to modal logic. When generalizing this to positive modal logic, there is a variety of releva…
Quantum monadic algebras
John Harding
We introduce quantum monadic and quantum cylindric algebras. These are adaptations to the quantum setting of the monadic algebras of Halmos, and cylindric algebras of Henkin, Monk…
Logical aspects of quantum structures
John Harding, Zhenghan Wang
We survey several problems related to logical aspects of quantum structures. In particular, we consider problems related to completions, decidability and axiomatizability, and embe…
Hyper-MacNeille Completions of Heyting algebras
John Harding, Frederik Lauridsen
A Heyting algebra is supplemented if each element has a dual pseudo-complement , and a Heyting algebra is centrally supplement if it is supplemented and each supplement is…