A comparison of implications in orthomodular quantum logic-morphological analysis of quantum logic (Q1925549): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
| Property / cites work | |||
| Property / cites work: Q4084463 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Minimal Periodic Orbits for Continuous Maps of the Interval / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Why mathematical morphology needs complete lattices / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: The algebraic basis of mathematical morphology I. Dilations and erosions / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4889894 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5532570 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3891824 / rank | |||
Normal rank | |||
Latest revision as of 00:42, 6 July 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A comparison of implications in orthomodular quantum logic-morphological analysis of quantum logic |
scientific article |
Statements
A comparison of implications in orthomodular quantum logic-morphological analysis of quantum logic (English)
0 references
18 December 2012
0 references
The main aim of the paper is to use morphological operators, dilation and erosion, to compare different types of implications used in quantum logic formalism. The author studies five polynomial implication connectives in the Kripke model in quantum logic and shows which of them is strongest.
0 references
quantum logic
0 references
implication
0 references
morphological operator
0 references
Kripke semantics
0 references
orthomodular lattice
0 references
intuitionistic logic
0 references
linear logic
0 references
