A single axiom for Boolean algebras
| Autor: | Léonard Kwuida |
|---|---|
| Rok vydání: | 2018 |
| Předmět: |
Applied Mathematics
Boolean algebra (structure) 010102 general mathematics 02 engineering and technology Type (model theory) 01 natural sciences Combinatorics symbols.namesake Lattice (order) 0202 electrical engineering electronic engineering information engineering symbols Discrete Mathematics and Combinatorics 020201 artificial intelligence & image processing 0101 mathematics Algebra over a field Axiom Mathematics |
| Zdroj: | Discrete Applied Mathematics. 249:85-90 |
| ISSN: | 0166-218X |
| Popis: | We prove that an algebra ( L , ∧ , ∨ , ′ ) of type ( 2 , 2 , 1 ) is a Boolean algebra iff ( L , ∧ , ∨ ) is a non empty lattice that satisfies the equation ( ‡ ) ( x ∧ y ) ∨ ( x ∧ y ′ ) = ( x ∨ y ) ∧ ( x ∨ y ′ ) . |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full Text from ScienceDirect