Automatization of ternary Boolean algebras (Q2171519)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Automatization of ternary Boolean algebras |
scientific article |
Statements
Automatization of ternary Boolean algebras (English)
0 references
9 September 2022
0 references
ternary Boolean algebra
0 references
single axiom system
0 references
lattice
0 references
