Nuprl Definition : free-DeMorgan-algebra
free-DeMorgan-algebra(T;eq) == mk-DeMorgan-algebra(free-DeMorgan-lattice(T;eq);λx.¬(x))
Definitions occuring in Statement :
mk-DeMorgan-algebra: mk-DeMorgan-algebra(L;n),
dm-neg: ¬(x),
free-DeMorgan-lattice: free-DeMorgan-lattice(T;eq),
lambda: λx.A[x]
Definitions occuring in definition :
mk-DeMorgan-algebra: mk-DeMorgan-algebra(L;n),
free-DeMorgan-lattice: free-DeMorgan-lattice(T;eq),
lambda: λx.A[x],
dm-neg: ¬(x)
FDL editor aliases :
free-DeMorgan-algebra
Latex:
free-DeMorgan-algebra(T;eq) == mk-DeMorgan-algebra(free-DeMorgan-lattice(T;eq);\mlambda{}x.\mneg{}(x))
Date html generated:
2016_05_18-AM-11_48_48
Last ObjectModification:
2015_10_09-PM-08_51_11
Theory : lattices
Home
Index