On goal-directed provability in classical logic

DOI10.1016/S0096-0551(97)00013-1MaRDI QIDQ4395687zbMATH OpenOpenAlexFDO

Authors James Harland

Publication date 1997

Published in Computer Languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0096-0551(97)00013-1

zbMATH Keywords

goal-directed provabilitylogic programming languages

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• A Proof-theoretic Analysis of Goal-directed Provability
• Goal-directed proof theory
• Computer Science Logic
• scientific article; zbMATH DE number 1696800
• Computer Science Logic
• ON THE CLASSIFICATION OF PROPOSITIONAL PROVABILITY LOGICS
• Biological Perspectives Irreversible Lithium-Induced Neuropathy: Two Cases
• scientific article; zbMATH DE number 4099259
• Towards a proof theory of Gödel modal logics
• Uniform provability in classical logic

Cited in

(6)

• scientific article; zbMATH DE number 1696800 (Why is no real title available?)
• Theorem proving for conditional logics: CondLean and GOALDUCK
• A Proof-theoretic Analysis of Goal-directed Provability
• Computer Science Logic
• A Survey of the Proof-Theoretic Foundations of Logic Programming
• Forum: A multiple-conclusion specification logic

This page was built for publication: On goal-directed provability in classical logic

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