Book Reviews
Anatolij Dvurečenskij (2005)
Mathematica Slovaca
Similarity:
Displaying similar documents to “Quantum coherent spaces and linear logic”
Book Reviews
A note on the characterization of orthogonality and compatibility of elements of a quantum logic
Mukherjee, M.K. (1979)
Portugaliae mathematica
Similarity:
Professor Sylvia Pulmannová
Anatolij Dvurečenskij (2004)
Mathematica Slovaca
Similarity:
Discourse on one way in which a quantum-mechanics language on the classical logical base can be built up
Roman Bek (1978)
Kybernetika
Similarity:
Natural quantum operational semantics with predicates
Marek Sawerwain, Roman Gielerak (2008)
International Journal of Applied Mathematics and Computer Science
Similarity:
A general definition of a quantum predicate and quantum labelled transition systems for finite quantum computation systems is presented. The notion of a quantum predicate as a positive operator-valued measure is developed. The main results of this paper are a theorem about the existence of generalised predicates for quantum programs defined as completely positive maps and a theorem about the existence of a GSOS format for quantum labelled transition systems. The first theorem is a slight...