Author:
Sette A. M.,Carnielli Walter A.
Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference11 articles.
1. A. I. Arruda, A survey of paraconsistent logic, in: A.I. Arruda, N. C. A. da Costa, and R Chuaqui, editors,Mathematical logic in Latin America, pages 1?41. North-Holland, 1980.
2. W. J. Block and D. Pigozzi, Algebraizable logics,Memoirs of the American Mathematical Society, 77(396), 1989.
3. Suzana Laino Cândido, Sobre a lógica não-alética, Master's thesis, Pontificia Universidade de São Paulo, São Paulo, Brazil, 1992.
4. Walter A. Carnielli, Systematization of the finite many-valued logics through the method of tableaux,The Journal of Symbolic Logic, 52:473?493, 1987.
5. Walter A. Carnielli, Many-valued logics and plausible reasoning, in:Proceedings of Intl. Symp. on Multiple-valued Logic, Charlotte, 1990. IEEE.
Cited by
29 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献