Automatic Theorem Proving in Paraconsistent Logics: Theory and Implementation

• Authors:

• Newton C. A. da Costa;Lawrence J. Henschen;James J. Lu;V. S. Subrahmanian

• Affiliations:

• -;-;-;-

• Venue:
• Proceedings of the 10th International Conference on Automated Deduction
• Year:
• 1990