The logic of orthomodular posets of finite height (Q5066805)
From MaRDI portal
scientific article; zbMATH DE number 7500476
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The logic of orthomodular posets of finite height |
scientific article; zbMATH DE number 7500476 |
Statements
The logic of orthomodular posets of finite height (English)
0 references
30 March 2022
0 references
orthomodular poset
0 references
connective implication
0 references
implication orthomodular poset
0 references
axiom system
0 references
derivation rules
0 references
Gentzen-style system
0 references
