Reasoning in Paraconsistent Logics
- 1 January 1991
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Bilattices and the theory of truthJournal of Philosophical Logic, 1989
- Logic Programming on a Topological Bilattice1Fundamenta Informaticae, 1988
- Paraconsistent logic programmingPublished by Springer Nature ,1987
- Π-representation: A clause representation for parallel searchArtificial Intelligence, 1975
- On the theory of inconsistent formal systems.Notre Dame Journal of Formal Logic, 1974
- A Unifying View of Some Linear Herbrand ProceduresJournal of the ACM, 1972
- A Linear Format for Resolution With Merging and a New Technique for Establishing CompletenessJournal of the ACM, 1970
- A linear format for resolutionPublished by Springer Nature ,1970