Automatic theorem proving in paraconsistent logics: Theory and implementation
- 1 January 1990
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Reasoning in Paraconsistent LogicsPublished by Springer Nature ,1991
- Paraconsistent logic programmingTheoretical Computer Science, 1989
- Bilattices and the theory of truthJournal of Philosophical Logic, 1989
- A logic for object-oriented logic programmingPublished by Association for Computing Machinery (ACM) ,1989
- Quantitative deduction and its fixpoint theoryThe Journal of Logic Programming, 1986
- Four valued semantics and the LiarJournal of Philosophical Logic, 1984
- A Useful Four-Valued LogicPublished by Springer Nature ,1977
- 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 resolutionPublished by Springer Nature ,1970