A comparison of implications in orthomodular quantum logic-morphological analysis of quantum logic (Q1925549)
From MaRDI portal
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