Caros(as) colegas Anunciamos com orgulho o lançamento online do último número do South American Journal of Logic (SAJL), dedicado aos 70 anos do grande lógico e matemático brasileiro Francisco "Chico" Miraglia, um exemplo e um mestre para muitos de nós. O volume, editado nesta ocasião por Marcelo E. Coniglio, Hugo L. Mariano e Vinicius Cifú Lopes, continua as celebrações iniciadas no Workshop "Logic and Applications: in honor to Francisco Miraglia by the occasion of his 70th birthday" realizado no IME-USP em setembro de 2016, e reúne 16 artigos de destacados colegas do Brasil e do exterior (ver informações abaixo). A versão impressa do volume vai ser divulgada em primeira mão durante o 17th Latin American Symposium on Mathematical Logic (SLALM 2017), Puebla, Mexico, 26 - 30 de Junho.
Aproveitamos o ensejo para anunciar que a partir de agora o SAJL está indexado pelo Mathematical Reviews. Lembramos que todos os artigos publicados no SAJL encontram-se disponíveis para download gratuito no página da revista: http://www.sa-logic.org/start1.html Aguardamos suas submissões, em todas as áreas da Lógica! Um abraço Jean-Yves Beziau e Marcelo E. Coniglio Editores South American Journal of Logic ISSN 2446-6719 ------------------------------------------------------------------- South American Journal of Logic Volume 2, Issue 2, December 2016 Special Issue dedicated to Francisco Miraglia on the occasion of his 70th anniversary Table of Contents Foreword: A Festschrift for Francisco Miraglia Marcelo Esteban Coniglio, Hugo Luiz Mariano and Vinicius Cifú Lopes (Guest Editors) 1. A Quarter of a Century of Joint Work with Chico Miraglia Max Dickmann 2. On Inverse Limits of Compact Structures Xavier Caicedo and Santiago Pinzón 3. On Alien Primes, Exotic Number Theory, and Mathematical Pluralism Walter Carnielli 4. The von Neumann-Regular Hull of (Preordered) Rings and Quadratic Forms Peter Arndt and Hugo Luiz Mariano 5. Propositional Equality, Identity Types, and Computational Paths Ruy J.G.B. de Queiroz, Anjolina G. de Oliveira and Arthur F. Ramos 6. Some Model Theory of Hypergeometric and Pfaffian Functions Ricardo Bianconi 7. Studies on da Costa's Paraconsistent Differential Calculus: Hypermetric and Hyperfunctions Itala M. Loffredo D'Ottaviano and Marcelo Reicher Soares 8. Forcing and Ultrafilters on FIN Daniel Calderón and Carlos A. Di Prisco 9. Grasping Sets Through Ordinals: On a Weak Form of the Constructibility Axiom Rodrigo A. Freire 10. A Really Simple Proof of the Artin-Schreier Characterization of Real Closed Fields Odilon Otávio Luciano 11. Model Theory in Sheaves, Andreas Bernhard Michael Brunner 12. Quantales and Their Modules: Projective Objects, Ideals, and Congruences, Ciro Russo 13. Identifying Small with Bounded: Unboundedness, Domination, Ideals and Their Cardinal Invariants, Harlen Garcia and Samuel G. da Silva 14. Generic Stability and Grothendieck, Anand Pillay 15. Lukasiewicz logic and MV-algebras: Recent Results, Daniele Mundici 16. Bounded Pregeometries and Pairs of Fields, Leonardo Angel and Lou van den Dries -- 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 logica-l+unsubscr...@dimap.ufrn.br. Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAMuX%3D343QAPkPMOypYxADF0A%3DyS%3DmDrzr9uZedvK480J3yZHkw%40mail.gmail.com.