Nuprl Definition : sys-subformulas
sys-subformulas(S) == {phi:Prop| True}
Definitions occuring in Statement :
dl-prop: Prop,
true: True,
set: {x:A| B[x]}
Definitions occuring in definition :
set: {x:A| B[x]} ,
dl-prop: Prop,
true: True
FDL editor aliases :
sys-subformulas
Latex:
sys-subformulas(S) == \{phi:Prop| True\}
Date html generated:
2019_10_16-AM-11_24_54
Last ObjectModification:
2019_05_04-PM-06_27_28
Theory : dynamic!logic
Home
Index