Deciding the word problem in pure double Boolean algebras (Q1948275)
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: Deciding the word problem in pure double Boolean algebras |
scientific article; zbMATH DE number 6160209
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Deciding the word problem in pure double Boolean algebras |
scientific article; zbMATH DE number 6160209 |
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
0 references