Proceedings of the XVIII EBL

[Jonas Becker]

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