Nuprl Definition : mFOL-sequent
A sequent for mFOL is a list of hypothesis and a conclusion.⋅
mFOL-sequent() == mFOL() List × mFOL()
Definitions occuring in Statement :
mFOL: mFOL(),
list: T List,
product: x:A × B[x]
FDL editor aliases :
mFOL-sequent
mFOL-sequent() == mFOL() List \mtimes{} mFOL()
Date html generated:
2015_07_17-AM-07_56_22
Last ObjectModification:
2012_09_11-PM-05_45_00
Home
Index