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