[Logica-l] Simposio LatinAmericano de Lógica Matemática XV, Bogotá, June 4-8, 2012 (second announcement)

[Pedro H. Zambrano]

Caros colegas:

Encaminho o segundo anúncio do SLALM que ocorrerá em Bogotá na Colômbia em
Junho de 2012.

Mil desculpas por possíveis duplicidades.

Grande abraço da Colômbia,

Pedro Zambrano
Departamento de Matemáticas
Universidad Nacional de Colombia
Bogotá Colômbia.

-- Mensaje reenviado --
De: John Goodrick 
Fecha: 18 de marzo de 2012 12:31
Asunto: Simposio LatinAmericano de Lógica Matemática XV, Bogotá, June 4-8,
2012 (second announcement)
Para: jr.goodrick...@uniandes.edu.co


Dear all,

I'm forwarding you this, a second (updated) announcement from the
organizing committee of SLALM XV, with the usual apologies to those who are
receiving multiple copies:

SECOND ANNOUNCEMENT

Please forward to anyone who might be interested.


The 15th Latin American Symposium on Mathematical Logic, SLALM 2012,
will be held in Bogota, Colombia, during the week of June 4 to 8,
2012. The week before the meeting, from Wednesday May 30th
until Saturday June 2nd, we will have three tutorials in Model Theory,
Set Theory and Algebraic Logic.

The first SLALM (Simposio Latinoamericano de Lógica Matemática) was
held in 1970 in Santiago de Chile and subsequent meetings have taken
place in Brazil, Chile, Colombia, Venezuela, Argentina, Costa Rica,
and Mexico.

In addition to plenary talks and the tutorials, this meeting will
include four special sessions on Algebraic and Non-classical logics,
Model Theory, Recursion and Computer Science Logic, and Set Theory.

The three tutorials will be given by:
 * Hans Adler (Vienna, Austria), Model Theory.
 * Andrés Caicedo (Boise, USA), Set Theory.
 * Nikolaos Galatos (Denver, USA), Algebraic Logic.

Invited speakers include:
 * Josep Maria Font (Barcelona, Spain)
 * Deirdre Haskell (McMaster University, Canada)
 * Denis Hirschfeldt (Chicago, USA)
 * Ulrich Kohlenbach (Darmstad, Germany)
 * Benedikt Löwe (ILLC, Netherlands)
 * Antonio Montalbán (Chicago, USA)
 * Justin Moore (Cornell,USA)
 * Daniele Mundici (Florence,Italy)
 * Alf Onshuus (U. de los Andes, Colombia)
 * Valeria de Paiva (Palo Alto Research, USA)
 * Tom Scanlon (Berkeley, USA)
 * Simon Thomas (Rutgers, USA)
 * Jouko Väänänen (Helsinki, Finland and Amsterdam, Netherlands)

We invite proposals for contributed talks in all areas of logic.
Abstracts for contributed talks must be submitted, indicating the session
closest to their topic, by APRIL 4th (extended deadline), 2012, to the
e-mail
address  sl...@uniandes.edu.co

Abstracts of the contributed talks will be published in The Bulletin of
Symbolic Logic.

REGISTRATION: If you are planning to attend the meeting, please register at
the meeting's website:

http://matematicas.uniandes.edu.co/eventos/SLALM2012/


The SLALM2012 is sponsored by the Association for Symbolic Logic
(ASL), Universidad de los Andes, Universidad Nacional de Colombia,
Universidad Sergio Arboleda, Universidad Antonio Nariño,
International Mathematical Union (IMU), Colciencias and NSF.

PROGRAM COMMITTEE: Xavier Caicedo (U. de los Andes, Colombia),
Walter Carnielli (U. de Campinas, Brasil), Roberto Cignoli (U. de Buenos
Aires, Argentina), Carlos Di Prisco (IVIC, Venezuela), Rod Downey
(Victoria University, New Zealand), Angus Macintyre (Queen Mary
College, England), Menachem Magidor (U. of Jerusalem, Israel),
Francisco Miraglia (U. de Sao Paulo, Brasil), and Charles Steinhorn
(Vassar College, USA).

ORGANIZING COMMITTE: Alexander Berenstein, Xavier Caicedo, Luis
Jaime Corredor, Carlos Di Prisco, Ramiro de la Vega, José Iovino,
John Goodrick, Alf Onshuus, Andrés Villaveces, and Fernando Zalamea.

CONTACT INFORMATION:
For more information please check the meeting's website

http://matematicas.uniandes.edu.co/eventos/SLALM2012/

or write to the the contact address: sl...@uniandes.edu.co

In conjunction with SLALM 2012, there will be a satellite workshop in model
theory directly afterwards with the theme "Notions of minimality and rank in
dependent theories." This will take place from June 10 to 13 in Villa de
Leyva (two hours to the north of Bogotá by car). For more information on
this workshop, please contact John Goodrick (jr.goodrick...@uniandes.edu.co)
or visit the workshop website:

http://matematicas.uniandes.edu.co/~goodrick/vdl.html



-- 
Pedro Zambrano
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] SBIA 2012: deadline extensions

[Marcelo Finger]

Please note new deadlines:
- Submission of abstracts and paper registration: March 26, 2012 [extended]
- Submission for regular papers: March 29, 2012 [extended]


--
SBIA 2012
21st Brazilian Symposium on Artificial Intelligence

Curitiba, Paraná, 20-25 October 2012
--

http://www.inf.ufpr.br/bracis2012/SBIA.html

SBIA is the leading conference in Brazil for presentation of research
and applications in Artificial Intelligence. It aims to promote
research of international level in AI and scientific exchange among AI
researchers, practitioners, scientists, and engineers in related
disciplines, congregated in Brazil.  SBIA 2012 especially encourages
submissions that cross discipline boundaries within Artificial
Intelligence, and between Artificial Intelligence and other
disciplines.

Since 1995, SBIA has become an international conference, with papers
written in English, international program committee and keynote
speakers, and proceedings published in the LNAI series of
Springer-Verlag.


# Important Dates:

- Submission of abstracts and paper registration: March 26, 2012 [extended]
- Submission for regular papers: March 29, 2012 [extended]
- Acceptance notification: May 10, 2012
- Final camera-ready papers due: June 07, 2012

# Topics of Interest:

- Foundations of AI
- Knowledge Representation and Reasoning (including Logics,
 Commonsense Reasoning, Model-Based Reasoning, Probabilistic
 Reasoning, Ontologies, Semantic Web)
- Probabilistic reasoning
- Constraints and Search
- Planning and Scheduling
- Machine Learning and Data Mining
- AI applied to Natural Language Processing
- Computer Vision and Pattern Recognition
- Agent-based and multi-agent systems
- Distributed AI
- Game Playing and Intelligent Interactive Entertainment
- Information retrieval, integration, and extraction
- Multidisciplinary AI
- Intelligent Robotics
- Cognitive modeling and human interaction
- AI and Education
- Other AI related topics

# Proceedings

All accepted papers will be published by Springer-Verlag in the Lectures
Notes in Artificial Intelligence Series (http://www.springer.com/lncs).

# Submissions and Posters

Papers should present substantial new results in theoretical,
empirical and applied research related to the topics of the
conference. Papers must be written in English and must not exceed 10
pages (Springer-Verlag Lecture Notes style file), including title,
abstract, all tables, figures, and references.  Authors will be
required to submit their paper abstract a few days before the paper
submission deadlines.

SBIA 2012 is innovating by requesting that all authors of accepted
papers participate in a poster session besides giving an oral
presentation.

Furthermore, this edition will also award a prize for best paper.

# Submission

Papers must be submitted in PDF files using the JEMS submission system,
located at

https://submissoes.sbc.org.br/sbia2012

# Submission Policy

By submitting papers to SBIA 2012, the authors agree that in case of
acceptance at least one author registers to the conference and presents
the paper.

# Double blind reviewing:

Reviewing for papers will be blind to the identities of the authors and
their institutions.

# Program Chairs: Leliane Nunes Barros (USP) and Marcelo Finger (USP)


-- 
Marcelo Finger
 Departamento de Ciencia da Computacao
 Instituto de Matematica e Estatistica
 Universidade de Sao Paulo
 Rua do Matao, 1010
 05508-090    Sao Paulo, SP     Brazil
 Tel: +55 11 3091-9688, 3091-6135, 3091-6134 (fax)
 http://www.ime.usp.br/~mfinger
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] documento para a capes

[Rodrigo Freire]

Caros colegas

Nos últimos dias, eu, Samuel, Valéria e o Charles elaboramos uma proposta
para o qualis que deverá ser encaminhada a capes. O documento contém dois
componentes: uma carta e uma tabela com revistas e propostas de
classificação. Estou encaminhando a carta no corpo dessa mensagem. Como
essa lista não aceita anexos, estamos pensando como vamos disponibilizar a
tabela.

A idéia é ouvir as opiniões da lista e depois preparar um documento
contendo um abaixo assinado que deverá ser encaminhado a capes e divulgado
no jornal da ciência.

Lembro que a atualização do qualis está em processo, por isso temos *pouco
tempo* para ajustes. (Aparentemente o qualis da física já foi atualizado).
Manifestem-se.

Abraço
Rodrigo



[Aos comitês relevantes da Capes para o Qualis]

