Portal de Periódicos da CAPES

Artigo Produção Nacional Revisado por pares

BIBTEX RIS

The Paraconsistent Logics P J

1991; Wiley; Volume: 37; Issue: 9-12 Linguagem: Inglês

10.1002/malq.19910370903

1521-3870

Newton C. A. da Costa, V. S. Subrahmanian, Carlo Vago,

Computability, Logic, AI Algorithms

Mathematical Logic QuarterlyVolume 37, Issue 9-12 p. 139-148 Article The Paraconsistent Logics PJ Newton C. A. da Costa, Corresponding Author Newton C. A. da Costa Sao Paulo (Brazil) Newton C. A. da Costa, University of Sao Paulo, Department of Philosophy, Sao Paulo Brazil V. S. Subrahmanian, Department of Computer Science, A. V. Williams Building, University of Maryland, College Park, Maryland 20742 U.S.A. Carlo Vago, Università Degli Studi di Milano, Dipartimento di Scienze, della Informazione, Via Moretto da Brescia 9, 20133 Milano ItalySearch for more papers by this authorV. S. Subrahmanian, Corresponding Author V. S. Subrahmanian College Park, Maryland (U.S.A.) Newton C. A. da Costa, University of Sao Paulo, Department of Philosophy, Sao Paulo Brazil V. S. Subrahmanian, Department of Computer Science, A. V. Williams Building, University of Maryland, College Park, Maryland 20742 U.S.A. Carlo Vago, Università Degli Studi di Milano, Dipartimento di Scienze, della Informazione, Via Moretto da Brescia 9, 20133 Milano ItalySearch for more papers by this authorCarlo Vago, Corresponding Author Carlo Vago Milano (Italy) V. S. SUBRAHMANIAN thanks HOWARD BLAIR, MIKE KIFER, and MEL FITTING for many useful discussions relating to paraconsistency. NEWTON DA COSTA and CARLO VAGO would like to thank Prof. DANIELE MUNDICI. Newton C. A. da Costa, University of Sao Paulo, Department of Philosophy, Sao Paulo Brazil V. S. Subrahmanian, Department of Computer Science, A. V. Williams Building, University of Maryland, College Park, Maryland 20742 U.S.A. Carlo Vago, Università Degli Studi di Milano, Dipartimento di Scienze, della Informazione, Via Moretto da Brescia 9, 20133 Milano ItalySearch for more papers by this author Newton C. A. da Costa, Corresponding Author Newton C. A. da Costa Sao Paulo (Brazil) Newton C. A. da Costa, University of Sao Paulo, Department of Philosophy, Sao Paulo Brazil V. S. Subrahmanian, Department of Computer Science, A. V. Williams Building, University of Maryland, College Park, Maryland 20742 U.S.A. Carlo Vago, Università Degli Studi di Milano, Dipartimento di Scienze, della Informazione, Via Moretto da Brescia 9, 20133 Milano ItalySearch for more papers by this authorV. S. Subrahmanian, Corresponding Author V. S. Subrahmanian College Park, Maryland (U.S.A.) Newton C. A. da Costa, University of Sao Paulo, Department of Philosophy, Sao Paulo Brazil V. S. Subrahmanian, Department of Computer Science, A. V. Williams Building, University of Maryland, College Park, Maryland 20742 U.S.A. Carlo Vago, Università Degli Studi di Milano, Dipartimento di Scienze, della Informazione, Via Moretto da Brescia 9, 20133 Milano ItalySearch for more papers by this authorCarlo Vago, Corresponding Author Carlo Vago Milano (Italy) V. S. SUBRAHMANIAN thanks HOWARD BLAIR, MIKE KIFER, and MEL FITTING for many useful discussions relating to paraconsistency. NEWTON DA COSTA and CARLO VAGO would like to thank Prof. DANIELE MUNDICI. Newton C. A. da Costa, University of Sao Paulo, Department of Philosophy, Sao Paulo Brazil V. S. Subrahmanian, Department of Computer Science, A. V. Williams Building, University of Maryland, College Park, Maryland 20742 U.S.A. Carlo Vago, Università Degli Studi di Milano, Dipartimento di Scienze, della Informazione, Via Moretto da Brescia 9, 20133 Milano ItalySearch for more papers by this author First published: 1991 https://doi.org/10.1002/malq.19910370903Citations: 70 AboutPDF ToolsRequest permissionExport citationAdd to favoritesTrack citation ShareShare Give accessShare full text accessShare full-text accessPlease review our Terms and Conditions of Use and check box below to share full-text version of article.I have read and accept the Wiley Online Library Terms and Conditions of UseShareable LinkUse the link below to share a full-text version of this article with your friends and colleagues. Learn more.Copy URL Share a linkShare onEmailFacebookTwitterLinkedInRedditWechat References 1 Arruda, A. I., A survey of paraconsistent logic. In: Mathematical Logic in Latin America ( A. I. Arruda, R. Chuaqui, N. C. A. da Costa, eds.), D. Reidel Publ. Comp., Dordrecht 1979, pp. 1–41. 2 Belnap, N. D., A useful four-valued logic. In: Modern Uses of Multivalued Logic ( J. M. Dunn and G. Epstein, eds.), D. Reidel Publ. Comp., Dordrecht 1977, pp. 8–37. 3 Blair, H. A., and V. S. Subrahmanian, Paraconsistent logic programming. In: Proc. 7th Conference on Foundations of Software Technology and Theoretical Computer Science, Springer Lecture Notes in Computer Science 287 (1987), 340–360. Extended version in: Theoretical Computer Science 68 (1989), 135–154. 4 Blair, H. A., and V. S. Subrahmanian, Strong completeness results for paraconsistent logic programming. Submitted. 5 Blair, H. A., and V. S. Subrahmanian, Paraconsistent foundations for logic programming. J. Non-Classical Logic 5 (1988), 45–73. 6 da Costa, N. C. A., On the theory of inconsistent formal systems. Notre Dame J. Formal Logic 15 (1974), 479–510. 7 da Costa, N. C. A., α-models and the systems T and T*. Notre Dame J. Formal Logic 15 (1974). 8 da Costa, N. C. A., and E. H. Alves, A semantical analysis of the calculi n. Notre Dame J. Formal Logic 18 (1977), 621–630. 9 da Costa, N. C. A., and E. H. Alves, Relations between paraconsistent logic and many-valued logic. Bulletin Section of Logic 10 (1981), 185–191. 10 da Costa, N. C. A., and D. Marconi, An overview of paraconsistent logic in the 80's. To appear in: Logica Nova, Akademie Verlag, Berlin. 11 da Costa, N. C. A., and V. S. Subrahmanian, Paraconsistent logics as a formalism for reasoning about inconsistent knowledge bases. J. Artificial Intelligence in Medicine 1 (1989), 167–174. 12 Fitting, M. C., A Kripke-Kleene semantics for logic programming. J. Logic Programming 4 (1985), 295–312. 13 Fitting, M. C., Bilattices and the theory of truth. To appear in: J. Philosophical Logic. 14 Fitting, M. C., (1988) Logic programming on a topological bilattice. Fund. Informatica 11 (1988), 209–218. 15 Fitting, M. C., Bilattices and the semantics of logic programming. To appear in: J. Logic Programming. 16 Kifer, M., and E. Lozinskii, RI: A Logic for reasoning with inconsistency. In: Proc. 4th Sym p.on Logic in Computer Science, Asilomar, C, June 1989. 17 Kifer, M., and T. Krishnaprasad, An evidence based framework for a theory of inheritance. In: 1989 International Joint Conference on Artificial Intelligence, August 1989, Morgan-Kauffman. 18 Kifer, M., and V. S. Subrahmanian, On the expressive power of annotated logic programs. In: Proc. 1989 North American Conference on Logic Programming ( E. Lusk and R. Overbeek, eds.), MIT Press, Cambridge, Mass., 1989, pp. 1069–1089. 19 Kifer, M., T. Krishnaprasad and D. S. Warren, On the declarative semantics of inheritance networks. In: 1989 International Joint Conference on Artificial Intelligence, August 1989, Morgan-Kauffman. 20 Kifer, M., and J. Wu, A logic for object oriented logic programming. In: Proc. 8th ACM SIGACT/SIGMOD/SIGART Symp. on Principles of Database Systems, Philadelphia, 1989, pp. 379–393. 21 Subrahmanian, V. S., On the semantics of quantitative logic programs. In: Proc. 4th IEEE Symposium on Logic Programming, Computer Society Press, Washington DC, 1987, pp. 173–182. 22 Subrahmanian, V. S., Query processing in quantitative logic programming. In: Proc. 9th International Conference on Automated Deduction ( E. Lusk and R. Overbeek, eds.), Springer Lecture Notes in Computer Science 310 (1988), 81–100. 23 Subrahmanian, V. S., Mechanical proof procedures for many valued lattice based logic programming. To appear in: J. Non-Classical Logic. 24 van Emden, M. H., Quantitative deduction and its fixpoint theory. J. Logic Programming 4 (1986), 37–53. Citing Literature Volume37, Issue9-121991Pages 139-148 ReferencesRelatedInformation