Program generic set: Semantics of medium logic program described by forcing

MaRDI QIDQ674717zbMATH OpenFDO

Authors Zhaohui Zhu, Qingsheng Shi, Wujia Zhu

Publication date 6 March 1997

Published in Science in China. Series E (Search for Journal in Brave)

zbMATH Keywords

semanticsforcingclosed-world assumptionmedium logic programsprogram generic sets

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Logic programming (68N17) Logic in computer science (03B70) Other aspects of forcing and Boolean-valued models (03E40) Nonclassical and second-order set theories (03E70) Semantics in the theory of computing (68Q55)

Recommendations

• The well-founded semantics for general logic programs
• A kripke-kleene semantics for logic programs*
• A semantics of logic programs without searching
• Complete extension of general logic programs

This page was built for publication: Program generic set: Semantics of medium logic program described by forcing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q674717)