O presente documento tem por finalidades: (i) diagnosticar e avaliar a
situação
das publicações em Lógica perante o Qualis-2009, e (ii) levar aos comitês
responsáveis
da Capes uma proposta da comunidade acadêmica para a atualização em curso
(2012)
do Qualis no que se refere à Lógica. Com relação ao primeiro objetivo,
notamos que as
publicações em Lógica abrangem as áreas de Matemática, Filosofia e Ciência
da
Computação e constatamos que nas respectivas listas Qualis a situação da
Lógica é
insatisfatória em mais de um aspecto. Em primeiro lugar, várias entre as
melhores
revistas de Lógica sequer possuem uma classificação em pelo menos uma
dessas áreas.
Em segundo lugar, nas listas correspondentes às três áreas acima, as
revistas de Lógica
não apresentam uma classificação coerente nem com a qualidade das mesmas,
nem com
a percepção da comunidade internacional a respeito delas. Por último,
notamos que, em
duas dessas áreas (Matemática e Ciência da Computação), a Lógica aparece
desvalorizada com relação às demais subáreas, não sendo contemplada com
nenhuma
revista especializada nos estratos A.

A presente proposta elabora em detalhes os pontos de insatisfação levantados
acima, considerando a partir de agora a situação da Lógica separadamente em
cada uma
das três áreas destacadas, começando pela Matemática. Há, em grande medida,
consenso na comunidade internacional de lógicos matemáticos sobre quais são
as
melhores entre as revistas especializadas que publicam pesquisa original em
Lógica
Matemática. São elas (em ordem alfabética): Annals of Pure and Applied
Logic,
Archive for Mathematical Logic, Fundamenta Mathematicae, Journal of
Mathematical
Logic, Mathematical Logic Quarterly, Notre Dame Journal of Formal Logic e
The
Journal of Symbolic Logic. No presente momento, apenas duas entre as sete
revistas
listadas acima possuem uma classificação segundo Qualis na área de
Matemática
(ambas B1). No documento anexo segue uma proposta de classificação para
cada uma
dessas sete revistas, divididas em dois grupos: um grupo de três revistas,
que julgamos
ter qualidade compatível com o estrato A1 e um grupo com as quatro revistas
restantes,
que julgamos ter qualidade compatível com o estrato A2. No primeiro grupo
encontramse
Annals of Pure and Applied Logic, Journal of Mathematical Logic e The
Journal of
Symbolic Logic, conforme indicado no documento anexo. Lembramos que a Lógica
Matemática não é uma subdivisão da Álgebra ou da Análise, por isso não está
contemplada por revistas especializadas em outras áreas. Ao contrário,
trata-se de uma
disciplina autônoma com intensa atividade de pesquisa em Computabilidade,
Teoria de
Conjuntos, Teoria de Modelos e Teoria da Prova. Não obstante, a Lógica
Matemática
apresenta conexões substanciais com Álgebra Universal, Análise não-Standard,
Geometria Algébrica, Teoria de Categorias, Teoria da Computação, Teoria da
Medida,
Teoria de Espaços de Banach, Topologia Geral, entre outras, e há potencial
para
estabelecer outras relações e para aprofundar as relações já existentes. A
Lógica
Matemática é comparável, em extensão e profundidade de seus resultados, a
outras
disciplinas matemáticas atualmente contempladas com vários periódicos nos
estratos A.

Com relação à Filosofia, a atualização da lista Qualis ocorrida em 2009
corrigiu
algumas distorções relativas à Lógica. Contudo, há ainda ausências
notáveis: as revistas
The Review of Symbolic Logic e Notre Dame Journal of Formal Logic não
possuem
classificação. Essa situação é compreensível no caso da primeira, pois a
mesma foi
criada em 2008 e a última lista Qualis foi produzida já em 2009, mas é
totalmente
incompreensível no caso da segunda. O Notre Dame Journal of Formal Logic
possui
grande tradição na área de Lógica Filosófica e Fundamentos da Matemática, e
é
considerado um dos melhores periódicos de Lógica Formal. Portanto, propomos
que
essas revistas sejam classificadas pelo Qualis e que recebam uma avaliação
compatível
com a reconhecida qualidade das mesmas. A proposta completa encontra-se no
documento anexo.

Finalmente, a lista Qualis em Ciência da Computação apresenta discrepâncias
similares àquelas da Matemática: apenas uma entre as sete melhores revistas
de Lógica

Re: [Logica-l] documento para a capes

[Valeria de Paiva]

Caros colegas,

Continuando a mensagem do Rodrigo abaixo, a tabela com revistas de Logica
pras quais reivindicamos modificacoes no Qualis esta' disponivel no Google
doc
https://docs.google.com/spreadsheet/ccc?key=0AiQvGrHooOoHdEVhUDU2YlUxdHZZbHc1LThUTWx5NGc

Todas as sugestoes de melhorias sao bemvindas, mas como ressaltou o
Rodrigo, o tempo 'e curto e e' melhor pelos menos conseguir pedir uma
pequena melhoria do que esperar outros tres anos pra poder PEDIR qualquer
coisa.

Abracos logicos,

Valeria

2012/3/20 Rodrigo Freire 

> Caros colegas
>
> Nos últimos dias, eu, Samuel, Valéria e o Charles elaboramos uma proposta
> para o qualis que deverá ser encaminhada a capes. O documento contém dois
> componentes: uma carta e uma tabela com revistas e propostas de
> classificação. Estou encaminhando a carta no corpo dessa mensagem. Como
> essa lista não aceita anexos, estamos pensando como vamos disponibilizar a
> tabela.
>
> A idéia é ouvir as opiniões da lista e depois preparar um documento
> contendo um abaixo assinado que deverá ser encaminhado a capes e divulgado
> no jornal da ciência.
>
> Lembro que a atualização do qualis está em processo, por isso temos *pouco
> tempo* para ajustes. (Aparentemente o qualis da física já foi atualizado).
> Manifestem-se.
>
> Abraço
> Rodrigo
>
>
>
> [Aos comitês relevantes da Capes para o Qualis]
>
> O presente documento tem por finalidades: (i) diagnosticar e avaliar a
> situação
> das publicações em Lógica perante o Qualis-2009, e (ii) levar aos comitês
> responsáveis
> da Capes uma proposta da comunidade acadêmica para a atualização em curso
> (2012)
> do Qualis no que se refere à Lógica. Com relação ao primeiro objetivo,
> notamos que as
> publicações em Lógica abrangem as áreas de Matemática, Filosofia e Ciência
> da
> Computação e constatamos que nas respectivas listas Qualis a situação da
> Lógica é
> insatisfatória em mais de um aspecto. Em primeiro lugar, várias entre as
> melhores
> revistas de Lógica sequer possuem uma classificação em pelo menos uma
> dessas áreas.
> Em segundo lugar, nas listas correspondentes às três áreas acima, as
> revistas de Lógica
> não apresentam uma classificação coerente nem com a qualidade das mesmas,
> nem com
> a percepção da comunidade internacional a respeito delas. Por último,
> notamos que, em
> duas dessas áreas (Matemática e Ciência da Computação), a Lógica aparece
> desvalorizada com relação às demais subáreas, não sendo contemplada com
> nenhuma
> revista especializada nos estratos A.
>
> A presente proposta elabora em detalhes os pontos de insatisfação
> levantados
> acima, considerando a partir de agora a situação da Lógica separadamente
> em cada uma
> das três áreas destacadas, começando pela Matemática. Há, em grande medida,
> consenso na comunidade internacional de lógicos matemáticos sobre quais
> são as
> melhores entre as revistas especializadas que publicam pesquisa original
> em Lógica
> Matemática. São elas (em ordem alfabética): Annals of Pure and Applied
> Logic,
> Archive for Mathematical Logic, Fundamenta Mathematicae, Journal of
> Mathematical
> Logic, Mathematical Logic Quarterly, Notre Dame Journal of Formal Logic e
> The
> Journal of Symbolic Logic. No presente momento, apenas duas entre as sete
> revistas
> listadas acima possuem uma classificação segundo Qualis na área de
> Matemática
> (ambas B1). No documento anexo segue uma proposta de classificação para
> cada uma
> dessas sete revistas, divididas em dois grupos: um grupo de três revistas,
> que julgamos
> ter qualidade compatível com o estrato A1 e um grupo com as quatro
> revistas restantes,
> que julgamos ter qualidade compatível com o estrato A2. No primeiro grupo
> encontramse
> Annals of Pure and Applied Logic, Journal of Mathematical Logic e The
> Journal of
> Symbolic Logic, conforme indicado no documento anexo. Lembramos que a
> Lógica
> Matemática não é uma subdivisão da Álgebra ou da Análise, por isso não está
> contemplada por revistas especializadas em outras áreas. Ao contrário,
> trata-se de uma
> disciplina autônoma com intensa atividade de pesquisa em Computabilidade,
> Teoria de
> Conjuntos, Teoria de Modelos e Teoria da Prova. Não obstante, a Lógica
> Matemática
> apresenta conexões substanciais com Álgebra Universal, Análise
> não-Standard,
> Geometria Algébrica, Teoria de Categorias, Teoria da Computação, Teoria da
> Medida,
> Teoria de Espaços de Banach, Topologia Geral, entre outras, e há potencial
> para
> estabelecer outras relações e para aprofundar as relações já existentes. A
> Lógica
> Matemática é comparável, em extensão e profundidade de seus resultados, a
> outras
> disciplinas matemáticas atualmente contempladas com vários periódicos nos
> estratos A.
>
> Com relação à Filosofia, a atualização da lista Qualis ocorrida em 2009
> corrigiu
> algumas distorções relativas à Lógica. Contudo, há ainda ausências
> notáveis: as revistas
> The Review of Symbolic Logic e Notre Dame Journal of Formal Logic não
> possuem
> cla

