A Logical Characterization of Forward and Backward Chaining in the Inverse Method

DOI10.1007/11814771_9MaRDI QIDQ3613403zbMATH OpenOpenAlexFDO

Authors Kaustuv Chaudhuri, Greg Price, Frank Pfenning

Publication date 12 March 2009

Published in Automated Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11814771_9

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Grammars and rewriting systems (68Q42)

Recommendations

• A logical characterization of forward and backward chaining in the inverse method
• Forward and backward chaining in linear logic. (Extended abstract)
• Computer Science Logic
• Logic for Programming, Artificial Intelligence, and Reasoning
• The inverse method application for non-classical logics
• A semantic backward chaining proof system
• The logic of backward induction
• Deriving inverse operators for modal logic

Cited in

(5)

• Proof search and certificates for evidential transactions
• Focused proof-search in the logic of bunched implications
• Computer Science Logic
• Forward proof search for intuitionistic multimodal K logics
• A logical characterization of forward and backward chaining in the inverse method

Describes a project that uses

Uses Software

• linTAP
• llprover

This page was built for publication: A Logical Characterization of Forward and Backward Chaining in the Inverse Method

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