Quantum logic in intuitionistic perspective (Q1604802): 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 / arXiv ID | |||
| Property / arXiv ID: math/0011208 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W1575413252 / rank | |||
Normal rank | |||
| links / mardi / name | links / mardi / name | ||
Latest revision as of 10:00, 30 July 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Quantum logic in intuitionistic perspective |
scientific article |
Statements
Quantum logic in intuitionistic perspective (English)
0 references
8 July 2002
0 references
This paper tries to reconcile a non-distributive orthocomplemented lattice (intended for physical properties) on the one hand and a distributive pseudocomplemented lattice (intended for logical propositions) on the other. The author proposes a complete Heyting algebra equipped with a particular kind of closure operator (called the operational resolution) as a unifying framework. In this context he re-discovers a specification and a refinement of \textit{G. Bruns} and \textit{H. Lakser's} [Can. Math. Bull. 13, 115-118 (1970; Zbl 0212.03801)] on injective hulls of meet-semilattices.
0 references
orthocomplemented lattice
0 references
complete Heyting algebra
0 references
closure operator
0 references
injective hulls
0 references
