Caros colegas, é com grande satisfação que anunciamos a publicação do número especial do South American Journal of Logic contendo os Proceedings do XVIII EBL, realizado em Pirenópolis (2017).
Convidamos a todos para visitar o site da revista e conferir o conteúdo do volume, que está disponível através do link "Issues": http://www.sa-logic.org/start1.html Aproveitamos mais uma vez a oportunidade para agradecer aos autores que contribuíram para o volume, aos pareceristas e também aos editores da SAJL, Marcelo Coniglio e Jean-Yves Béziau. Atenciosamente, Jonas R. B. Arenhart, Hugo L. Mariano, Wagner C. Sanz, Daniel Ventura. ---------------------------------------- South American Journal of Logic Volume 4, Issue 2, December 2018 Table of contents 1. Preface: Proceedings of the XVIII Brazilian Logic Conference Jonas R. Becker Arenhart, Hugo L. Mariano, Wagner C. Sanz and Daniel Ventura Department of Philosophy, Federal University of Santa Catarina (UFSC), Florianõpolis, SC, Brazil; Department of Mathematics, University of São Paulo, São Paulo, SP, Brazil; Faculty of Philosophy, Federal University of Goiás (UFG), Goiania, GO, Brazil and Institute of Informatics, Federal University of Goiás (UFG), Goiania, GO, Brazil. 2. Finitary Filter Pairs and Propositional Logics Peter Arndt, Hugo L. Mariano and Darllan C. Pinto Department of Mathematics, University of Düsseldorf, Düsseldorf, Germany; Department of Mathematics, University of São Paulo, São Paulo, SP, Brazil and Department of Mathematics, Federal University of Bahia (UFBA), Salvador, BA, Brazil 3. Dolev-Yao Multi-Agent Epistemic Logic Mario R. F. Benevides, Luiz C. F. Fernandez, and Anna C. C. M. de Oliveira Department of Computer Science (Institute of Mathematics) and Systems Engineering and Computer cience Program (Coppe), Federal University of Rio de Janeiro (UFRJ) Rio de Janeiro, RJ, Brazil 4. Classifying Toposes for Some Theories of C-8-Rings Jean Cerqueira Berni and Hugo Luiz Mariano Department of Mathematics, University of São Paulo, São Paulo, SP, Brazil 5. More on Categorial Forms of the Axiom of Choice Andreas B. M. Brunner, Hugo L. Mariano, Darllan C. Pinto and Samuel G. da Silva Department of Mathematics, Federal University of Bahia (UFBA), Salvador, BA, Brazil and Department of Mathematics, University of São Paulo, São Paulo, SP, Brazil 6. Remarks on Expansions of the Real Field: Tameness, Hardy Fields and Smooth Rings Rodrigo Figueiredo and Hugo L. Mariano Department of Mathematics, University of São Paulo, São Paulo, SP, Brazil 7. On the Uncomputability of Partial Meet Contraction for Linear-Time Temporal Logic Paulo T. Guerra and Renata Wassermann Federal University of Ceará (UFC), Quixadá, Ceará, Brazil and Institute of Mathematics and Statistics, University of São Paulo, São Paulo, SP, Brazil 8. Analyzing Categories of Signatures Caio A. Mendes and Hugo L. Mariano Institute of Mathematics and Statistics, University of São Paulo, São Paulo, SP, Brazil 9. On Rings of Fractions of Reduced f-Rings by Non Zero-Divisors Francisco Miraglia Institute of Mathematics and Statistics, University of São Paulo, São Paulo, SP, Brazil 10. Explicit Computational Paths Arthur F. Ramos, Ruy. J. G. B. de Queiroz, Anjolina G. de Oliveira and Tiago M. L. de Veras Centre of Informmatics, Federal University of Pernambuco, Recife, PE, Brazil 11. End of the Square? Fabien Schang Faculty of Philosophy, Federal University of Goiás (UFG), Goiania, GO, Brazil -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAKRerOxP8MsLwVVJLbQr3MUe13UuGQ4c6G%3DczVP791u6aSz4VQ%40mail.gmail.com.
