Paraconsistent Logics
- 1 January 1998
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Restricted access logics for inconsistent informationPublished by Springer Nature ,2005
- Making inconsistency respectable: Part 2 — Meta-level handling of inconsistencyPublished by Springer Nature ,2005
- Argumentative logics: Reasoning with classically inconsistent informationData & Knowledge Engineering, 1995
- A local approach to reasoning under inconsistency in stratified knowledge basesPublished by Springer Nature ,1995
- Inconsistency handling in multiperspective specificationsIEEE Transactions on Software Engineering, 1994
- Nonmonotonic inference based on expectationsArtificial Intelligence, 1994
- Theoretical Foundations for Non-Monotonic Reasoning in Expert SystemsPublished by Springer Nature ,1985
- A truth maintenance systemArtificial Intelligence, 1979
- A Useful Four-Valued LogicPublished by Springer Nature ,1977
- On the theory of inconsistent formal systems.Notre Dame Journal of Formal Logic, 1974