[Logica-l] commentarios do Istvan Nemeti

"I find this book extremely useful and important, because it signifies the arrival of a new renaissance in logic, a new revival not only of logic, but of the vision of logic as a unifying tool for science as a whole, including mathematics, physics, cosmology, computer science and AI. The book and t

[Logica-l] Pedido de reavalicao do Qualis de Logica Universalis

Estou pedindo novamente a reavalicao do qualis de Logica Universalis Fiz um pedido que nao foi atentido Recebi resposta pouco clara e a qualis dela nao mudou. Logica Universalis e bonitinha mas por que se preoccupar? Depois das discussoes, os criterios de avaliacao estao parecendo mais claros. 1)

Re: [Logica-l] Documento de Área - Matemática

:)) No comments required! On Thu, Mar 29, 2012 at 2:25 PM, wrote: > Olás, > > João Marcos sempre levanta a coisa da consistência com os documentos de > área, peguei aqui para ler o de Matemática. > > http://www.capes.gov.br/**images/stories/download/** > avaliacao/MATEM_19jun10.pdf

[Logica-l] Documento de Área - Matemática

Olás, João Marcos sempre levanta a coisa da consistência com os documentos de área, peguei aqui para ler o de Matemática. http://www.capes.gov.br/images/stories/download/avaliacao/MATEM_19jun10.pdf Na página 2, tem uma descrição do processo de avaliação dos periódicos: vou dar uma resumida

Re: [Logica-l] A BSL (Lodz)

Tsuji tb. On Thu, Mar 29, 2012 at 1:01 PM, Joao Marcos wrote: > Ver: > > J. Marcos. Logics of essence and accident. Bulletin of the Section of > Logic, 34(1):43--56, 2005. > > Este artigo tem sido, inclusive, amplamente *citado*, em artigos de > periódicos como JPL e outros, e está referenciado

Re: [Logica-l] A BSL (Lodz)

Ver: J. Marcos. Logics of essence and accident. Bulletin of the Section of Logic, 34(1):43--56, 2005. Este artigo tem sido, inclusive, amplamente *citado*, em artigos de periódicos como JPL e outros, e está referenciado no Mathematical Reviews. Não obstante, na lista de vocês há aparentemente VÁ

Re: [Logica-l] A BSL (Lodz)

Olá Walter, Doria e Jean Yves, Já estou convencido de que essa revista deva entrar numa proposta em Matemática sim, OK. Grato pelo retorno. Até, []s Samuel Quoting Walter Carnielli : Caro Samuel: pelo menos que eu me lembre, publicaram no BSL: Paulo Veloso Juliana Bueno-Soler Walter

Re: [Logica-l] A BSL (Lodz)

Caro Samuel: pelo menos que eu me lembre, publicaram no BSL: Paulo Veloso Juliana Bueno-Soler Walter Carnielli abs Walter Em 29 de março de 2012 12:42, escreveu: > Olás, > > Dei uma rápida olhada nos últimos números da BSL (Lodz) no MathSciNet da > AMS, percebi vários trabalhos de lógica mo

[Logica-l] BSL = Morango

Caro Samuel Sim tem brasileiros que publicaram no BSL: Veloso, da Costa, etc... A revista e dirigido pelo nosso colega G.Malinowksi (quer dizer Morango em polones) grande logico polak (a nao confundir com o J.Malinowski adminstradore da Studia Logica) o Grzzegorvcccz Morango e um dos melhores e

Re: [Logica-l] A BSL (Lodz)

