Nuprl Definition : mfol-context

This is the list of hypotheses of a mFOL-sequent() in reverse order.⋅
mfol-context() ==  mFOL() List


Definitions occuring in Statement :  mFOL: mFOL(),  list: T List
Definitions occuring in definition :  list: T List,  mFOL: mFOL()
FDL editor aliases :  mfol-context
Latex:
mfol-context()  ==    mFOL()  List


Date html generated: 2016_07_08-PM-05_26_36
Last ObjectModification: 2015_09_23-AM-08_26_16

Theory : minimal-first-order-logic


Home Index