Author:
Ramos J.,Rasga J.,Sernadas C.
Funder
Instituto de Telecomunicações
Fundação para a Ciência e a Tecnologia
Publisher
Springer Science and Business Media LLC
Reference35 articles.
1. Barwise, J. (1974). Axioms for abstract model theory. Annals for Mathematical Logic, 7, 221–265.
2. Blok, W.J., & Pigozzi, D. (1989). Algebraizable Logics, Memoirs of the American Mathematical Society (Vol. 396). AMS.
3. Brown, D.J., Suszko, R., & Bloom, S.L. (1973). Abstract logics. Dissertationes Mathematicae, 102, 52.
4. Bueno-Soler, J., & Carnielli, W.A. (2005). Possible-translations algebraization for paraconsistent logics. Bulletin of the Section of Logic, 34(2), 77–92.
5. Carnielli, W.A. (1990). Many-valued logics and plausible reasoning. In Proceedings of the twentieth international symposium on multiple-valued logic (pp. 328–335).