Nuprl Definition : K-sat
i,a |= fmla ==  Dom(i),K-struct(K;i),a |= mFOL-abstract(fmla)
Definitions occuring in Statement : 
K-struct: K-struct(K;i)
, 
K-dom: Dom(i)
, 
mFOL-abstract: mFOL-abstract(fmla)
, 
FOSatWith: Dom,S,a |= fmla
Definitions occuring in definition : 
FOSatWith: Dom,S,a |= fmla
, 
K-dom: Dom(i)
, 
K-struct: K-struct(K;i)
, 
mFOL-abstract: mFOL-abstract(fmla)
FDL editor aliases : 
K-sat
Latex:
i,a  |=  fmla  ==    Dom(i),K-struct(K;i),a  |=  mFOL-abstract(fmla)
Date html generated:
2019_10_16-AM-11_44_53
Last ObjectModification:
2018_10_12-PM-10_19_26
Theory : minimal-first-order-logic
Home
Index