Logic programming as a basis for lean automated deduction

DOI10.1016/0743-1066(96)00054-4MaRDI QIDQ3129514zbMATH OpenOpenAlexFDO

Authors Bernhard Beckert, Joachim Posegga

Publication date 10 November 1997

Published in The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0743-1066(96)00054-4

zbMATH Keywords

lean deduction

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• A Prolog technology theorem prover: A new exposition and implementation in Prolog
• scientific article; zbMATH DE number 2222011
• scientific article; zbMATH DE number 785048
• scientific article; zbMATH DE number 192840

Cited in

(5)

• lean\(T^ AP\): Lean tableau-based deduction
• The Lean 4 theorem prover and programming language
• scientific article; zbMATH DE number 3972241 (Why is no real title available?)
• Logistica 2.0: a technology for implementing automatic deduction systems
• Sequent calculi and an efficient theorem prover for conditional logics with selection function semantics

Describes a project that uses

Uses Software

• SETHEO
• leanTAP

This page was built for publication: Logic programming as a basis for lean automated deduction

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