A comparison of implications in orthomodular quantum logic-morphological analysis of quantum logic (Q1925549)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A comparison of implications in orthomodular quantum logic-morphological analysis of quantum logic |
scientific article; zbMATH DE number 6116536
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A comparison of implications in orthomodular quantum logic-morphological analysis of quantum logic |
scientific article; zbMATH DE number 6116536 |
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