Re: [Logica-l] documento para a capes

[Elaine Pimentel]

Hola, Valeria!!!

parabens pela iniciativa!

Então, na lista de vocês eu só senti falta da  ACM Transactions on
Computational Logic (TOCL). Não sei porque, só aparece em Farmácia e áreas
afins...

Beijo!


2012/3/20 Valeria de Paiva 

> Caros colegas,
>
> Continuando a mensagem do Rodrigo abaixo, a tabela com revistas de Logica
> pras quais reivindicamos modificacoes no Qualis esta' disponivel no Google
> doc
>
> https://docs.google.com/spreadsheet/ccc?key=0AiQvGrHooOoHdEVhUDU2YlUxdHZZbHc1LThUTWx5NGc
>
> Todas as sugestoes de melhorias sao bemvindas, mas como ressaltou o
> Rodrigo, o tempo 'e curto e e' melhor pelos menos conseguir pedir uma
> pequena melhoria do que esperar outros tres anos pra poder PEDIR qualquer
> coisa.
>
> Abracos logicos,
>
> Valeria
>
> 2012/3/20 Rodrigo Freire 
>
> > Caros colegas
> >
> > Nos últimos dias, eu, Samuel, Valéria e o Charles elaboramos uma proposta
> > para o qualis que deverá ser encaminhada a capes. O documento contém dois
> > componentes: uma carta e uma tabela com revistas e propostas de
> > classificação. Estou encaminhando a carta no corpo dessa mensagem. Como
> > essa lista não aceita anexos, estamos pensando como vamos disponibilizar
> a
> > tabela.
> >
> > A idéia é ouvir as opiniões da lista e depois preparar um documento
> > contendo um abaixo assinado que deverá ser encaminhado a capes e
> divulgado
> > no jornal da ciência.
> >
> > Lembro que a atualização do qualis está em processo, por isso temos
> *pouco
> > tempo* para ajustes. (Aparentemente o qualis da física já foi
> atualizado).
> > Manifestem-se.
> >
> > Abraço
> > Rodrigo
> >
> >
> >
> > [Aos comitês relevantes da Capes para o Qualis]
> >
> > O presente documento tem por finalidades: (i) diagnosticar e avaliar a
> > situação
> > das publicações em Lógica perante o Qualis-2009, e (ii) levar aos comitês
> > responsáveis
> > da Capes uma proposta da comunidade acadêmica para a atualização em curso
> > (2012)
> > do Qualis no que se refere à Lógica. Com relação ao primeiro objetivo,
> > notamos que as
> > publicações em Lógica abrangem as áreas de Matemática, Filosofia e
> Ciência
> > da
> > Computação e constatamos que nas respectivas listas Qualis a situação da
> > Lógica é
> > insatisfatória em mais de um aspecto. Em primeiro lugar, várias entre as
> > melhores
> > revistas de Lógica sequer possuem uma classificação em pelo menos uma
> > dessas áreas.
> > Em segundo lugar, nas listas correspondentes às três áreas acima, as
> > revistas de Lógica
> > não apresentam uma classificação coerente nem com a qualidade das mesmas,
> > nem com
> > a percepção da comunidade internacional a respeito delas. Por último,
> > notamos que, em
> > duas dessas áreas (Matemática e Ciência da Computação), a Lógica aparece
> > desvalorizada com relação às demais subáreas, não sendo contemplada com
> > nenhuma
> > revista especializada nos estratos A.
> >
> > A presente proposta elabora em detalhes os pontos de insatisfação
> > levantados
> > acima, considerando a partir de agora a situação da Lógica separadamente
> > em cada uma
> > das três áreas destacadas, começando pela Matemática. Há, em grande
> medida,
> > consenso na comunidade internacional de lógicos matemáticos sobre quais
> > são as
> > melhores entre as revistas especializadas que publicam pesquisa original
> > em Lógica
> > Matemática. São elas (em ordem alfabética): Annals of Pure and Applied
> > Logic,
> > Archive for Mathematical Logic, Fundamenta Mathematicae, Journal of
> > Mathematical
> > Logic, Mathematical Logic Quarterly, Notre Dame Journal of Formal Logic e
> > The
> > Journal of Symbolic Logic. No presente momento, apenas duas entre as sete
> > revistas
> > listadas acima possuem uma classificação segundo Qualis na área de
> > Matemática
> > (ambas B1). No documento anexo segue uma proposta de classificação para
> > cada uma
> > dessas sete revistas, divididas em dois grupos: um grupo de três
> revistas,
> > que julgamos
> > ter qualidade compatível com o estrato A1 e um grupo com as quatro
> > revistas restantes,
> > que julgamos ter qualidade compatível com o estrato A2. No primeiro grupo
> > encontramse
> > Annals of Pure and Applied Logic, Journal of Mathematical Logic e The
> > Journal of
> > Symbolic Logic, conforme indicado no documento anexo. Lembramos que a
> > Lógica
> > Matemática não é uma subdivisão da Álgebra ou da Análise, por isso não
> está
> > contemplada por revistas especializadas em outras áreas. Ao contrário,
> > trata-se de uma
> > disciplina autônoma com intensa atividade de pesquisa em Computabilidade,
> > Teoria de
> > Conjuntos, Teoria de Modelos e Teoria da Prova. Não obstante, a Lógica
> > Matemática
> > apresenta conexões substanciais com Álgebra Universal, Análise
> > não-Standard,
> > Geometria Algébrica, Teoria de Categorias, Teoria da Computação, Teoria
> da
> > Medida,
> > Teoria de Espaços de Banach, Topologia Geral, entre outras, e há
> potencial
> > para
> > estabelecer outras relações e para aprofundar a

Re: [Logica-l] documento para a capes

