South American Journal of Logic vol. 2, n..2 -

[Marcelo Esteban Coniglio]

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

[jyb]

Gostaria de emfatizar que o nosso jornal 

South American Journal of Logic - SAJL

foi reconhecido muito rapidemente pela AMS (American Mathematical Society)

- o que não é obvio nesta epoca onde tem muitos "fake" open access jornais

- coniderando que decidimos de crear um website que não é parecido 

1) nem com os "fakes" open access jornais comerciais,

2) nem com os jornais oficiais tradicionais comerciais que não são open access, 

3) nem com os jornais  open access não comerciais que usam  quase tudos  a  mesma fomatacao.

Jean-Yves

[Francisco Miraglia]

Caros Colegas, Prezadas Colegas,

Registro meu enorme agradecimento aos editores e aos
autores e amigos que contribuiram para esta edição do SAJL.

Um grande abraço,

Chico Miraglia

> --
> 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+u...@dimap.ufrn.br.
> Para postar neste grupo, envie um e-mail para logi...@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.