Quasi-classical logic: Non-trivializable classical reasoning from inconsistent information
- 1 January 1995
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Inconsistency handling in multiperspective specificationsIEEE Transactions on Software Engineering, 1994
- Argumentative inference in uncertain and inconsistent knowledge basesPublished by Elsevier ,1993
- Making inconsistency respectable: A logical framework for inconsistency in reasoning, part I — A position paperPublished by Springer Nature ,1991
- A Useful Four-Valued LogicPublished by Springer Nature ,1977
- On the theory of inconsistent formal systems.Notre Dame Journal of Formal Logic, 1974
- Schlußweisen-Kalküle der PrädikatenlogikMathematische Annalen, 1950