On the algebra of disjoint alternatives (Q1915884)
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: On the algebra of disjoint alternatives |
scientific article; zbMATH DE number 894949
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the algebra of disjoint alternatives |
scientific article; zbMATH DE number 894949 |
Statements
On the algebra of disjoint alternatives (English)
0 references
1 July 1996
0 references
Using E. A. Manes' notion of an Ada-algebra (a testing tool for programming languages) as a point of entry, the authors (1) reduce the number of identities that define an Ada-algebra, (2) establish a one-one correspondence between Ada-algebras and 3-rings with unity, (3) show that every Ada-algebra can be generated by a Boolean algebra contained in it, and (4) study the link between Ada-ideals and Boolean ideals.
0 references
Ada-algebra
0 references
programming languages
0 references
3-rings with unity
0 references
Boolean algebra
0 references
Ada-ideals
0 references
Boolean ideals
0 references
