The paper above cites a paper I published 15 years ago, with Marcelo Finger. Effective prover for minimal inconsistency logic https://t.co/7WQsQrJqYp
Artificial Intelligence in Theory and Practice
Springer, Boston, MA
The paper above cites a paper I published 15 years ago, with Marcelo Finger. Effective prover for minimal inconsistency logic https://t.co/7WQsQrJqYp
Effective Prover for Minimal Inconsistency Logic (2006) : Adolfo Gustavo Serra Seca Neto and Marcelo Finger DOI: https://t.co/Nl1JbYEIYZ #KE_system #mbC #minimal_inconsistency_logic #paraconsistent_logic #prover #my_bibtex
This paper cites my paper: Neto, A.G.S.S., and M. Finger, Effective prover for minimal inconsistency logic. In M. Bramer, (ed.), IFIP International Federation for Information Processing, Springer, Berlin, 2006, pp. 465–474. https://t.co/jFiunzUfzl
Effective Prover for Minimal Inconsistency Logic https://t.co/eXMTrBB60D