Signed systems for paraconsistent reasoning

DOI10.1023/A:1005957026440zbMath0893.68149OpenAlexW1548446199MaRDI QIDQ1382164

Philippe Besnard, Torsten Schaub

Publication date: 3 August 1998

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1005957026440

zbMATH Keywords

paraconsistent reasoning

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Paraconsistent logics (03B53)

Related Items (10)

Logic, arguments and inconsistencies: an introduction to the festschrift in honour of Philippe Besnard ⋮ Recovering Consistency by Forgetting Inconsistency ⋮ Finding explanations of inconsistency in multi-context systems ⋮ Logic based merging ⋮ A procedural criterion for final derivability in inconsistency-adaptive logics ⋮ Computational methods for database repair by signed formulae ⋮ Reasoning under inconsistency: a forgetting-based approach ⋮ A simple signed system for paraconsistent reasoning ⋮ Policy-based inconsistency management in relational databases ⋮ A consistency-based approach for belief change

This page was built for publication: Signed systems for paraconsistent reasoning