An implementation of Kripke-Kleene semantics

DOI10.1016/S0020-0255(97)10068-8MaRDI QIDQ1292578zbMATH OpenFDO

Authors Faye F. Liu, Douglas H. Moore

Publication date 22 June 1999

Published in Information Sciences (Search for Journal in Brave)

zbMATH Keywords

Kripke-Kleene semantics

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55)

Recommendations

• A kripke-kleene semantics for logic programs*
• Kleene's Logic, Generalized
• scientific article; zbMATH DE number 1696783
• scientific article; zbMATH DE number 4147552
• Publication:4941889

Cites work

• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• scientific article; zbMATH DE number 3568056 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• A kripke-kleene semantics for logic programs*

Cited in

(6)

• Making assumptions in the automated derivation
• scientific article; zbMATH DE number 1696783 (Why is no real title available?)
• A kripke-kleene semantics for logic programs*
• An extensional Kleene realizability semantics for the Minimalist Foundation
• Introducing reactive Kripke semantics and arc accessibility
• A semantic approach for web reasoning

This page was built for publication: An implementation of Kripke-Kleene semantics

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