Publications

71. N.C.A. da Costa, V.S. Subrahmanian and C. Vago. The Paraconsistent Logics T, Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik, Vol. 37, pps 139-148, 1991.
       


72. J. Abe, N.C.A. da Costa and V.S. Subrahmanian. Remarks on Annotated Logics, Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik, Vol. 37, 1991, pps 561--570.



73. J. Lu and V.S. Subrahmanian. Protected Completions of First Order General Logic Programs, Journal of Automated Reasoning, 6, pps 147--172, 1990.
           


74. V.S. Subrahmanian. A Ring-Theoretic Basis for Logic Programming, International Journal of Foundations of Computer Science, 1, 1, pps 23--48, 1990.
           


75. A. Hirani and V.S. Subrahmanian. Algebraic Foundations of Logic Programming, I: The Distributive Lattice of Logic Programs, Fundamenta Informaticae, Vol. XIII, No. 3, pps 317--332, 1990.
           


76. V.S. Subrahmanian. Mechanical Proof Procedures for Many-Valued Lattice-Based Logic Programming, Journal of Non-Classical Logic, Vol. 7, No. 1/2, pps 7--41, 1990.
           


77. N.C.A. da Costa and V.S. Subrahmanian. Paraconsistent Logics as a Formalism for Reasoning About Inconsistent Knowledge Bases, Journal of Artificial Intelligence in Medicine, Vol. 1, 4, pp 167--174, 1990.
           


78. V.S. Subrahmanian. Y-Logic: A Framework for Reasoning about Chameleonic Programs with Inconsistent Completions, Fundamenta Informaticae, Vol. XIII, 4, pps 465--483, 1990.
           


79. J. Chomicki and V.S. Subrahmanian. Generalized Closed World Assumption is p20-Complete, Information Processing Letters, 34, pps 289--291, 1990.
           


80. H. Blair and V.S. Subrahmanian. Paraconsistent Logic Programming, Theoretical Computer Science, Vol. 68, pp 135--154, 1989.