14 citations · 60 across the 26 of their papers we have counts for
5 papers · 1 filter
A natural deduction system for orthomodular logic
Andre Kornell
Orthomodular logic is a weakening of quantum logic in the sense of Birkhoff and von Neumann. Orthomodular logic is shown to be a nonlinear noncommutative logic. Sequents are given…
Quantum CPOs
Andre Kornell, Bert Lindenhovius, Michael Mislove
We introduce the monoidal closed category qCPO of quantum cpos, whose objects are "quantized" analogs of omega-complete partial orders (cpos). The category qCPO is enriched over th…
Axioms for the category of Hilbert spaces
Chris Heunen, Andre Kornell
We provide axioms that guarantee a category is equivalent to that of continuous linear functions between Hilbert spaces. The axioms are purely categorical and do not presuppose any…
Semantics for Variational Quantum Programming
Xiaodong Jia, Andre Kornell, Bert Lindenhovius +2
We consider a programming language that can manipulate both classical and quantum information. Our language is type-safe and designed for variational quantum programming, which is…
A category of quantum posets
Andre Kornell, Bert Lindenhovius, Michael Mislove
We investigate a category of quantum posets that generalizes the category of posets and monotone functions. Up to equivalence, its objects are hereditarily atomic von Neumann algeb…