A simple signed system for paraconsistent reasoning
From MaRDI portal
Publication:5236448
DOI10.1007/3-540-61630-6_28zbMATH Open1427.68287OpenAlexW1589356890MaRDI QIDQ5236448FDOQ5236448
Authors: Torsten Schaub, P. Besnard 
Publication date: 8 October 2019
Published in: Logics in Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-61630-6_28
Recommendations
Cites Work
- On inference from inconsistent premisses
- On the theory of inconsistent formal systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A theory of diagnosis from first principles
- A logic for default reasoning
- A skeptical theory of inheritance in nonmonotonic semantic networks
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A logical framework for default reasoning
- Signed systems for paraconsistent reasoning
- Title not available (Why is that?)
- A logic for reasoning with inconsistent knowledge
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (9)
- Title not available (Why is that?)
- Predicate signatures from pair encodings via dual system proof technique
- A semantics for reasoning consistently in the presence of inconsistency
- Title not available (Why is that?)
- Restricted semantics for default reasoning
- Main issues in belief revision, belief merging and information fusion
- A method of defining paraconsistent tableaus
- Title not available (Why is that?)
- Efficient reasoning with inconsistent information using C-systems
This page was built for publication: A simple signed system for paraconsistent reasoning
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5236448)
