Deciding the word problem in pure double Boolean algebras (Q1948275)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Deciding the word problem in pure double Boolean algebras |
scientific article |
Statements
Deciding the word problem in pure double Boolean algebras (English)
0 references
2 May 2013
0 references
formal contexts
0 references
pure double Boolean algebras
0 references
equational logic
0 references
axiomatization
0 references
completeness
0 references
complexity
0 references
decidability
0 references
word problem
0 references
