Material implications in orthomodular (and Boolean) lattices (Q1141650)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Material implications in orthomodular (and Boolean) lattices |
scientific article |
Statements
Material implications in orthomodular (and Boolean) lattices (English)
0 references
1981
0 references
material implication
0 references
Sasaki arrow
0 references
horseshoe
0 references
Boolean lattices
0 references
orthomodular lattice
0 references
strict implication
0 references
