A simple signed system for paraconsistent reasoning

DOI10.1007/3-540-61630-6_28zbMath1427.68287OpenAlexW1589356890MaRDI QIDQ5236448

Torsten Schaub, Philippe 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

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

Related Items (1)

Restricted semantics for default reasoning

Cites Work

• A theory of diagnosis from first principles
• A logical framework for default reasoning
• A logic for default reasoning
• A logic for reasoning with inconsistent knowledge
• Signed systems for paraconsistent reasoning
• On inference from inconsistent premisses
• On the theory of inconsistent formal systems
• A skeptical theory of inheritance in nonmonotonic semantic networks
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A simple signed system for paraconsistent reasoning