Quantum logic and linear logic (Q1330093): Difference between revisions
From MaRDI portal
Created a new Item |
Set OpenAlex properties. |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quantum logic as an implication algebra / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Linear logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3243448 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4750696 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The lattice theoretic background of the dimension theory of operator algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A globalization of the Hahn-Banach theorem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A characterization of nuclei in orthomodular and quantic lattices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3996704 / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/bf00670783 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1969565164 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 09:45, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Quantum logic and linear logic |
scientific article |
Statements
Quantum logic and linear logic (English)
0 references
15 August 1994
0 references
By tradition, the subject of quantum logic is the lattices of closed subspaces of Hilbert spaces or, more abstractly, orthomodular lattices. \textit{D. J. Foulis} showed in Can. J. Math. 17, 40-51 (1965; Zbl 0146.029) that an orthomodular lattice can be coordinatized by a Baer \(*\)- semigroup. On the other hand, \textit{C. J. Mulvey} [Rend. Circ. Math. Palermo, II. Ser., Suppl. 12, 99-104 (1986; Zbl 0633.46065)] has introduced the concept of a quantale -- a complete lattice with an additional non-commutative operation preserving suprema. Quantales are known as possible models of linear logic, proposed by \textit{J.-Y. Girard} [J. Theor. Comput. Sci. 50, 1-102 (1987; Zbl 0625.03037)]. (By the way, linear logic is also related to calculi of binary relations and to relevant logic.) The author shows that various recently considered kinds of quantales can be viewed as involution semigroups, and tries to unify on this ground the concepts of an orthomodular lattice and a quantale, as well as to clarify the relations between quantum and linear logics.
0 references
quantum logic
0 references
orthomodular lattices
0 references
quantale
0 references
linear logic
0 references
involution semigroups
0 references