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