35 citations · 47 across the 13 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
math.GN2022
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…
math.LO2022★ 3 cited
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…