Cut-Based Abduction

DOI10.1093/JIGPAL/JZN020zbMath1156.03032OpenAlexW2159959838WikidataQ117021980 ScholiaQ117021980MaRDI QIDQ5504120

Marcelo Finger, Marcello D'Agostino, Dov M. Gabbay

Publication date: 21 January 2009

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/9eb7eea93a0d1f017b6eb3b56ea2b02cb2c0acb6

zbMATH Keywords

sequent calculusabductionhypothesis generationlemma generationcut formulatableau-like system

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic in computer science (03B70) Structure of proofs (03F07)

Related Items (4)

The problem of \(\Pi_{2}\)-cut-introduction ⋮ Abduction as deductive saturation: a proof-theoretic inquiry ⋮ Using Abduction to Compute Efficient Proofs ⋮ Abduction: a categorical characterization

This page was built for publication: Cut-Based Abduction