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]
Definitions occuring in definition :
product: x:A × B[x],
list: T List,
mFOL: mFOL()
FDL editor aliases :
mFOL-sequent
Latex:
mFOL-sequent() == mFOL() List \mtimes{} mFOL()
Date html generated:
2016_07_08-PM-05_20_57
Last ObjectModification:
2015_09_23-AM-08_25_19
Theory : minimal-first-order-logic
Home
Index