Nuprl Definition : DeMorgan-algebra
DeMorganAlgebra ==
{dma:DeMorganAlgebraStructure|
lattice-axioms(dma)
∧ bounded-lattice-axioms(dma)
∧ (∀[a,b,c:Point(dma)]. (a ∧ b ∨ c = a ∧ b ∨ a ∧ c ∈ Point(dma)))
∧ DeMorgan-algebra-axioms(dma)}
Definitions occuring in Statement :
DeMorgan-algebra-axioms: DeMorgan-algebra-axioms(dma),
DeMorgan-algebra-structure: DeMorganAlgebraStructure,
bounded-lattice-axioms: bounded-lattice-axioms(l),
lattice-axioms: lattice-axioms(l),
lattice-join: a ∨ b,
lattice-meet: a ∧ b,
lattice-point: Point(l),
uall: ∀[x:A]. B[x],
and: P ∧ Q,
set: {x:A| B[x]} ,
equal: s = t ∈ T
Definitions occuring in definition :
set: {x:A| B[x]} ,
DeMorgan-algebra-structure: DeMorganAlgebraStructure,
lattice-axioms: lattice-axioms(l),
bounded-lattice-axioms: bounded-lattice-axioms(l),
and: P ∧ Q,
uall: ∀[x:A]. B[x],
equal: s = t ∈ T,
lattice-point: Point(l),
lattice-join: a ∨ b,
lattice-meet: a ∧ b,
DeMorgan-algebra-axioms: DeMorgan-algebra-axioms(dma)
FDL editor aliases :
DeMorgan-algebra
Latex:
DeMorganAlgebra ==
\{dma:DeMorganAlgebraStructure|
lattice-axioms(dma)
\mwedge{} bounded-lattice-axioms(dma)
\mwedge{} (\mforall{}[a,b,c:Point(dma)]. (a \mwedge{} b \mvee{} c = a \mwedge{} b \mvee{} a \mwedge{} c))
\mwedge{} DeMorgan-algebra-axioms(dma)\}
Date html generated:
2020_05_20-AM-08_55_25
Last ObjectModification:
2015_10_08-PM-05_47_51
Theory : lattices
Home
Index