[Itala M. L. D'Ottaviano]

Caro Rodrigo:

Concordo com os termos do documento.
Entretanto, como não está mencionada Studia Logica?

Itala
> Caros colegas
>
> Nos últimos dias, eu, Samuel, Valéria e o Charles elaboramos uma proposta
> para o qualis que deverá ser encaminhada a capes. O documento contém dois
> componentes: uma carta e uma tabela com revistas e propostas de
> classificação. Estou encaminhando a carta no corpo dessa mensagem. Como
> essa lista não aceita anexos, estamos pensando como vamos disponibilizar a
> tabela.
>
> A idéia é ouvir as opiniões da lista e depois preparar um documento
> contendo um abaixo assinado que deverá ser encaminhado a capes e divulgado
> no jornal da ciência.
>
> Lembro que a atualização do qualis está em processo, por isso temos *pouco
> tempo* para ajustes. (Aparentemente o qualis da física já foi atualizado).
> Manifestem-se.
>
> Abraço
> Rodrigo
>
>
>
> [Aos comitês relevantes da Capes para o Qualis]
>
> O presente documento tem por finalidades: (i) diagnosticar e avaliar a
> situação
> das publicações em Lógica perante o Qualis-2009, e (ii) levar aos comitês
> responsáveis
> da Capes uma proposta da comunidade acadêmica para a atualização em curso
> (2012)
> do Qualis no que se refere à Lógica. Com relação ao primeiro objetivo,
> notamos que as
> publicações em Lógica abrangem as áreas de Matemática, Filosofia e Ciência
> da
> Computação e constatamos que nas respectivas listas Qualis a situação da
> Lógica é
> insatisfatória em mais de um aspecto. Em primeiro lugar, várias entre as
> melhores
> revistas de Lógica sequer possuem uma classificação em pelo menos uma
> dessas áreas.
> Em segundo lugar, nas listas correspondentes às três áreas acima, as
> revistas de Lógica
> não apresentam uma classificação coerente nem com a qualidade das mesmas,
> nem com
> a percepção da comunidade internacional a respeito delas. Por último,
> notamos que, em
> duas dessas áreas (Matemática e Ciência da Computação), a Lógica aparece
> desvalorizada com relação às demais subáreas, não sendo contemplada com
> nenhuma
> revista especializada nos estratos A.
>
> A presente proposta elabora em detalhes os pontos de insatisfação levantados
> acima, considerando a partir de agora a situação da Lógica separadamente em
> cada uma
> das três áreas destacadas, começando pela Matemática. Há, em grande medida,
> consenso na comunidade internacional de lógicos matemáticos sobre quais são
> as
> melhores entre as revistas especializadas que publicam pesquisa original em
> Lógica
> Matemática. São elas (em ordem alfabética): Annals of Pure and Applied
> Logic,
> Archive for Mathematical Logic, Fundamenta Mathematicae, Journal of
> Mathematical
> Logic, Mathematical Logic Quarterly, Notre Dame Journal of Formal Logic e
> The
> Journal of Symbolic Logic. No presente momento, apenas duas entre as sete
> revistas
> listadas acima possuem uma classificação segundo Qualis na área de
> Matemática
> (ambas B1). No documento anexo segue uma proposta de classificação para
> cada uma
> dessas sete revistas, divididas em dois grupos: um grupo de três revistas,
> que julgamos
> ter qualidade compatível com o estrato A1 e um grupo com as quatro revistas
> restantes,
> que julgamos ter qualidade compatível com o estrato A2. No primeiro grupo
> encontramse
> Annals of Pure and Applied Logic, Journal of Mathematical Logic e The
> Journal of
> Symbolic Logic, conforme indicado no documento anexo. Lembramos que a Lógica
> Matemática não é uma subdivisão da Álgebra ou da Análise, por isso não está
> contemplada por revistas especializadas em outras áreas. Ao contrário,
> trata-se de uma
> disciplina autônoma com intensa atividade de pesquisa em Computabilidade,
> Teoria de
> Conjuntos, Teoria de Modelos e Teoria da Prova. Não obstante, a Lógica
> Matemática
> apresenta conexões substanciais com Álgebra Universal, Análise não-Standard,
> Geometria Algébrica, Teoria de Categorias, Teoria da Computação, Teoria da
> Medida,
> Teoria de Espaços de Banach, Topologia Geral, entre outras, e há potencial
> para
> estabelecer outras relações e para aprofundar as relações já existentes. A
> Lógica
> Matemática é comparável, em extensão e profundidade de seus resultados, a
> outras
> disciplinas matemáticas atualmente contempladas com vários periódicos nos
> estratos A.
>
> Com relação à Filosofia, a atualização da lista Qualis ocorrida em 2009
> corrigiu
> algumas distorções relativas à Lógica. Contudo, há ainda ausências
> notáveis: as revistas
> The Review of Symbolic Logic e Notre Dame Journal of Formal Logic não
> possuem
> classificação. Essa situação é compreensível no caso da primeira, pois a
> mesma foi
> criada em 2008 e a última lista Qualis foi produzida já em 2009, mas é
> totalmente
> incompreensível no caso da segunda. O Notre Dame Journal of Formal Logic
> possui
> grande tradição na área de Lógica Filosófica e Fundamentos da Matemática, e
> é
> considerado um dos melhores periódicos de Lógica Formal. Portanto, propomos
> que
> essas re

Re: [Logica-l] documento para a capes

[Itala M. L. D'Ottaviano]

Caro Rodrido:

Concordo com os termos do documento.
Entretanto, como não está mencionada Studia Logica?

Itala
> Caros colegas
>
> Nos últimos dias, eu, Samuel, Valéria e o Charles elaboramos uma proposta
> para o qualis que deverá ser encaminhada a capes. O documento contém dois
> componentes: uma carta e uma tabela com revistas e propostas de
> classificação. Estou encaminhando a carta no corpo dessa mensagem. Como
> essa lista não aceita anexos, estamos pensando como vamos disponibilizar a
> tabela.
>
> A idéia é ouvir as opiniões da lista e depois preparar um documento
> contendo um abaixo assinado que deverá ser encaminhado a capes e divulgado
> no jornal da ciência.
>
> Lembro que a atualização do qualis está em processo, por isso temos *pouco
> tempo* para ajustes. (Aparentemente o qualis da física já foi atualizado).
> Manifestem-se.
>
> Abraço
> Rodrigo
>
>
>
> [Aos comitês relevantes da Capes para o Qualis]
>
> O presente documento tem por finalidades: (i) diagnosticar e avaliar a
> situação
> das publicações em Lógica perante o Qualis-2009, e (ii) levar aos comitês
> responsáveis
> da Capes uma proposta da comunidade acadêmica para a atualização em curso
> (2012)
> do Qualis no que se refere à Lógica. Com relação ao primeiro objetivo,
> notamos que as
> publicações em Lógica abrangem as áreas de Matemática, Filosofia e Ciência
> da
> Computação e constatamos que nas respectivas listas Qualis a situação da
> Lógica é
> insatisfatória em mais de um aspecto. Em primeiro lugar, várias entre as
> melhores
> revistas de Lógica sequer possuem uma classificação em pelo menos uma
> dessas áreas.
> Em segundo lugar, nas listas correspondentes às três áreas acima, as
> revistas de Lógica
> não apresentam uma classificação coerente nem com a qualidade das mesmas,
> nem com
> a percepção da comunidade internacional a respeito delas. Por último,
> notamos que, em
> duas dessas áreas (Matemática e Ciência da Computação), a Lógica aparece
> desvalorizada com relação às demais subáreas, não sendo contemplada com
> nenhuma
> revista especializada nos estratos A.
>
> A presente proposta elabora em detalhes os pontos de insatisfação levantados
> acima, considerando a partir de agora a situação da Lógica separadamente em
> cada uma
> das três áreas destacadas, começando pela Matemática. Há, em grande medida,
> consenso na comunidade internacional de lógicos matemáticos sobre quais são
> as
> melhores entre as revistas especializadas que publicam pesquisa original em
> Lógica
> Matemática. São elas (em ordem alfabética): Annals of Pure and Applied
> Logic,
> Archive for Mathematical Logic, Fundamenta Mathematicae, Journal of
> Mathematical
> Logic, Mathematical Logic Quarterly, Notre Dame Journal of Formal Logic e
> The
> Journal of Symbolic Logic. No presente momento, apenas duas entre as sete
> revistas
> listadas acima possuem uma classificação segundo Qualis na área de
> Matemática
> (ambas B1). No documento anexo segue uma proposta de classificação para
> cada uma
> dessas sete revistas, divididas em dois grupos: um grupo de três revistas,
> que julgamos
> ter qualidade compatível com o estrato A1 e um grupo com as quatro revistas
> restantes,
> que julgamos ter qualidade compatível com o estrato A2. No primeiro grupo
> encontramse
> Annals of Pure and Applied Logic, Journal of Mathematical Logic e The
> Journal of
> Symbolic Logic, conforme indicado no documento anexo. Lembramos que a Lógica
> Matemática não é uma subdivisão da Álgebra ou da Análise, por isso não está
> contemplada por revistas especializadas em outras áreas. Ao contrário,
> trata-se de uma
> disciplina autônoma com intensa atividade de pesquisa em Computabilidade,
> Teoria de
> Conjuntos, Teoria de Modelos e Teoria da Prova. Não obstante, a Lógica
> Matemática
> apresenta conexões substanciais com Álgebra Universal, Análise não-Standard,
> Geometria Algébrica, Teoria de Categorias, Teoria da Computação, Teoria da
> Medida,
> Teoria de Espaços de Banach, Topologia Geral, entre outras, e há potencial
> para
> estabelecer outras relações e para aprofundar as relações já existentes. A
> Lógica
> Matemática é comparável, em extensão e profundidade de seus resultados, a
> outras
> disciplinas matemáticas atualmente contempladas com vários periódicos nos
> estratos A.
>
> Com relação à Filosofia, a atualização da lista Qualis ocorrida em 2009
> corrigiu
> algumas distorções relativas à Lógica. Contudo, há ainda ausências
> notáveis: as revistas
> The Review of Symbolic Logic e Notre Dame Journal of Formal Logic não
> possuem
> classificação. Essa situação é compreensível no caso da primeira, pois a
> mesma foi
> criada em 2008 e a última lista Qualis foi produzida já em 2009, mas é
> totalmente
> incompreensível no caso da segunda. O Notre Dame Journal of Formal Logic
> possui
> grande tradição na área de Lógica Filosófica e Fundamentos da Matemática, e
> é
> considerado um dos melhores periódicos de Lógica Formal. Portanto, propomos
> que
> essas re

Re: [Logica-l] documento para a capes

[Decio Krause]

Acho que está bom, mas falta Studia Logica, como já relatado.
D


Decio Krause
Departamento de Filosofia
Universidade Federal de Santa Catarina
88040-940 Florianópolis, SC -- Brasil
deciokrause[at]gmail.com
www.cfh.ufsc.br/~dkrause

"We are intrinsically spatial and temporal
beings. We can only observe particular
entities, handle spatial things, and our
thinking depends on the concept of
individuals. How to reconcile nonspatial
quantum characteristics with spatio-
temporal individuation is perhaps the next great problem physics has to 
overcome." (S. Auyang, "How is quantum
field possible?"(Princeton Un. Press, 1995, p.165).







Em 20/03/2012, às 14:12, Valeria de Paiva escreveu:

> Caros colegas,
> 
> Continuando a mensagem do Rodrigo abaixo, a tabela com revistas de Logica
> pras quais reivindicamos modificacoes no Qualis esta' disponivel no Google
> doc
> https://docs.google.com/spreadsheet/ccc?key=0AiQvGrHooOoHdEVhUDU2YlUxdHZZbHc1LThUTWx5NGc
> 
> Todas as sugestoes de melhorias sao bemvindas, mas como ressaltou o
> Rodrigo, o tempo 'e curto e e' melhor pelos menos conseguir pedir uma
> pequena melhoria do que esperar outros tres anos pra poder PEDIR qualquer
> coisa.
> 
> Abracos logicos,
> 
> Valeria
> 
> 2012/3/20 Rodrigo Freire 
> 
>> Caros colegas
>> 
>> Nos últimos dias, eu, Samuel, Valéria e o Charles elaboramos uma proposta
>> para o qualis que deverá ser encaminhada a capes. O documento contém dois
>> componentes: uma carta e uma tabela com revistas e propostas de
>> classificação. Estou encaminhando a carta no corpo dessa mensagem. Como
>> essa lista não aceita anexos, estamos pensando como vamos disponibilizar a
>> tabela.
>> 
>> A idéia é ouvir as opiniões da lista e depois preparar um documento
>> contendo um abaixo assinado que deverá ser encaminhado a capes e divulgado
>> no jornal da ciência.
>> 
>> Lembro que a atualização do qualis está em processo, por isso temos *pouco
>> tempo* para ajustes. (Aparentemente o qualis da física já foi atualizado).
>> Manifestem-se.
>> 
>> Abraço
>> Rodrigo
>> 
>> 
>> 
>> [Aos comitês relevantes da Capes para o Qualis]
>> 
>> O presente documento tem por finalidades: (i) diagnosticar e avaliar a
>> situação
>> das publicações em Lógica perante o Qualis-2009, e (ii) levar aos comitês
>> responsáveis
>> da Capes uma proposta da comunidade acadêmica para a atualização em curso
>> (2012)
>> do Qualis no que se refere à Lógica. Com relação ao primeiro objetivo,
>> notamos que as
>> publicações em Lógica abrangem as áreas de Matemática, Filosofia e Ciência
>> da
>> Computação e constatamos que nas respectivas listas Qualis a situação da
>> Lógica é
>> insatisfatória em mais de um aspecto. Em primeiro lugar, várias entre as
>> melhores
>> revistas de Lógica sequer possuem uma classificação em pelo menos uma
>> dessas áreas.
>> Em segundo lugar, nas listas correspondentes às três áreas acima, as
>> revistas de Lógica
>> não apresentam uma classificação coerente nem com a qualidade das mesmas,
>> nem com
>> a percepção da comunidade internacional a respeito delas. Por último,
>> notamos que, em
>> duas dessas áreas (Matemática e Ciência da Computação), a Lógica aparece
>> desvalorizada com relação às demais subáreas, não sendo contemplada com
>> nenhuma
>> revista especializada nos estratos A.
>> 
>> A presente proposta elabora em detalhes os pontos de insatisfação
>> levantados
>> acima, considerando a partir de agora a situação da Lógica separadamente
>> em cada uma
>> das três áreas destacadas, começando pela Matemática. Há, em grande medida,
>> consenso na comunidade internacional de lógicos matemáticos sobre quais
>> são as
>> melhores entre as revistas especializadas que publicam pesquisa original
>> em Lógica
>> Matemática. São elas (em ordem alfabética): Annals of Pure and Applied
>> Logic,
>> Archive for Mathematical Logic, Fundamenta Mathematicae, Journal of
>> Mathematical
>> Logic, Mathematical Logic Quarterly, Notre Dame Journal of Formal Logic e
>> The
>> Journal of Symbolic Logic. No presente momento, apenas duas entre as sete
>> revistas
>> listadas acima possuem uma classificação segundo Qualis na área de
>> Matemática
>> (ambas B1). No documento anexo segue uma proposta de classificação para
>> cada uma
>> dessas sete revistas, divididas em dois grupos: um grupo de três revistas,
>> que julgamos
>> ter qualidade compatível com o estrato A1 e um grupo com as quatro
>> revistas restantes,
>> que julgamos ter qualidade compatível com o estrato A2. No primeiro grupo
>> encontramse
>> Annals of Pure and Applied Logic, Journal of Mathematical Logic e The
>> Journal of
>> Symbolic Logic, conforme indicado no documento anexo. Lembramos que a
>> Lógica
>> Matemática não é uma subdivisão da Álgebra ou da Análise, por isso não está
>> contemplada por revistas especializadas em outras áreas. Ao contrário,
>> trata-se de uma
>> disciplina autôn

Re: [Logica-l] documento para a capes

[Elaine Pimentel]

Prezados,

O Studia Logica já está no Qualis:

A2 para filosofia/interdisciplinar
B2 para Matemática
B4 para Computação


Elaine.

2012/3/20 Decio Krause 

> Acho que está bom, mas falta Studia Logica, como já relatado.
> D
>
> 
> Decio Krause
> Departamento de Filosofia
> Universidade Federal de Santa Catarina
> 88040-940 Florianópolis, SC -- Brasil
> deciokrause[at]gmail.com
> www.cfh.ufsc.br/~dkrause 
> 
> "We are intrinsically spatial and temporal
> beings. We can only observe particular
> entities, handle spatial things, and our
> thinking depends on the concept of
> individuals. How to reconcile nonspatial
> quantum characteristics with spatio-
> temporal individuation is perhaps the next great problem physics has to
> overcome." (S. Auyang, "How is quantum
> field possible?"(Princeton Un. Press, 1995, p.165).
> 
>
>
>
>
>
>
> Em 20/03/2012, às 14:12, Valeria de Paiva escreveu:
>
> > Caros colegas,
> >
> > Continuando a mensagem do Rodrigo abaixo, a tabela com revistas de Logica
> > pras quais reivindicamos modificacoes no Qualis esta' disponivel no
> Google
> > doc
> >
> https://docs.google.com/spreadsheet/ccc?key=0AiQvGrHooOoHdEVhUDU2YlUxdHZZbHc1LThUTWx5NGc
> >
> > Todas as sugestoes de melhorias sao bemvindas, mas como ressaltou o
> > Rodrigo, o tempo 'e curto e e' melhor pelos menos conseguir pedir uma
> > pequena melhoria do que esperar outros tres anos pra poder PEDIR qualquer
> > coisa.
> >
> > Abracos logicos,
> >
> > Valeria
> >
> > 2012/3/20 Rodrigo Freire 
> >
> >> Caros colegas
> >>
> >> Nos últimos dias, eu, Samuel, Valéria e o Charles elaboramos uma
> proposta
> >> para o qualis que deverá ser encaminhada a capes. O documento contém
> dois
> >> componentes: uma carta e uma tabela com revistas e propostas de
> >> classificação. Estou encaminhando a carta no corpo dessa mensagem. Como
> >> essa lista não aceita anexos, estamos pensando como vamos
> disponibilizar a
> >> tabela.
> >>
> >> A idéia é ouvir as opiniões da lista e depois preparar um documento
> >> contendo um abaixo assinado que deverá ser encaminhado a capes e
> divulgado
> >> no jornal da ciência.
> >>
> >> Lembro que a atualização do qualis está em processo, por isso temos
> *pouco
> >> tempo* para ajustes. (Aparentemente o qualis da física já foi
> atualizado).
> >> Manifestem-se.
> >>
> >> Abraço
> >> Rodrigo
> >>
> >>
> >>
> >> [Aos comitês relevantes da Capes para o Qualis]
> >>
> >> O presente documento tem por finalidades: (i) diagnosticar e avaliar a
> >> situação
> >> das publicações em Lógica perante o Qualis-2009, e (ii) levar aos
> comitês
> >> responsáveis
> >> da Capes uma proposta da comunidade acadêmica para a atualização em
> curso
> >> (2012)
> >> do Qualis no que se refere à Lógica. Com relação ao primeiro objetivo,
> >> notamos que as
> >> publicações em Lógica abrangem as áreas de Matemática, Filosofia e
> Ciência
> >> da
> >> Computação e constatamos que nas respectivas listas Qualis a situação da
> >> Lógica é
> >> insatisfatória em mais de um aspecto. Em primeiro lugar, várias entre as
> >> melhores
> >> revistas de Lógica sequer possuem uma classificação em pelo menos uma
> >> dessas áreas.
> >> Em segundo lugar, nas listas correspondentes às três áreas acima, as
> >> revistas de Lógica
> >> não apresentam uma classificação coerente nem com a qualidade das
> mesmas,
> >> nem com
> >> a percepção da comunidade internacional a respeito delas. Por último,
> >> notamos que, em
> >> duas dessas áreas (Matemática e Ciência da Computação), a Lógica aparece
> >> desvalorizada com relação às demais subáreas, não sendo contemplada com
> >> nenhuma
> >> revista especializada nos estratos A.
> >>
> >> A presente proposta elabora em detalhes os pontos de insatisfação
> >> levantados
> >> acima, considerando a partir de agora a situação da Lógica separadamente
> >> em cada uma
> >> das três áreas destacadas, começando pela Matemática. Há, em grande
> medida,
> >> consenso na comunidade internacional de lógicos matemáticos sobre quais
> >> são as
> >> melhores entre as revistas especializadas que publicam pesquisa original
> >> em Lógica
> >> Matemática. São elas (em ordem alfabética): Annals of Pure and Applied
> >> Logic,
> >> Archive for Mathematical Logic, Fundamenta Mathematicae, Journal of
> >> Mathematical
> >> Logic, Mathematical Logic Quarterly, Notre Dame Journal of Formal Logic
> e
> >> The
> >> Journal of Symbolic Logic. No presente momento, apenas duas entre as
> sete
> >> revistas
> >> listadas acima possuem uma classificação segundo Qualis na área de
> >> Matemática
> >> (ambas B1). No documento anexo segue uma proposta de classificação para
> >> cada uma
> >> dessas sete revistas, divididas em dois grupos: um grupo de três
> revistas,
> >> que julgamos
> >> ter qualidade compatível com o estrato A1 e um grupo com as quatro
> >> revistas restantes,
> >> qu

Re: [Logica-l] documento para a capes

[Valeria de Paiva]

Elaine,
desculpe a demora. sim qual a sua sugestao de classificacao pra ACM
Transactions, por favor? B1ou  A2?

Itala,
como eu disse a gente nao esta sendo muito completo nao e agora que voce
mencionou acho que talvez B4 seja muito baixo pra Studia Logica em Logica
em Computacao, vamos pedir B3, ou B2 gente?

Agradecemos  as correcoes, esperamos outras.

Vamos tentar ver te conseguimos todas as correcoes/melhorias ate domingo,
gente?

Abracos,
Valeria
2012/3/20 Elaine Pimentel 

> Hola, Valeria!!!
>
> parabens pela iniciativa!
>
> Então, na lista de vocês eu só senti falta da  ACM Transactions on
> Computational Logic (TOCL). Não sei porque, só aparece em Farmácia e áreas
> afins...
>
> Beijo!
>
>
> 2012/3/20 Valeria de Paiva 
>
> > Caros colegas,
> >
> > Continuando a mensagem do Rodrigo abaixo, a tabela com revistas de Logica
> > pras quais reivindicamos modificacoes no Qualis esta' disponivel no
> Google
> > doc
> >
> >
> https://docs.google.com/spreadsheet/ccc?key=0AiQvGrHooOoHdEVhUDU2YlUxdHZZbHc1LThUTWx5NGc
> >
> > Todas as sugestoes de melhorias sao bemvindas, mas como ressaltou o
> > Rodrigo, o tempo 'e curto e e' melhor pelos menos conseguir pedir uma
> > pequena melhoria do que esperar outros tres anos pra poder PEDIR qualquer
> > coisa.
> >
> > Abracos logicos,
> >
> > Valeria
> >
> > 2012/3/20 Rodrigo Freire 
> >
> > > Caros colegas
> > >
> > > Nos últimos dias, eu, Samuel, Valéria e o Charles elaboramos uma
> proposta
> > > para o qualis que deverá ser encaminhada a capes. O documento contém
> dois
> > > componentes: uma carta e uma tabela com revistas e propostas de
> > > classificação. Estou encaminhando a carta no corpo dessa mensagem. Como
> > > essa lista não aceita anexos, estamos pensando como vamos
> disponibilizar
> > a
> > > tabela.
> > >
> > > A idéia é ouvir as opiniões da lista e depois preparar um documento
> > > contendo um abaixo assinado que deverá ser encaminhado a capes e
> > divulgado
> > > no jornal da ciência.
> > >
> > > Lembro que a atualização do qualis está em processo, por isso temos
> > *pouco
> > > tempo* para ajustes. (Aparentemente o qualis da física já foi
> > atualizado).
> > > Manifestem-se.
> > >
> > > Abraço
> > > Rodrigo
> > >
> > >
> > >
> > > [Aos comitês relevantes da Capes para o Qualis]
> > >
> > > O presente documento tem por finalidades: (i) diagnosticar e avaliar a
> > > situação
> > > das publicações em Lógica perante o Qualis-2009, e (ii) levar aos
> comitês
> > > responsáveis
> > > da Capes uma proposta da comunidade acadêmica para a atualização em
> curso
> > > (2012)
> > > do Qualis no que se refere à Lógica. Com relação ao primeiro objetivo,
> > > notamos que as
> > > publicações em Lógica abrangem as áreas de Matemática, Filosofia e
> > Ciência
> > > da
> > > Computação e constatamos que nas respectivas listas Qualis a situação
> da
> > > Lógica é
> > > insatisfatória em mais de um aspecto. Em primeiro lugar, várias entre
> as
> > > melhores
> > > revistas de Lógica sequer possuem uma classificação em pelo menos uma
> > > dessas áreas.
> > > Em segundo lugar, nas listas correspondentes às três áreas acima, as
> > > revistas de Lógica
> > > não apresentam uma classificação coerente nem com a qualidade das
> mesmas,
> > > nem com
> > > a percepção da comunidade internacional a respeito delas. Por último,
> > > notamos que, em
> > > duas dessas áreas (Matemática e Ciência da Computação), a Lógica
> aparece
> > > desvalorizada com relação às demais subáreas, não sendo contemplada com
> > > nenhuma
> > > revista especializada nos estratos A.
> > >
> > > A presente proposta elabora em detalhes os pontos de insatisfação
> > > levantados
> > > acima, considerando a partir de agora a situação da Lógica
> separadamente
> > > em cada uma
> > > das três áreas destacadas, começando pela Matemática. Há, em grande
> > medida,
> > > consenso na comunidade internacional de lógicos matemáticos sobre quais
> > > são as
> > > melhores entre as revistas especializadas que publicam pesquisa
> original
> > > em Lógica
> > > Matemática. São elas (em ordem alfabética): Annals of Pure and Applied
> > > Logic,
> > > Archive for Mathematical Logic, Fundamenta Mathematicae, Journal of
> > > Mathematical
> > > Logic, Mathematical Logic Quarterly, Notre Dame Journal of Formal
> Logic e
> > > The
> > > Journal of Symbolic Logic. No presente momento, apenas duas entre as
> sete
> > > revistas
> > > listadas acima possuem uma classificação segundo Qualis na área de
> > > Matemática
> > > (ambas B1). No documento anexo segue uma proposta de classificação para
> > > cada uma
> > > dessas sete revistas, divididas em dois grupos: um grupo de três
> > revistas,
> > > que julgamos
> > > ter qualidade compatível com o estrato A1 e um grupo com as quatro
> > > revistas restantes,
> > > que julgamos ter qualidade compatível com o estrato A2. No primeiro
> grupo
> > > encontramse
> > > Annals of Pure and Applied Logic, Journal of Mathematical Logic e The
> > > Journal of
> > > Symbolic 

Re: [Logica-l] documento para a capes

[Elaine Pimentel]

Oi, Valeria!

Bem, um jornal da ACM é um jornal da ACM... Então não sei, talvez A2?

Abraços!

Elaine.

2012/3/20 Valeria de Paiva 

> Elaine,
> desculpe a demora. sim qual a sua sugestao de classificacao pra ACM
> Transactions, por favor? B1ou  A2?
>
> Itala,
> como eu disse a gente nao esta sendo muito completo nao e agora que voce
> mencionou acho que talvez B4 seja muito baixo pra Studia Logica em Logica
> em Computacao, vamos pedir B3, ou B2 gente?
>
> Agradecemos  as correcoes, esperamos outras.
>
> Vamos tentar ver te conseguimos todas as correcoes/melhorias ate domingo,
> gente?
>
> Abracos,
> Valeria
> 2012/3/20 Elaine Pimentel 
>
>> Hola, Valeria!!!
>>
>> parabens pela iniciativa!
>>
>> Então, na lista de vocês eu só senti falta da  ACM Transactions on
>> Computational Logic (TOCL). Não sei porque, só aparece em Farmácia e áreas
>> afins...
>>
>> Beijo!
>>
>>
>> 2012/3/20 Valeria de Paiva 
>>
>> > Caros colegas,
>> >
>> > Continuando a mensagem do Rodrigo abaixo, a tabela com revistas de
>> Logica
>> > pras quais reivindicamos modificacoes no Qualis esta' disponivel no
>> Google
>> > doc
>> >
>> >
>> https://docs.google.com/spreadsheet/ccc?key=0AiQvGrHooOoHdEVhUDU2YlUxdHZZbHc1LThUTWx5NGc
>> >
>> > Todas as sugestoes de melhorias sao bemvindas, mas como ressaltou o
>> > Rodrigo, o tempo 'e curto e e' melhor pelos menos conseguir pedir uma
>> > pequena melhoria do que esperar outros tres anos pra poder PEDIR
>> qualquer
>> > coisa.
>> >
>> > Abracos logicos,
>> >
>> > Valeria
>> >
>> > 2012/3/20 Rodrigo Freire 
>> >
>> > > Caros colegas
>> > >
>> > > Nos últimos dias, eu, Samuel, Valéria e o Charles elaboramos uma
>> proposta
>> > > para o qualis que deverá ser encaminhada a capes. O documento contém
>> dois
>> > > componentes: uma carta e uma tabela com revistas e propostas de
>> > > classificação. Estou encaminhando a carta no corpo dessa mensagem.
>> Como
>> > > essa lista não aceita anexos, estamos pensando como vamos
>> disponibilizar
>> > a
>> > > tabela.
>> > >
>> > > A idéia é ouvir as opiniões da lista e depois preparar um documento
>> > > contendo um abaixo assinado que deverá ser encaminhado a capes e
>> > divulgado
>> > > no jornal da ciência.
>> > >
>> > > Lembro que a atualização do qualis está em processo, por isso temos
>> > *pouco
>> > > tempo* para ajustes. (Aparentemente o qualis da física já foi
>> > atualizado).
>> > > Manifestem-se.
>> > >
>> > > Abraço
>> > > Rodrigo
>> > >
>> > >
>> > >
>> > > [Aos comitês relevantes da Capes para o Qualis]
>> > >
>> > > O presente documento tem por finalidades: (i) diagnosticar e avaliar a
>> > > situação
>> > > das publicações em Lógica perante o Qualis-2009, e (ii) levar aos
>> comitês
>> > > responsáveis
>> > > da Capes uma proposta da comunidade acadêmica para a atualização em
>> curso
>> > > (2012)
>> > > do Qualis no que se refere à Lógica. Com relação ao primeiro objetivo,
>> > > notamos que as
>> > > publicações em Lógica abrangem as áreas de Matemática, Filosofia e
>> > Ciência
>> > > da
>> > > Computação e constatamos que nas respectivas listas Qualis a situação
>> da
>> > > Lógica é
>> > > insatisfatória em mais de um aspecto. Em primeiro lugar, várias entre
>> as
>> > > melhores
>> > > revistas de Lógica sequer possuem uma classificação em pelo menos uma
>> > > dessas áreas.
>> > > Em segundo lugar, nas listas correspondentes às três áreas acima, as
>> > > revistas de Lógica
>> > > não apresentam uma classificação coerente nem com a qualidade das
>> mesmas,
>> > > nem com
>> > > a percepção da comunidade internacional a respeito delas. Por último,
>> > > notamos que, em
>> > > duas dessas áreas (Matemática e Ciência da Computação), a Lógica
>> aparece
>> > > desvalorizada com relação às demais subáreas, não sendo contemplada
>> com
>> > > nenhuma
>> > > revista especializada nos estratos A.
>> > >
>> > > A presente proposta elabora em detalhes os pontos de insatisfação
>> > > levantados
>> > > acima, considerando a partir de agora a situação da Lógica
>> separadamente
>> > > em cada uma
>> > > das três áreas destacadas, começando pela Matemática. Há, em grande
>> > medida,
>> > > consenso na comunidade internacional de lógicos matemáticos sobre
>> quais
>> > > são as
>> > > melhores entre as revistas especializadas que publicam pesquisa
>> original
>> > > em Lógica
>> > > Matemática. São elas (em ordem alfabética): Annals of Pure and Applied
>> > > Logic,
>> > > Archive for Mathematical Logic, Fundamenta Mathematicae, Journal of
>> > > Mathematical
>> > > Logic, Mathematical Logic Quarterly, Notre Dame Journal of Formal
>> Logic e
>> > > The
>> > > Journal of Symbolic Logic. No presente momento, apenas duas entre as
>> sete
>> > > revistas
>> > > listadas acima possuem uma classificação segundo Qualis na área de
>> > > Matemática
>> > > (ambas B1). No documento anexo segue uma proposta de classificação
>> para
>> > > cada uma
>> > > dessas sete revistas, divididas em dois grupos: um grupo de três
>> > revistas,
>> > > que julgam

Re: [Logica-l] documento para a capes

[Valeria de Paiva]

OK, funciona pra mim! ;)
se alguem achar ruim, por favor reclame...
obrigada!
valeria
2012/3/20 Elaine Pimentel 

> Oi, Valeria!
>
> Bem, um jornal da ACM é um jornal da ACM... Então não sei, talvez A2?
>
> Abraços!
>
> Elaine.
>
> 2012/3/20 Valeria de Paiva 
>
> > Elaine,
> > desculpe a demora. sim qual a sua sugestao de classificacao pra ACM
> > Transactions, por favor? B1ou  A2?
> >
> > Itala,
> > como eu disse a gente nao esta sendo muito completo nao e agora que voce
> > mencionou acho que talvez B4 seja muito baixo pra Studia Logica em Logica
> > em Computacao, vamos pedir B3, ou B2 gente?
> >
> > Agradecemos  as correcoes, esperamos outras.
> >
> > Vamos tentar ver te conseguimos todas as correcoes/melhorias ate domingo,
> > gente?
> >
> > Abracos,
> > Valeria
> > 2012/3/20 Elaine Pimentel 
> >
> >> Hola, Valeria!!!
> >>
> >> parabens pela iniciativa!
> >>
> >> Então, na lista de vocês eu só senti falta da  ACM Transactions on
> >> Computational Logic (TOCL). Não sei porque, só aparece em Farmácia e
> áreas
> >> afins...
> >>
> >> Beijo!
> >>
> >>
> >> 2012/3/20 Valeria de Paiva 
> >>
> >> > Caros colegas,
> >> >
> >> > Continuando a mensagem do Rodrigo abaixo, a tabela com revistas de
> >> Logica
> >> > pras quais reivindicamos modificacoes no Qualis esta' disponivel no
> >> Google
> >> > doc
> >> >
> >> >
> >>
> https://docs.google.com/spreadsheet/ccc?key=0AiQvGrHooOoHdEVhUDU2YlUxdHZZbHc1LThUTWx5NGc
> >> >
> >> > Todas as sugestoes de melhorias sao bemvindas, mas como ressaltou o
> >> > Rodrigo, o tempo 'e curto e e' melhor pelos menos conseguir pedir uma
> >> > pequena melhoria do que esperar outros tres anos pra poder PEDIR
> >> qualquer
> >> > coisa.
> >> >
> >> > Abracos logicos,
> >> >
> >> > Valeria
> >> >
> >> > 2012/3/20 Rodrigo Freire 
> >> >
> >> > > Caros colegas
> >> > >
> >> > > Nos últimos dias, eu, Samuel, Valéria e o Charles elaboramos uma
> >> proposta
> >> > > para o qualis que deverá ser encaminhada a capes. O documento contém
> >> dois
> >> > > componentes: uma carta e uma tabela com revistas e propostas de
> >> > > classificação. Estou encaminhando a carta no corpo dessa mensagem.
> >> Como
> >> > > essa lista não aceita anexos, estamos pensando como vamos
> >> disponibilizar
> >> > a
> >> > > tabela.
> >> > >
> >> > > A idéia é ouvir as opiniões da lista e depois preparar um documento
> >> > > contendo um abaixo assinado que deverá ser encaminhado a capes e
> >> > divulgado
> >> > > no jornal da ciência.
> >> > >
> >> > > Lembro que a atualização do qualis está em processo, por isso temos
> >> > *pouco
> >> > > tempo* para ajustes. (Aparentemente o qualis da física já foi
> >> > atualizado).
> >> > > Manifestem-se.
> >> > >
> >> > > Abraço
> >> > > Rodrigo
> >> > >
> >> > >
> >> > >
> >> > > [Aos comitês relevantes da Capes para o Qualis]
> >> > >
> >> > > O presente documento tem por finalidades: (i) diagnosticar e
> avaliar a
> >> > > situação
> >> > > das publicações em Lógica perante o Qualis-2009, e (ii) levar aos
> >> comitês
> >> > > responsáveis
> >> > > da Capes uma proposta da comunidade acadêmica para a atualização em
> >> curso
> >> > > (2012)
> >> > > do Qualis no que se refere à Lógica. Com relação ao primeiro
> objetivo,
> >> > > notamos que as
> >> > > publicações em Lógica abrangem as áreas de Matemática, Filosofia e
> >> > Ciência
> >> > > da
> >> > > Computação e constatamos que nas respectivas listas Qualis a
> situação
> >> da
> >> > > Lógica é
> >> > > insatisfatória em mais de um aspecto. Em primeiro lugar, várias
> entre
> >> as
> >> > > melhores
> >> > > revistas de Lógica sequer possuem uma classificação em pelo menos
> uma
> >> > > dessas áreas.
> >> > > Em segundo lugar, nas listas correspondentes às três áreas acima, as
> >> > > revistas de Lógica
> >> > > não apresentam uma classificação coerente nem com a qualidade das
> >> mesmas,
> >> > > nem com
> >> > > a percepção da comunidade internacional a respeito delas. Por
> último,
> >> > > notamos que, em
> >> > > duas dessas áreas (Matemática e Ciência da Computação), a Lógica
> >> aparece
> >> > > desvalorizada com relação às demais subáreas, não sendo contemplada
> >> com
> >> > > nenhuma
> >> > > revista especializada nos estratos A.
> >> > >
> >> > > A presente proposta elabora em detalhes os pontos de insatisfação
> >> > > levantados
> >> > > acima, considerando a partir de agora a situação da Lógica
> >> separadamente
> >> > > em cada uma
> >> > > das três áreas destacadas, começando pela Matemática. Há, em grande
> >> > medida,
> >> > > consenso na comunidade internacional de lógicos matemáticos sobre
> >> quais
> >> > > são as
> >> > > melhores entre as revistas especializadas que publicam pesquisa
> >> original
> >> > > em Lógica
> >> > > Matemática. São elas (em ordem alfabética): Annals of Pure and
> Applied
> >> > > Logic,
> >> > > Archive for Mathematical Logic, Fundamenta Mathematicae, Journal of
> >> > > Mathematical
> >> > > Logic, Mathematical Logic Quarterly, Notre Dame Journal o

Re: [Logica-l] documento para a capes

[Rodrigo Freire]

Olá a todos

É como já comentaram. Inicialmente nós colocamos a Studia Logica. Depois de
analisarmos vimos que a nossa proposta seria de *manter todos os qualis*.
Por isso tiramos para não dar confusão. Acho que é melhor não incluir na
proposta se não estamos propondo nenhuma alteração.

Abraço
Rodrigo
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] documento para a capes

