A comparison of implications in orthomodular quantum logic-morphological analysis of quantum logic (Q1925549): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 06:15, 5 March 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