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

DOI10.1007/11814771_9zbMATH Open1222.68358OpenAlexW1797159706MaRDI QIDQ3613403FDOQ3613403

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

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

Mathematics Subject Classification ID

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

Cited In (4)

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

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)