scientific article; zbMATH DE number 4205965

MaRDI QIDQ3355220zbMATH OpenFDO

Authors James Andrews

Publication date 1989

zbMATH Keywords

logic programming systemnatural deduction proof systemoperational semantics

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Logic programming (68N17) Semantics in the theory of computing (68Q55)

Recommendations

• A Proof-Theoretic Approach to Logic Programming
• scientific article; zbMATH DE number 1070624
• scientific article; zbMATH DE number 4195154
• A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules
• scientific article; zbMATH DE number 1215501

Cited in

(5)

• Some results and experiments in programming techniques for propositional logic
• Mints type deductive calculi for logic programming
• Characterization Theorems for Revision of Logic Programs
• A Proof-Theoretic Approach to Logic Programming
• scientific article; zbMATH DE number 1420805 (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 Q3355220)