Terms that are self-dual in Boolean algebras but not in \(MO_{2}\) (Q1047083): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1007/s00012-009-2094-4 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W2048723165 / rank | |||
Normal rank | |||
Latest revision as of 22:09, 19 March 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Terms that are self-dual in Boolean algebras but not in \(MO_{2}\) |
scientific article |
Statements
Terms that are self-dual in Boolean algebras but not in \(MO_{2}\) (English)
0 references
4 January 2010
0 references
An absorption law is an identity of the form \(p=x\). The main result of the paper says that if \(q\) is an idempotent term that equals its dual in Boolean algebras then there exists a term \(p\) of the same arity as \(q\) which does not equal its dual in the six-element orthomodular lattice but satisfies the same \(2\)-variable absorption laws in orthomodular lattices as \(q\) does in Boolean algebras.
0 references
absorption law
0 references
Boolean algebra
0 references
minority term
0 references
orthomodular lattice
0 references
Pixley term
0 references
self-dual
0 references
symmetric difference
0 references
idempotent term
0 references
