Author:
Carnielli Walter,Coniglio Marcelo E.,Marcos João
Reference104 articles.
1. [Arruda, 1975] A. I. Arruda. Remarques sur les systèmes Cn. Comptes Rendus de l’Académie de Sciences de Paris (A-B), 280:1253–1256, 1975.
2. [Arruda, 1980] A. I. Arruda. A survey of paraconsistent logic. In A. I. Arruda, R. Chuaqui, and N. C. A. da Costa, editors, Mathematical Logic in Latin America: Proceedings of theIV Latin American Symposium on Mathematical Logic, pages 1–41. North-Holland, 1980.
3. [Asenjo, 1966] F. G. Asenjo. A calculus of antinomies. Notre Dame Journal of Formal Logic, 7:103–105, 1966.
4. [Avron, 1986] A. Avron. On an implication connective of RM. Notre Dame Journal of Formal Logic, 27:201–209, 1986.
5. [Avron, 1991] A. Avron. Natural 3-valued logics — Characterization and proof theory.The Journal of Symbolic Logic, 56(1):276–294, 1991.
Cited by
136 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献