The Paraconsistent Logics PJ
- 1 January 1991
- journal article
- research article
- Published by Wiley in Mathematical Logic Quarterly
- Vol. 37 (9-12) , 139-148
- https://doi.org/10.1002/malq.19910370903
Abstract
No abstract availableThis publication has 11 references indexed in Scilit:
- Query processing in quantitative logic programmingPublished by Springer Nature ,2005
- Paraconsistent logic programmingTheoretical Computer Science, 1989
- A logic for object-oriented logic programmingPublished by Association for Computing Machinery (ACM) ,1989
- Paraconsistent logics as a formalism for reasoning about inconsistent knowledge basesArtificial Intelligence in Medicine, 1989
- Paraconsistent logic programmingPublished by Springer Nature ,1987
- Quantitative deduction and its fixpoint theoryThe Journal of Logic Programming, 1986
- A kripke-kleene semantics for logic programs*The Journal of Logic Programming, 1985
- A semantical analysis of the calculi ${\bf C}_n$.Notre Dame Journal of Formal Logic, 1977
- On the theory of inconsistent formal systems.Notre Dame Journal of Formal Logic, 1974
- $\alpha$-models and the systems $T$ and $T^\ast$.Notre Dame Journal of Formal Logic, 1974