- Abstract algebra
- >
- Fields of abstract algebra
- >
- Algebraic logic
- >
- Ockham algebras

- Abstract algebra
- >
- Fields of abstract algebra
- >
- Lattice theory
- >
- Ockham algebras

- Algebra
- >
- Abstract algebra
- >
- Algebraic structures
- >
- Ockham algebras

- Comparison (mathematical)
- >
- Order theory
- >
- Lattice theory
- >
- Ockham algebras

- Fields of mathematics
- >
- Fields of abstract algebra
- >
- Algebraic logic
- >
- Ockham algebras

- Fields of mathematics
- >
- Fields of abstract algebra
- >
- Lattice theory
- >
- Ockham algebras

- Fields of mathematics
- >
- Mathematical logic
- >
- Algebraic logic
- >
- Ockham algebras

- Fields of mathematics
- >
- Order theory
- >
- Lattice theory
- >
- Ockham algebras

- Mathematical concepts
- >
- Mathematical structures
- >
- Algebraic structures
- >
- Ockham algebras

- Mathematical objects
- >
- Mathematical structures
- >
- Algebraic structures
- >
- Ockham algebras

- Philosophy of mathematics
- >
- Mathematical logic
- >
- Algebraic logic
- >
- Ockham algebras

Łukasiewicz–Moisil algebra

Łukasiewicz–Moisil algebras (LMn algebras) were introduced in the 1940s by Grigore Moisil (initially under the name of Łukasiewicz algebras) in the hope of giving algebraic semantics for the n-valued

De Morgan algebra

In mathematics, a De Morgan algebra (named after Augustus De Morgan, a British mathematician and logician) is a structure A = (A, ∨, ∧, 0, 1, ¬) such that:
* (A, ∨, ∧, 0, 1) is a bounded distributive

Stone algebra

In mathematics, a Stone algebra, or Stone lattice, is a pseudo-complemented distributive lattice such that a* ∨ a** = 1. They were introduced by and named after Marshall Harvey Stone. Boolean algebras

Ockham algebra

In mathematics, an Ockham algebra is a bounded distributive lattice with a dual endomorphism, that is, an operation ~ satisfying ~(x ∧ y) = ~x ∨ ~y, ~(x ∨ y) = ~x ∧ ~y, ~0 = 1, ~1 = 0. They were intro

Boolean algebra (structure)

In abstract algebra, a Boolean algebra or Boolean lattice is a complemented distributive lattice. This type of algebraic structure captures essential properties of both set operations and logic operat

© 2023 Useful Links.