Nuprl Definition : mk-DeMorgan-algebra

mk-DeMorgan-algebra(L;n) ==  L["neg" := n]


Definitions occuring in Statement :  record-update: r[x := v],  token: "$token"
Definitions occuring in definition :  record-update: r[x := v],  token: "$token"
FDL editor aliases :  mk-DeMorgan-algebra
Latex:
mk-DeMorgan-algebra(L;n)  ==    L["neg"  :=  n]


Date html generated: 2020_05_20-AM-08_55_45
Last ObjectModification: 2015_10_08-PM-06_01_03

Theory : lattices


Home Index