Nuprl Definition : dl-aprop?

dl-aprop?(x) ==  dl-label(prop(x)) =a "aprop"


Definitions occuring in Statement :  dl-label: dl-label(d),  dl-prop-obj: prop(x),  eq_atom: x =a y,  token: "$token"
Definitions occuring in definition :  eq_atom: x =a y,  dl-label: dl-label(d),  dl-prop-obj: prop(x),  token: "$token"
FDL editor aliases :  dl-aprop?
Latex:
dl-aprop?(x)  ==    dl-label(prop(x))  =a  "aprop"


Date html generated: 2019_10_15-AM-11_40_18
Last ObjectModification: 2019_03_26-AM-11_16_43

Theory : dynamic!logic


Home Index