The paper above cites a paper I published 15 years ago, with Marcelo Finger. Effective prover for minimal inconsistency logic https://t.co/7WQsQrJqYp
8,087 followers
141 followers
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
8,087 followers
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
325 followers
I'm reading this on #springerlink https://t.co/p2GGaIEeXE