Eu já, algumas notas com o Newton. On Thu, Mar 29, 2012 at 12:42 PM, wrote: > Olás, > > Dei uma rápida olhada nos últimos números da BSL (Lodz) no MathSciNet da > AMS, percebi vários trabalhos de lógica modal publicados nos últimos > tempos, além de outras subáreas da lógica também (substrutural

[Logica-l] A BSL (Lodz)

Olás, Dei uma rápida olhada nos últimos números da BSL (Lodz) no MathSciNet da AMS, percebi vários trabalhos de lógica modal publicados nos últimos tempos, além de outras subáreas da lógica também (substrutural, equacional, lambda-cálculo...). E é uma revista que vem dos anos 70 (que bom

[Logica-l] Filosofia se faz em alemao, matematica em frances ...

Adquiri o livro recente do Daniel Lascar "La théorie des modèles en peu de maux" (Intraduisible: a teoria dos modelos empoucadora?) Cassini, Paris, 343 paginas. Excellente livro sobre teoria dos modelos centrado na nocao de definissabilidade no espirito do artigo do Alfred Tarski, Sur les ensembles

Re: [Logica-l] Sobre a classificação dos CLE e-Prints na lista QUALIS-CAPES

Certamente que o *Bulletin of the Section of Logic* tem "conteúdo matemático"? (a lista de vocês aparentemente se propõe a avaliar o valor deste conteúdo do ponto de vista das três áreas consideradas) Sim. Nós sempre estivemos abertos a sugestões de revistas. Infelizmente nem todas as revistas es

[Logica-l] carnaval de chucrute na logica carioca

Voltei a pouco da Alemanha onde estava num intercambio CAPES/DAAD como o Matthias Schirn, na Universidade de Munich. Tava muito frio la, mas consegiu a sobrever. boa lembrença de fondue na casa do Matthias em Starnberg cidade lacustra bonitinha, mas o lago estava congelado, nao deu para nadar. Rev

Re: [Logica-l] Sobre a classificação dos CLE e-Prints na lista QUALIS-CAPES

Todos os exemplos que dei foram de revistas qualis-ficadas atualmente apenas em Filosofia, mas não em Matemática ou Computação. Certamente que o *Bulletin of the Section of Logic* tem "conteúdo matemático"? (a lista de vocês aparentemente se propõe a avaliar o valor deste conteúdo do ponto de vist

Re: [Logica-l] Sobre a classificação dos CLE e-Prints na lista QUALIS-CAPES

Certamente João Alguns desses periódicos nós consideramos, me lembro do History and Philosophy of Logic. Pelo que me lembro este já tem um Qualis bastante favorável na Filosofia e é explícito que é uma revista destinada a historia e filosofia da lógica, portanto não há a necessidade de uma propos

Re: [Logica-l] Sobre a classificação dos CLE e-Prints na lista QUALIS-CAPES

É, neste caso particular parece que ninguém se importou com a qualis-ficação do servidor de preprints do CLE na área de Filosofia ao guardar seu paper por lá... Uma curiosidade: Qual foi o motivo pelo qual vocês sugeriram a classificação deste veículo pela MA e pela CC, na lista de 27 títulos que

Re: [Logica-l] Sobre a classificação dos CLE e-Prints na lista QUALIS-CAPES

É, neste caso particular parece que ninguém se importou com a qualis-ficação do servidor de preprints do CLE na área de Filosofia ao guardar seu paper por lá... Uma curiosidade: Qual foi o motivo pelo qual vocês sugeriram a classificação deste veículo pela MA e pela CC, na lista de 27 títulos que

Re: [Logica-l] Sobre a classificação dos CLE e-Prints na lista QUALIS-CAPES

Caros Da minha parte, só tomei conhecimento do Qualis do CLE e-prints nessas últimas semanas que trabalhamos no Qualis. Considero os artigos que submeti e estão publicados nos CLE-eprints publicados em forma final, como em qualquer outra revista. Considerei esses artigos para publicação porque ac

Re: [Logica-l] Sobre a classificação dos CLE e-Prints na lista QUALIS-CAPES

Walter, Marcelo, demais: Saúdo a transformação do servidor de preprints do CLE em um periódico de verdade, de preferência aberto à comunidade. As "rules and instructions" atuais descrevem claramente o veículo em questão: "The CLE e-Prints of CLE-UNICAMP are preprints of academic articles, indivi

Re: [Logica-l] Sobre a classificação dos CLE e-Prints na lista QUALIS-CAPES

Caro Cifuentes: muito obrigado pela profunda consideração! um abraço, Walter Em 29 de março de 2012 09:52, josé carlos cifuentes escreveu: > Prezados, respondo rapidamente à mensagem do Walter apenas porque meu > nome foi citado. Tive a sorte de que um artigo meu foi recentemente > publicado

Re: [Logica-l] Sobre a classificação dos CLE e-Prints na lista QUALIS-CAPES

Prezada Renata: obrigado pelo esclarecimento- de forma alguma vimos sua manifestação como reclamação, nem como qualquer demérito. E o trabalho nem é nosso, é da própria comunidade. Sua observação faz todo o sentido: a classificação de certas publicações(entre elas a dos CLE e-Prints) cho

Re: [Logica-l] Sobre a classificação dos CLE e-Prints na lista QUALIS-CAPES

Prezados, respondo rapidamente à mensagem do Walter apenas porque meu nome foi citado. Tive a sorte de que um artigo meu foi recentemente publicado no CLE e-prints e para mim, só o nome do CLE é suficiente qualis, nem sabia que esse períodico tinha (essa aberração do) qualis, apesar de que é bom sa

Re: [Logica-l] Sobre a classificação dos CLE e-Prints na lista QUALIS-CAPES

Walter, Em nenhum momento eu quis reclamar da classificação dos CLE e-Prints e nem desvalorizar o trabalho de vocês. Na minha mensagem para a lista eu dizia: "Não temos atualmente nenhuma revista de lógica no extrato A da computação. Nunca me agradou a ideia de separar por áreas, mas mesmo separ

[Logica-l] Sobre a classificação dos CLE e-Prints na lista QUALIS-CAPES

Caros colegas: como editores dos CLE e-Prints – UNICAMP (http://www.cle.unicamp.br/e-prints/) , atendendo a alguns comentários (explícitos pelo menos por parte da Renata Wasserman e Joao Marcos) sobre a classificação dos CLE e-Prints com o conceito B2 pelo QUALIS-CAPES, achamos por bem c

[Logica-l] LFCS 2013, San Diego, January 6-8: First Call for Papers

** FIRST CALL FOR PAPERS SYMPOSIUM ON LOGICAL FOUNDATIONS OF COMPUTER SCIENCE 2013 (LFCS'13) San Diego, California, January 6-8, 2013 The LFCS series provides an outlet for the fast-growing body of work in the logical foundations of computer science, e.g., areas of fundamental theoretical logic re