Logic programming and meta-logic

MaRDI QIDQ4357066zbMATH OpenFDO

Authors Dale Miller

Publication date 7 October 1997

zbMATH Keywords

cut-free sequent proofslogic programming language

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic programming (68N17)

Recommendations

• Forum: A multiple-conclusion specification logic
• Linear logic as logic programming: An abstract
• Sequent calculus and the specification of computation

Cited in

(9)

• Program Logics for Homogeneous Meta-programming
• Representing and Reasoning with Operational Semantics
• scientific article; zbMATH DE number 65531 (Why is no real title available?)
• Abstract metaprolog engine
• scientific article; zbMATH DE number 1231530 (Why is no real title available?)
• Sequent calculus and the specification of computation
• Logic programming and knowledge representation
• scientific article; zbMATH DE number 978237 (Why is no real title available?)
• Linear logic as logic programming: An abstract

This page was built for publication: Logic programming and meta-logic

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