David Kruml

According to our database, David Kruml authored at least 8 papers between 2002 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2021

Linear orthogonality spaces as a new approach to quantum logic.

Kadir Emir, David Kruml, Jan Paseka, Thomas Vetterlein

Proceedings of the 51st IEEE International Symposium on Multiple-Valued Logic, 2021

2019

On the Coextension of Cut-Continuous Pomonoids.

David Kruml, Jan Paseka, Thomas Vetterlein

Order, 2019

Nuclei and conuclei on Girard posets.

David Kruml, Jan Paseka

Proceedings of the 11th Conference of the European Society for Fuzzy Logic and Technology, 2019

2013

Open projections do not form a right residuated lattice.

David Kruml

Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013

2010

Girard Couples of Quantales.

Jeffrey M. Egger, David Kruml

Appl. Categorical Struct., 2010

2003

On Quantales and Spectra of C^*-Algebras.

David Kruml, Joan Wick Pelletier, Pedro Resende, Jirí Rosický

Appl. Categorical Struct., 2003

Distributive Quantales.

David Kruml

Appl. Categorical Struct., 2003

2002

Spatial Quantales.

David Kruml

Appl. Categorical Struct., 2002