Correct Answers for First Order Logic

DOI10.1016/S1571-0661(04)00149-5zbMath1263.68041OpenAlexW2069745781MaRDI QIDQ4923518

Gianluca Amato

Publication date: 24 May 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s1571-0661(04)00149-5

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Proof theory in general (including proof-theoretic semantics) (03F03)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A proof procedure for the logic of hereditary Harrop formulas
• A compositional semantics for logic programs
• Untersuchungen über das logische Schliessen. I
• A theory of observables for logic programs
• Uniform proofs as a foundation for logic programming
• Abstract interpretation and application to logic programs
• Logic Programming with Focusing Proofs in Linear Logic
• Abstract diagnosis
• Resultant semantics for prolog

This page was built for publication: Correct Answers for First Order Logic