[Enrique Fynn]

Nao existe revista de Logica computacional A1?

Regards;
Fynn.
--
"Even a stopped clock is right twice a day"

"All paid jobs absorb and degrade the mind."
_Aristoteles



On 20 March 2012 21:30, Valeria de Paiva  wrote:
> OK, funciona pra mim! ;)
> se alguem achar ruim, por favor reclame...
> obrigada!
> valeria
> 2012/3/20 Elaine Pimentel 
>
>> Oi, Valeria!
>>
>> Bem, um jornal da ACM é um jornal da ACM... Então não sei, talvez A2?
>>
>> Abraços!
>>
>> Elaine.
>>
>> 2012/3/20 Valeria de Paiva 
>>
>> > Elaine,
>> > desculpe a demora. sim qual a sua sugestao de classificacao pra ACM
>> > Transactions, por favor? B1ou  A2?
>> >
>> > Itala,
>> > como eu disse a gente nao esta sendo muito completo nao e agora que voce
>> > mencionou acho que talvez B4 seja muito baixo pra Studia Logica em Logica
>> > em Computacao, vamos pedir B3, ou B2 gente?
>> >
>> > Agradecemos  as correcoes, esperamos outras.
>> >
>> > Vamos tentar ver te conseguimos todas as correcoes/melhorias ate domingo,
>> > gente?
>> >
>> > Abracos,
>> > Valeria
>> > 2012/3/20 Elaine Pimentel 
>> >
>> >> Hola, Valeria!!!
>> >>
>> >> parabens pela iniciativa!
>> >>
>> >> Então, na lista de vocês eu só senti falta da  ACM Transactions on
>> >> Computational Logic (TOCL). Não sei porque, só aparece em Farmácia e
>> áreas
>> >> afins...
>> >>
>> >> Beijo!
>> >>
>> >>
>> >> 2012/3/20 Valeria de Paiva 
>> >>
>> >> > Caros colegas,
>> >> >
>> >> > Continuando a mensagem do Rodrigo abaixo, a tabela com revistas de
>> >> Logica
>> >> > pras quais reivindicamos modificacoes no Qualis esta' disponivel no
>> >> Google
>> >> > doc
>> >> >
>> >> >
>> >>
>> https://docs.google.com/spreadsheet/ccc?key=0AiQvGrHooOoHdEVhUDU2YlUxdHZZbHc1LThUTWx5NGc
>> >> >
>> >> > Todas as sugestoes de melhorias sao bemvindas, mas como ressaltou o
>> >> > Rodrigo, o tempo 'e curto e e' melhor pelos menos conseguir pedir uma
>> >> > pequena melhoria do que esperar outros tres anos pra poder PEDIR
>> >> qualquer
>> >> > coisa.
>> >> >
>> >> > Abracos logicos,
>> >> >
>> >> > Valeria
>> >> >
>> >> > 2012/3/20 Rodrigo Freire 
>> >> >
>> >> > > Caros colegas
>> >> > >
>> >> > > Nos últimos dias, eu, Samuel, Valéria e o Charles elaboramos uma
>> >> proposta
>> >> > > para o qualis que deverá ser encaminhada a capes. O documento contém
>> >> dois
>> >> > > componentes: uma carta e uma tabela com revistas e propostas de
>> >> > > classificação. Estou encaminhando a carta no corpo dessa mensagem.
>> >> Como
>> >> > > essa lista não aceita anexos, estamos pensando como vamos
>> >> disponibilizar
>> >> > a
>> >> > > tabela.
>> >> > >
>> >> > > A idéia é ouvir as opiniões da lista e depois preparar um documento
>> >> > > contendo um abaixo assinado que deverá ser encaminhado a capes e
>> >> > divulgado
>> >> > > no jornal da ciência.
>> >> > >
>> >> > > Lembro que a atualização do qualis está em processo, por isso temos
>> >> > *pouco
>> >> > > tempo* para ajustes. (Aparentemente o qualis da física já foi
>> >> > atualizado).
>> >> > > Manifestem-se.
>> >> > >
>> >> > > Abraço
>> >> > > Rodrigo
>> >> > >
>> >> > >
>> >> > >
>> >> > > [Aos comitês relevantes da Capes para o Qualis]
>> >> > >
>> >> > > O presente documento tem por finalidades: (i) diagnosticar e
>> avaliar a
>> >> > > situação
>> >> > > das publicações em Lógica perante o Qualis-2009, e (ii) levar aos
>> >> comitês
>> >> > > responsáveis
>> >> > > da Capes uma proposta da comunidade acadêmica para a atualização em
>> >> curso
>> >> > > (2012)
>> >> > > do Qualis no que se refere à Lógica. Com relação ao primeiro
>> objetivo,
>> >> > > notamos que as
>> >> > > publicações em Lógica abrangem as áreas de Matemática, Filosofia e
>> >> > Ciência
>> >> > > da
>> >> > > Computação e constatamos que nas respectivas listas Qualis a
>> situação
>> >> da
>> >> > > Lógica é
>> >> > > insatisfatória em mais de um aspecto. Em primeiro lugar, várias
>> entre
>> >> as
>> >> > > melhores
>> >> > > revistas de Lógica sequer possuem uma classificação em pelo menos
>> uma
>> >> > > dessas áreas.
>> >> > > Em segundo lugar, nas listas correspondentes às três áreas acima, as
>> >> > > revistas de Lógica
>> >> > > não apresentam uma classificação coerente nem com a qualidade das
>> >> mesmas,
>> >> > > nem com
>> >> > > a percepção da comunidade internacional a respeito delas. Por
>> último,
>> >> > > notamos que, em
>> >> > > duas dessas áreas (Matemática e Ciência da Computação), a Lógica
>> >> aparece
>> >> > > desvalorizada com relação às demais subáreas, não sendo contemplada
>> >> com
>> >> > > nenhuma
>> >> > > revista especializada nos estratos A.
>> >> > >
>> >> > > A presente proposta elabora em detalhes os pontos de insatisfação
>> >> > > levantados
>> >> > > acima, considerando a partir de agora a situação da Lógica
>> >> separadamente
>> >> > > em cada uma
>> >> > > das três áreas destacadas, começando pela Matemática. Há, em grande
>> >> > medida,
>> >> > > consenso na comunidade internacional de lógicos matemáticos sobre
>> >> quais
>> >>

