scientific article; zbMATH DE number 4145877

MaRDI QIDQ3476792zbMATH OpenFDO

Authors Juan José Moreno-Navarro, M. Rodríguez Artalejo

Publication date 1987

zbMATH Keywords

3-sorted structureslogic programmingnonstandard programming logicsemantics

Mathematics Subject Classification ID

Logic in computer science (03B70) General topics in the theory of software (68N01)

Recommendations

• Some proof theory of first order logic programming
• scientific article; zbMATH DE number 970703
• First-order logic as a constraint programming language
• Logic program synthesis from first-order logic specifications
• A progression semantics for first-order logic programs
• scientific article; zbMATH DE number 3274715
• scientific article; zbMATH DE number 7592011
• scientific article; zbMATH DE number 1028229
• A logic for approximate first-order reasoning
• scientific article; zbMATH DE number 4114588

Cited in

(4)

• Datalog vs first-order logic
• A denotational semantics for first-order logic
• scientific article; zbMATH DE number 4043305 (Why is no real title available?)
• scientific article; zbMATH DE number 51768 (Why is no real title available?)

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 Q3476792)