A simple signed system for paraconsistent reasoning

DOI10.1007/3-540-61630-6_28MaRDI QIDQ5236448zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

paraconsistent logic

Mathematics Subject Classification ID

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

Recommendations

• Signed systems for paraconsistent reasoning
• Efficient reasoning with inconsistent information using C-systems
• scientific article; zbMATH DE number 1931670
• scientific article; zbMATH DE number 1269574
• scientific article; zbMATH DE number 2080019

Cites work

• scientific article; zbMATH DE number 4181307 (Why is no real title available?)
• scientific article; zbMATH DE number 3648682 (Why is no real title available?)
• scientific article; zbMATH DE number 3963779 (Why is no real title available?)
• scientific article; zbMATH DE number 4104920 (Why is no real title available?)
• scientific article; zbMATH DE number 44622 (Why is no real title available?)
• scientific article; zbMATH DE number 67513 (Why is no real title available?)
• scientific article; zbMATH DE number 67514 (Why is no real title available?)
• scientific article; zbMATH DE number 140409 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 194679 (Why is no real title available?)
• A logic for default reasoning
• A logic for reasoning with inconsistent knowledge
• A logical framework for default reasoning
• A skeptical theory of inheritance in nonmonotonic semantic networks
• A theory of diagnosis from first principles
• On inference from inconsistent premisses
• On the theory of inconsistent formal systems
• Signed systems for paraconsistent reasoning

Cited in

(9)

• scientific article; zbMATH DE number 2080019 (Why is no real title available?)
• Predicate signatures from pair encodings via dual system proof technique
• A semantics for reasoning consistently in the presence of inconsistency
• scientific article; zbMATH DE number 2112168 (Why is no real title available?)
• Restricted semantics for default reasoning
• Main issues in belief revision, belief merging and information fusion
• A method of defining paraconsistent tableaus
• scientific article; zbMATH DE number 1931670 (Why is no real title available?)
• 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)