Re: [Logica-l] documento para a capes

[samuel]

Olá Itala e demais da lista,

Se não me engano, Studia Logica nao foi incluída na tabela porque já  
está no Qualis, com boa qualificação em Filosofia (A2) e uma  
qualificação "não ruim" em Matemática (B2).


(Foi isso mesmo, não é, Rodrigo e Valeria ?)

Se é o caso de melhorar em computação, alguém poderia nos dar um feedback...

Até,

[]s  Samuel

Quoting "Itala M. L. D'Ottaviano" :


Caro Rodrigo:

Concordo com os termos do documento.
Entretanto, como não está mencionada Studia Logica?

Itala

Caros colegas

Nos últimos dias, eu, Samuel, Valéria e o Charles elaboramos uma proposta
para o qualis que deverá ser encaminhada a capes. O documento contém dois
componentes: uma carta e uma tabela com revistas e propostas de
classificação. Estou encaminhando a carta no corpo dessa mensagem. Como
essa lista não aceita anexos, estamos pensando como vamos disponibilizar a
tabela.

A idéia é ouvir as opiniões da lista e depois preparar um documento
contendo um abaixo assinado que deverá ser encaminhado a capes e divulgado
no jornal da ciência.

Lembro que a atualização do qualis está em processo, por isso temos *pouco
tempo* para ajustes. (Aparentemente o qualis da física já foi atualizado).
Manifestem-se.

