10 citations · 11 across the 2 of their papers we have counts for
2 papers
quant-ph2005★ 10 cited
Algebras of Measurements: the logical structure of Quantum Mechanics
Daniel Lehmann, Kurt Engesser, Dov M. Gabbay
In Quantum Physics, a measurement is represented by a projection on some closed subspace of a Hilbert space. We study algebras of operators that abstract from the algebra of projec…
cs.LO2002★ 1 cited
Sequent and Hypersequent Calculi for Abelian and Lukasiewicz Logics
G. Metcalfe, N. Olivetti, D. Gabbay
We present two embeddings of infinite-valued Lukasiewicz logic L into Meyer and Slaney's abelian logic A, the logic of lattice-ordered abelian groups. We give new analytic proof sy…