Signed systems for paraconsistent reasoning

DOI10.1023/A:1005957026440MaRDI QIDQ1382164zbMATH OpenOpenAlexFDO

Authors P. 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

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

Recommendations

• A simple signed system for paraconsistent reasoning
• scientific article; zbMATH DE number 1931670
• scientific article; zbMATH DE number 1269574
• scientific article; zbMATH DE number 2080019
• Automatic reasoning in paraconsistent logic

Cited in

(14)

• scientific article; zbMATH DE number 2080019 (Why is no real title available?)
• A simple signed system for paraconsistent reasoning
• Predicate signatures from pair encodings via dual system proof technique
• A consistency-based approach for belief change
• scientific article; zbMATH DE number 2112168 (Why is no real title available?)
• Finding explanations of inconsistency in multi-context systems
• Logic, arguments and inconsistencies: an introduction to the festschrift in honour of Philippe Besnard
• Logic based merging
• Reasoning under inconsistency: a forgetting-based approach
• Computational methods for database repair by signed formulae
• Recovering Consistency by Forgetting Inconsistency
• scientific article; zbMATH DE number 1931670 (Why is no real title available?)
• A procedural criterion for final derivability in inconsistency-adaptive logics
• Policy-based inconsistency management in relational databases

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1382164)