David Kruml

Publication Activity (10 Years)

Years Active: 2002-2021
Publications (10 Years): 3

Top Topics

Microscopic Images

Quantum Inspired

Continuous Data

Predicate Logic

Top Venues

Publications

Kadir Emir, David Kruml, Jan Paseka, Thomas Vetterlein
Linear orthogonality spaces as a new approach to quantum logic. ISMVL (2021)
David Kruml, Jan Paseka
Nuclei and conuclei on Girard posets. EUSFLAT Conf. (2019)
David Kruml, Jan Paseka, Thomas Vetterlein
On the Coextension of Cut-Continuous Pomonoids. Order 36 (2) (2019)
David Kruml
Open projections do not form a right residuated lattice. TACL (2013)
Jeffrey M. Egger, David Kruml
Girard Couples of Quantales. Appl. Categorical Struct. 18 (2) (2010)
David Kruml
Distributive Quantales. Appl. Categorical Struct. 11 (6) (2003)
David Kruml, Joan Wick Pelletier, Pedro Resende, Jirí Rosický
-Algebras. Appl. Categorical Struct. 11 (6) (2003)
David Kruml
Spatial Quantales. Appl. Categorical Struct. 10 (1) (2002)