Surviving Abduction

DOI10.1093/jigpal/jzk016zbMath1108.03031OpenAlexW4236268537MaRDI QIDQ3411850

Walter Alexandre Carnielli

Publication date: 30 November 2006

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

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

zbMATH Keywords

tableauxabductionparaconsistent logiclogics of formal (in)consistencyautomatic abduction

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Philosophical and critical aspects of logic and foundations (03A05) Mechanization of proofs and logical operations (03B35) Paraconsistent logics (03B53)

Related Items

The eco-cognitive model of abduction. Ἀπαγωγή now: naturalizing the logic of abduction, An epistemic and dynamic approach to abductive reasoning: abductive problem and abductive solution, A conditional logic for abduction, An abductive Question-Answer System for the minimal logic of formal inconsistency \(\mathsf{mbC}\)