31 citations · 44 across the 6 of their papers we have counts for
7 papers
Quantales carrying ortholattice structure
Michal Botur, David Kruml, Jan Paseka
This paper investigates the intersection of residuated structures from many-valued logic and orthomodular lattices from quantum logic. We explore whether non-Boolean structures can…
Linear orthogonality spaces as a new approach to quantum logic
Kadir Emir, David Kruml, Jan Paseka +1
The notion of an orthogonality space was recently rediscovered as an effective means to characterise the essential properties of quantum logic. The approach can be considered as mi…
Girard couples of quantales
J. M. Egger, David Kruml
We introduce the concept of a Girard couple, which consists of two (not necessarily unital) quantales linked by a strong form of duality. The two basic examples of Girard couples a…
Quantum triads: an algebraic approach
David Kruml
A concept of quantum triad and its solution is introduced. It represents a common framework for several situations where we have a quantale with a right module and a left module, p…
On quantales that classify C*-algebras
David Kruml, Pedro Resende
The functor Max of Mulvey assigns to each unital C*-algebra A the unital involutive quantale Max A of closed linear subspaces of A, and it has been remarked that it classifies unit…
On quantales and spectra of C*-algebras
David Kruml, Joan Wick Pelletier, Pedro Resende +1
We study properties of the quantale spectrum Max A of an arbitrary unital C*-algebra A. In particular we show that the spatialization of Max A with respect to one of the notions of…