Abraço
Rodrigo



[Aos comitês relevantes da Capes para o Qualis]

O presente documento tem por finalidades: (i) diagnosticar e avaliar a
situação
das publicações em Lógica perante o Qualis-2009, e (ii) levar aos comitês
responsáveis
da Capes uma proposta da comunidade acadêmica para a atualização em curso
(2012)
do Qualis no que se refere à Lógica. Com relação ao primeiro objetivo,
notamos que as
publicações em Lógica abrangem as áreas de Matemática, Filosofia e Ciência
da
Computação e constatamos que nas respectivas listas Qualis a situação da
Lógica é
insatisfatória em mais de um aspecto. Em primeiro lugar, várias entre as
melhores
revistas de Lógica sequer possuem uma classificação em pelo menos uma
dessas áreas.
Em segundo lugar, nas listas correspondentes às três áreas acima, as
revistas de Lógica
não apresentam uma classificação coerente nem com a qualidade das mesmas,
nem com
a percepção da comunidade internacional a respeito delas. Por último,
notamos que, em
duas dessas áreas (Matemática e Ciência da Computação), a Lógica aparece
desvalorizada com relação às demais subáreas, não sendo contemplada com
nenhuma
revista especializada nos estratos A.

A presente proposta elabora em detalhes os pontos de insatisfação levantados
acima, considerando a partir de agora a situação da Lógica separadamente em
cada uma
das três áreas destacadas, começando pela Matemática. Há, em grande medida,
consenso na comunidade internacional de lógicos matemáticos sobre quais são
as
melhores entre as revistas especializadas que publicam pesquisa original em
Lógica
Matemática. São elas (em ordem alfabética): Annals of Pure and Applied
Logic,
Archive for Mathematical Logic, Fundamenta Mathematicae, Journal of
Mathematical
Logic, Mathematical Logic Quarterly, Notre Dame Journal of Formal Logic e
The
Journal of Symbolic Logic. No presente momento, apenas duas entre as sete
revistas
listadas acima possuem uma classificação segundo Qualis na área de
Matemática
(ambas B1). No documento anexo segue uma proposta de classificação para
cada uma
dessas sete revistas, divididas em dois grupos: um grupo de três revistas,
que julgamos
ter qualidade compatível com o estrato A1 e um grupo com as quatro revistas
restantes,
que julgamos ter qualidade compatível com o estrato A2. No primeiro grupo
encontramse
Annals of Pure and Applied Logic, Journal of Mathematical Logic e The
Journal of
Symbolic Logic, conforme indicado no documento anexo. Lembramos que a Lógica
Matemática não é uma subdivisão da Álgebra ou da Análise, por isso não está
contemplada por revistas especializadas em outras áreas. Ao contrário,
trata-se de uma
disciplina autônoma com intensa atividade de pesquisa em Computabilidade,
Teoria de
Conjuntos, Teoria de Modelos e Teoria da Prova. Não obstante, a Lógica
Matemática
apresenta conexões substanciais com Álgebra Universal, Análise não-Standard,
Geometria Algébrica, Teoria de Categorias, Teoria da Computação, Teoria da
Medida,
Teoria de Espaços de Banach, Topologia Geral, entre outras, e há potencial
para
estabelecer outras relações e para aprofundar as relações já existentes. A
Lógica
Matemática é comparável, em extensão e profundidade de seus resultados, a
outras
disciplinas matemáticas atualmente contempladas com vários periódicos nos
estratos A.

Com relação à Filosofia, a atualização da lista Qualis ocorrida em 2009
corrigiu
algumas distorções relativas à Lógica. Contudo, há ainda ausências
notáveis: as revistas
The Review of Symbolic Logic e Notre Dame Journal of Formal Logic não
possuem
classificação. Essa situação é compreensível no caso da primeira, pois a
mesma foi
criada em 2008 e a última lista Qualis foi produzida já em 2009, mas é
totalmente
incompreensível no caso da segunda. O Notre Dame Journal of Formal Logic
po