Completeness for cut-based abduction

DOI10.1093/JIGPAL/JZT028zbMath1319.68208OpenAlexW1976428114WikidataQ117021973 ScholiaQ117021973MaRDI QIDQ5176673

Alexandre Matos Arruda, Marcelo Finger

Publication date: 27 February 2015

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

Full work available at URL: https://doi.org/10.1093/jigpal/jzt028

zbMATH Keywords

tableauxabductioncut-based abductionfirst-order abductionfirst-order tableauxKE-tableauxpropositional tableaux

Mathematics Subject Classification ID

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

Related Items (1)

Abduction as deductive saturation: a proof-theoretic inquiry

This page was built for publication: Completeness for cut-based abduction