Funder
Conselho Nacional de Desenvolvimento Científico e Tecnológico
Fundação de Amparo à Pesquisa do Estado de São Paulo
Publisher
Springer Science and Business Media LLC
Reference37 articles.
1. Arruda, A. I., N. C. A. da Costa, and R. Chuaqui, (eds.), Mathematical Logic: Proceedings of the First Brazilian Conference, Universidade Estadual de Campinas, 1977, vol. 39 of Lecture Notes in Pure and Applied Mathematics, Marcel Dekker, New York, 1978.
2. Avron, A., Non-deterministic matrices and modular semantics of rules, in J.-Y. Beziau, (ed.), Logica Universalis, Birkhäuser Verlag, Basel, 2005, pp. 149–167.
3. Avron, A., and I. Lev, Canonical propositional Gentzen-type systems, in Proceedings of the First International Joint Conference on Automated Reasoning (IJCAR ’01), Springer-Verlag, London, 2001, pp. 529–544
4. Avron, A., and I. Lev, Non-deterministic multi-valued structures, Journal of Logic and Computation 15(3):241–261, 2005.
5. Caleiro, C., and S. Marcelino, Modular many-valued semantics for combined logics, The Journal of Symbolic Logic 89(2):583–636, 2024.