David Kruml

According to our database, David Kruml authored at least 10 papers between 2002 and 2026.

Collaborative distances:

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

2026

Quantales carrying ortholattice structure.

Michal Botur, David Kruml, Jan Paseka

Proceedings of the 56th IEEE International Symposium on Multiple-Valued Logic, 2026

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

Quantile Based Summation of Random Variables.

Kadir Emir, David Kruml, Jan Paseka, Iveta Selingerová

Proceedings of the Joint Proceedings of the 19th World Congress of the International Fuzzy Systems Association (IFSA), 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