scientific article; zbMATH DE number 3936480

MaRDI QIDQ3707364zbMATH OpenFDO

Authors

Publication date 1985

zbMATH Keywords

Baire topologyfixed pointHerbrand interpretationsHorn clause programslogic programmingUnification

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) General topics in the theory of software (68N01)

Recommendations

• scientific article; zbMATH DE number 559225
• scientific article; zbMATH DE number 810107
• The fixed points of logic programs with Herbrand base \({\mathbb{N}}\)
• A kripke-kleene semantics for logic programs*
• scientific article; zbMATH DE number 604877

Cited in

(17)

• Contributions to the semantics of logic perpetual processes
• Definite clause programs are canonical (over a suitable domain)
• A topological characterization of the stable and minimal model classes of propositional logic programs
• The fixed points of logic programs with Herbrand base \({\mathbb{N}}\)
• Some applications of topology to program semantics
• A topological characterization of consistency of logic theories in propositional logic
• scientific article; zbMATH DE number 4147550 (Why is no real title available?)
• scientific article; zbMATH DE number 3930328 (Why is no real title available?)
• A kripke-kleene semantics for logic programs*
• scientific article; zbMATH DE number 4035104 (Why is no real title available?)
• scientific article; zbMATH DE number 4123705 (Why is no real title available?)
• scientific article; zbMATH DE number 559225 (Why is no real title available?)
• scientific article; zbMATH DE number 604877 (Why is no real title available?)
• scientific article; zbMATH DE number 1498598 (Why is no real title available?)
• Generic models of logic programs
• scientific article; zbMATH DE number 810107 (Why is no real title available?)
• The query topology in logic programming

This page was built for publication:

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