Completeness for cut-based abduction
From MaRDI portal
Publication:5176673
DOI10.1093/jigpal/jzt028zbMath1319.68208WikidataQ117021973 ScholiaQ117021973MaRDI QIDQ5176673
Marcelo Finger, Alexandre Matos Arruda
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
tableaux; abduction; cut-based abduction; first-order abduction; first-order tableaux; KE-tableaux; propositional tableaux