Fwd: Logic Journal of the IGPL Table of Contents for August 2017

[Joao Marcos]

Agora sim, o special issue completo do EBL 2014.  Parabéns a seus autores e editores!

JM

---------- Forwarded message ----------

New issue alert     Volume 25 Issue 4   August 2017         Special Issue: The Proceedings of the XVII EBL: 17th Brazilian Logic Conference, 2014 Guest Editors: Walter Carnielli, Edward Hermann Haeusler and Petrucio Viana   Foreword       Foreword     Walter Carnielli; Edward Hermann Haeusler; Petrucio Viana     Original Articles       A paraconsistent route to semantic closure     Eduardo Alejandro Barrio; Federico Matias Pailos; Damian Enrique Szmuc     Categorial forms of the Axiom of Choice     Andreas B. M. Brunner; Hugo L. Mariano; Samuel G. da Silva     Non-idempotent intersection types for the Lambda-Calculus     Antonio Bucciarelli; Delia Kesner; Daniel Ventura     Modal operators for meet-complemented lattices     José Luis Castiglioni; Rodolfo C. Ertola-Biraben     Symmetric operators on modal pseudocomplemented De Morgan algebras     Aldo Figallo-Orellano; Alicia Ziliani; Martín Figallo     Descriptions in quantum mechanics     Décio Krause     Algebraizable logics and a functorial encoding of its morphisms     Darllan Conceição Pinto; Hugo Luiz Mariano     On the identity type as the type of computational paths     Arthur F. Ramos; Ruy J. G. B. De Queiroz; Anjolina G. De Oliveira     Dialectical categories, cardinalities of the continuum and combinatorics of ideals     Samuel G. da Silva; Valeria C. V. de Paiva     Continuous versions of Haack’s puzzles: equilibria, eigen-states and ontologies     Julio Michael Stern     AGM-like paraconsistent belief change     Rafael R. Testa ; Marcelo E. Coniglio; Márcio M. Ribeiro