Re: [Logica-l] Fazendo os diagramas implícitos no CWM e outros livros de Categorias

[Regivan Hugo Nunes Santiago]

Olá Eduardo,
tudo bem. Estou procurando uma mensagem que você enviou acerca
de um livro bem intuitivo sobre categorias. Você lembra?
Se sim pode me mandar de novo.

Regivan

> Em 6 de ago. de 2017, à(s) 21:07, Eduardo Ochs  
> escreveu:
> 
> Migs,
> 
> eu estou começando um projeto - totalmente informal - que talvez
> interesse a algumas pessoas daqui, e que por enquanto eu não me atrevo
> a anunciar em nenhuma lista menos beginner-friendly...
> 
> Uma das minhas áreas de pesquisa é Categorias e eu até já publiquei um
> artigo BEM bacana sobre isso, mas eu sou praticamente autodidata, o
> meu conhecimento da área tem buracos ridiculamente grandes, e eu nunca
> soube muito bem COMO estudar os livros de Categorias...
> 
> Há umas duas semanas atrás me ocorreu que eu deveria pegar alguns
> livros de Categorias, entender muito bem a notação que eles usam,
> fazer os diagramas que estão implícitos no texto (nas posições que se
> tornaram canônicas pra mim - por exemplo, numa adjunção L-|R o funtor
> L vai pra esquerda, o R vai pra direita, e os morfismos em cada
> categoria vão pra baixo; universais e Yoneda usam convenções baseadas
> nessa), definir direito as construções que no livro são tratadas como
> "óbvias" (usando notação lambda), descobrir as convenções do livro
> para nomear esses funtores e transformações naturais "óbvios" quando
> eles não são nomeados, e assim por diante.
> 
> Estou começando com o Categories for the Working Mathematician, do
> MacLane, e depois que eu terminar a parte de mônadas do CWM pretendo
> ir pro Sketches of an Elephant, do Johnstone. Tem vários outros livros
> e artigos pros quais eu gostaria de fazer o mesmo, mas por enquanto a
> prioridade deles é mais baixa.
> 
> Tou pondo os diagramas que eu tou fazendo pro CWM aqui:
> 
>  http://angg.twu.net/LATEX/2017cwm.pdf
> 
> Ainda não escrevi nem introdução, nem guidelines, nem várias outras
> coisas. Tudo ainda é muito preliminar.
> 
> Se alguém quiser participar ou conversar a respeito pode falar comigo
> ou por aqui ou em privado. Tou typesetteando os diagramas com um
> pacote que eu mesmo fiz e que não é nada user-friendly (por enquanto
> =/), mas dá pra gente interagir usando outros pacotes ou mesmo fotos
> de diagramas escritos à mão.
> 
>  [[]],
>Eduardo Ochs =)
>http://angg.twu.net/math-b.html
>http://angg.twu.net/
> 
> 
> 
> 
> P.S.: Quando eu estudei o CWM, o Elephant e outros livros de
> Categorias eu acabava traduzindo as idéias deles direto pra outras
> notações - o que hoje em dia eu reconheço que foi uma idéia de jerico
> =( -, sem nunca me dar ao trabalho de fazer "dicionários de diagramas"
> detalhados que esclarecessem a tradução entre as notações.
> 
> -- 
> 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/CADs%2B%2B6hEUc99U0JS9Z%3DLmefhf1SqNJM6OY_q9hFTrium-3bLNw%40mail.gmail.com.

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
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 ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/B88284BE-13A4-4BE5-A844-385D8DF865D2%40gmail.com.

Re: [Logica-l] Demonstrações e Curry-Howard

[Regivan Hugo Nunes Santiago]

Eu entendi Marcelo e Elaine,

obrigado.
Regivan

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
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 ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/60ED4606-F74B-4883-A956-A907C9C8B0AF%40gmail.com.

Re: [Logica-l] Demonstrações e Curry-Howard

[Regivan Hugo Nunes Santiago]

Obrigado Marcelo.

Eu não sei se captei o seu ponto. 

Você está me dizendo que eu posso definir uma equivalência entre demonstrações 
apenas com a monotonicidade? É isso? 

Eu não havia pensado nisso, mas parece razoável, pois significaria remover as 
hipóteses não utilizadas e chegar a mesma conclusão, o que livraria o apelo a 
Curry-Howard.

É isso?

Regivan

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
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 ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/9D96C6DD-9EE4-437C-BAAC-A636384D3F1E%40gmail.com.

[Logica-l] Demonstrações e Curry-Howard

[Regivan Hugo Nunes Santiago]

Caros colegas,
tenho a seguinte dúvida: 

Imaginem que vocês solicitem a alguém para demonstrar A (digamos uma 
propriedade de grupos). Essa pessoa assume A,  por inexperiência, e demonstra A 
sem usar A (usando propriedades mais básicas). 

Como vocês veriam essa demonstração? Aceitariam?

Para mim a resposta é óbvia, mas o que vocês acham?

Do meu ponto de vista, isso seria equivalente a fazer um programa que não fosse 
um programa mínimo (com variáveis que não foram usada nas linhas de código do 
programa) e  levando em consideração o isomorfismo de Curry-Howard e a 
equivalência de programas do ponto de vista de funções (fazem a mesma coisa) a 
demonstração seria equivalente a que não usa a hipótese A.

Agora, essa minha argumentação a favor da demonstração só vale por causa do 
isomorfismo. O que vocês acham? Você conhecem alguma situação (sem o 
isomorfismo) em que isso não fosse aceito?

Abração,
Regivan


-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
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 ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/8BA61D98-8EB2-4E9C-8FE7-4AC343AD58C4%40gmail.com.

[Logica-l] Re: [CAROL / UFRN] Paper available

[Regivan Hugo Nunes Santiago]

Mas não paper, apenas o link.

Regivan

> Em 29 de jan. de 2022, à(s) 12:05, Benjamin Rene Callejas Bedregal 
>  escreveu:
> 
> Bravo Que alguem colque no Facebook do grupo
> 
> Benja
> 
> Em sáb, 29 de jan de 2022 11:38, Regivan Hugo Nunes Santiago 
>  escreveu:
> Dear Friends,
> follows a link with a free access of a paper we have written. If it is of 
> your interest, just download it.
> 
> Best wishes,
> Regivan
> 
>> Início da mensagem encaminhada:
>> 
>> De: Elsevier - Article Status 
>> Assunto: PLEASE TAKE ACTION - Share your article [SCICO_102776]
>> Data: 29 de janeiro de 2022 07:22:29 BRT
>> Para: regi...@dimap.ufrn.br
>> 
>> 
>> Share your article!
>>  
>> 
>> Dear Professor Santiago,
>> 
>> We are pleased to let you know that the final version of your article 
>> Introduction to Reversal Fuzzy Switch Graphis now available online, 
>> containing full bibliographic details.
>> 
>> To help you access and share this work, we have created a Share Link – a 
>> personalized URL providing 50 days' free access to your article. Anyone 
>> clicking on this link before March 20, 2022 will be taken directly to the 
>> final version of your article on ScienceDirect, which they are welcome to 
>> read or download. No sign up, registration or fees are required.
>> 
>> Your personalized Share Link:
>> https://authors.elsevier.com/a/1eVE9c7X53LZQ
>> 
>> Click on the icons below to share with your network:
>> 
>>
>> We encourage you to use this Share Link to download a copy of the article 
>> for your own archive. The URL is also a quick and easy way to share your 
>> work with colleagues, co-authors and friends. And you are welcome to add the 
>> Share Link to your homepage or social media profiles, such as Facebook and 
>> Twitter.
>> 
>> You can find out more about Share Links on Elsevier.com.
>> 
>> Did you know, as an author, you can use your article for a wide range of 
>> scholarly, non-commercial purposes, and share and post your article online 
>> in a variety of ways? For more information visit 
>> www.elsevier.com/sharing-articles.
>> 
>> Kind regards,
>> Elsevier Researcher Support
>> 
>> Increase your article's impact 
>> Our Get Noticed guide contains a range of practical tips and advice to help 
>> you maximize visibility of your article.
>> 
>> Publishing Lab 
>> Do you have ideas on how we can improve the author experience? Sign up for 
>> the Elsevier Publishing Lab and help us develop our publishing innovations!
>> 
>> Have questions or need assistance? 
>> Please do not reply to this automated message.
>> For further assistance, please visit our Elsevier Support Center where you 
>> search for solutions on a range of topics and find answers to frequently 
>> asked questions. 
>> You can also talk to our researcher support team by phone 24 hours a day 
>> from Monday-Friday and 24/7 by live chat and email.
>> 
>> © 2022 Elsevier Ltd | Privacy Policy http://www.elsevier.com/privacypolicy
>> Elsevier Limited, The Boulevard, Langford Lane, Kidlington, Oxford, OX5 1GB, 
>> United Kingdom, Registration No. 1982084. This e-mail has been sent to you 
>> from Elsevier Ltd. To ensure delivery to your inbox (not bulk or junk 
>> folders), please add article_sta...@elsevier.com to your address book or 
>> safe senders list.
>> 
>> 
> 
> 
> 
> -- 
> You received this message because you are subscribed to the Google Groups 
> "CAROL / UFRN" group.
> To unsubscribe from this group and stop receiving emails from it, send an 
> email to carol-ufrn+unsubscr...@googlegroups.com.
> To view this discussion on the web visit 
> https://groups.google.com/d/msgid/CAROL-ufrn/8325C115-DE9D-4B4D-973B-B62F81118EC1%40gmail.com.

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
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 ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/45E1868B-9090-43F9-BF8F-450175ECFE0B%40gmail.com.

[Logica-l] Paper available

[Regivan Hugo Nunes Santiago]

Dear Friends,
follows a link with a free access of a paper we have written. If it is of your 
interest, just download it.

Best wishes,
Regivan

> Início da mensagem encaminhada:
> 
> De: Elsevier - Article Status 
> Assunto: PLEASE TAKE ACTION - Share your article [SCICO_102776]
> Data: 29 de janeiro de 2022 07:22:29 BRT
> Para: regi...@dimap.ufrn.br
> 
>  
> Share your article!
>  
>  
> Dear Professor Santiago,
> 
> We are pleased to let you know that the final version of your article 
> Introduction to Reversal Fuzzy Switch Graphis now available online, 
> containing full bibliographic details.
> 
> To help you access and share this work, we have created a Share Link – a 
> personalized URL providing 50 days' free access to your article. Anyone 
> clicking on this link before March 20, 2022 will be taken directly to the 
> final version of your article on ScienceDirect, which they are welcome to 
> read or download. No sign up, registration or fees are required.
> 
> Your personalized Share Link:
> https://authors.elsevier.com/a/1eVE9c7X53LZQ 
> 
> Click on the icons below to share with your network:
> 
>  
> 
>   
> 
>   
> 
>   
> 
> We encourage you to use this Share Link to download a copy of the article for 
> your own archive. The URL is also a quick and easy way to share your work 
> with colleagues, co-authors and friends. And you are welcome to add the Share 
> Link to your homepage or social media profiles, such as Facebook and Twitter.
> 
> You can find out more about Share Links on Elsevier.com 
> .
> 
> Did you know, as an author, you can use your article for a wide range of 
> scholarly, non-commercial purposes, and share and post your article online in 
> a variety of ways? For more information visit 
> www.elsevier.com/sharing-articles .
> 
> Kind regards,
> Elsevier Researcher Support
> 
> Increase your article's impact 
> Our Get Noticed 
> 
>  guide contains a range of practical tips and advice to help you maximize 
> visibility of your article.
> 
> Publishing Lab 
> Do you have ideas on how we can improve the author experience? Sign up for 
> the Elsevier Publishing Lab  and help 
> us develop our publishing innovations!
> 
> Have questions or need assistance? 
> Please do not reply to this automated message.
> For further assistance, please visit our Elsevier Support Center 
>  where you search for solutions on a range of 
> topics and find answers to frequently asked questions. 
> You can also talk to our researcher support team by phone 24 hours a day from 
> Monday-Friday and 24/7 by live chat and email.
> 
> © 2022 Elsevier Ltd | Privacy Policy http://www.elsevier.com/privacypolicy 
> 
> Elsevier Limited, The Boulevard, Langford Lane, Kidlington, Oxford, OX5 1GB, 
> United Kingdom, Registration No. 1982084. This e-mail has been sent to you 
> from Elsevier Ltd. To ensure delivery to your inbox (not bulk or junk 
> folders), please add article_sta...@elsevier.com 
>  to your address book or safe senders 
> list.
> 
> 


-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
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 ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/8325C115-DE9D-4B4D-973B-B62F81118EC1%40gmail.com.

Re: [Logica-l] [discussão sobre Lógica e inclusão] uma rosa com um novo nome?

[Regivan Hugo Nunes Santiago]

Caros colegas de lista,

venho em nome do meu grupo agradecer as vossas contribuições sobre a mudança do 
nome.

Decidimos aproveitar esse momento para fazermos uma singela homenagem a 
Carolina Blásio da Silva, nossa eterna Carol, que todos conhecem. Ao contrário 
de um nome desconhecido, decidiu-se por um nome que nos traz muita alegria e 
boas recordações. Desta vez, decidimos o nome e depois fizemos o malabarismo 
semântico (não importa). Ficou assim:

 Group for Computability, Approximate Reasoning, Ordered structures
and Logics - CAROL

Certamente as áreas não estão nem perto de todas as áreas e pesquisas que 
desenvolvemos aqui, mas reflete boa parte delas e elimina qualquer sentido 
excludente.

Um abraço a todos

Regivan

-- 
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 ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/50191FD9-F854-49DF-AC0B-FD0E1F3045C4%40gmail.com.

[Logica-l] Lukasiewicz

[Regivan Hugo Nunes Santiago]

Caríssimos,

Alguém conhece alguma referencia que tenha a demonstração da propriedade de 
Exchange: I(x,I(y,z))=I(y,I(x,z)) para a implicação I(x,y)=min(1,1-x+y)?

Regivan



Prof. Dr. Regivan Hugo Nunes Santiago
Group for Logic, Language, Information, Theory and Applications - LoLITA
Department of Informatics and Applied Mathematics - DIMAp
Federal University of Rio Grande do Norte - UFRN
Avenida Senador Salgado Filho, 3000,
Campus Universitario, Lagoa Nova, 59.078-970, Natal, RN, Brasil
Caixa Postal: 1679Phone: +55 84 3215-3814 Ext. 211
Fax:  +55 84 3215-3813
http://www.dimap.ufrn.br/~regivan (Outdated)
e-mail: regivan AT DOMAIN=dimap,ufrn,br.


-- 
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 ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/7C94BEAD-276E-431A-A3F2-8F28AA421759%40dimap.ufrn.br.

Re: [Logica-l] Paper

[Regivan Hugo Nunes Santiago]

Obrigado Claudio.

Regivan

Prof. Dr. Regivan Hugo Nunes Santiago
Group for Logic, Language, Information, Theory and Applications - LoLITA
Department of Informatics and Applied Mathematics - DIMAp
Federal University of Rio Grande do Norte - UFRN
Avenida Senador Salgado Filho, 3000,
Campus Universitario, Lagoa Nova, 59.078-970, Natal, RN, Brasil
Caixa Postal: 1679Phone: +55 84 3215-3814 Ext. 211
Fax:  +55 84 3215-3813
http://www.dimap.ufrn.br/~regivan (Outdated)
e-mail: regivan AT DOMAIN=dimap,ufrn,br.


-- 
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 ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/71321DAD-F23B-40A2-B822-A0B4527C39DA%40dimap.ufrn.br.

[Logica-l] Paper

[Regivan Hugo Nunes Santiago]

Caríssimos,

Alguém tem o paper:

Domains for Computation in Mathematics, Physics and Exact Real Arithmetic
Abbas Edalat
DOI: https://doi.org/10.2307/42109

Não consigo baixar por aqui.

Abraços,
Regivan

Prof. Dr. Regivan Hugo Nunes Santiago
Group for Logic, Language, Information, Theory and Applications - LoLITA
Department of Informatics and Applied Mathematics - DIMAp
Federal University of Rio Grande do Norte - UFRN
Avenida Senador Salgado Filho, 3000,
Campus Universitario, Lagoa Nova, 59.078-970, Natal, RN, Brasil
Caixa Postal: 1679Phone: +55 84 3215-3814 Ext. 211
Fax:  +55 84 3215-3813
http://www.dimap.ufrn.br/~regivan (Outdated)
e-mail: regivan AT DOMAIN=dimap,ufrn,br.


-- 
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 ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/EDC725B0-862A-4991-AAD8-44D645CC37B0%40dimap.ufrn.br.

Re: [Logica-l] Presheaves

[Regivan Hugo Nunes Santiago]

Caros colegas,

muito obrigado pelas contribuições.

Um grande abraço,
Regivan
**
*Prof. Dr. Regivan Hugo Nunes Santiago*
Group for Logic, Language, Information, Theory and Applications - LoLITA
Department of Informatics and Applied Mathematics - DIMAp
Federal University of Rio Grande do Norte - UFRN
Avenida Senador Salgado Filho, 3000,
Campus Universitario, Lagoa Nova, 59.078-970, Natal, RN, Brasil
Caixa Postal: 1679
Phone: +55 84 3215-3814 Ext. 211
Fax:  +55 84 3215-3813
https://sites.google.com/site/regivanhnsantiago/
e-mail: regivan AT DOMAIN=dimap,ufrn,br.

Curriculum Lattes-CNPq
<http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4790032Z4=2>
**


On Fri, Sep 6, 2019 at 11:15 AM Francisco Miraglia Neto 
wrote:

> Caro Regivan,
>
> Há muitos exemplos. Primeiro uma observação: todo perfeixe sobre um espaço
> topológico pode ser reescrito na abordagem proposta por Fourman e Scott
> (isto é meio imediato).
>
> 1. 0 exemplo mais standard é o prefeixe, P, das funções reais contínuas e
> limitadas sobre a reta.
> A função x^2 é colagem de limitadas, mas não é seção global de P.
>
> 2. Como generalização de (1), podemos tomar funções contínuas f, de um
> espaço topológico X em um espaço topológico Y, tal que o fecho da imagem de
> f é compacto em Y (X e Y Hausdorff, X não compacto)
>
>
> 3. Em geral, muitas construções originam-se em prefeixe, que depois são
> “completadas”  para feixes. Um exemplo é a construção de Grothendieck do
> prefeixe associado a um anel comutativo: na realidade o prefeixe é
> construído, originalmente apenas sobre abertos básicos da topologia de
> Zariski.
>
> 4. Seja X um espaço Hausdorff, com base de abertos e fechados e não
> compacto (e.g. , retire apenas um ponto do espaço de Cantor, ou mais
> geralmente um fechado raro).
> O prefeixe Q das funções localmente constantes e de imagem finita de X em
> qualquer conjunto infinito A é um prefeixe que não é um feixe. Este exemplo
> é, claro, parente de (1) e (2). Aqui lembre-se que o complemento do ponto
> retirado do conjunto de Cantor é união disjunta enumerável de abertos e
> fechados não vazios...
>
> Um grande abraço,
>
> Chico Miraglia
>
>
> On 6 Sep 2019, at 10:06, Regivan Hugo Nunes Santiago <
> regi...@dimap.ufrn.br> wrote:
>
> Caríssimos,
>
> alguém conhece um exemplo de um presheaf que não seja um Sheaves.
> Gostaria de um exemplo que  não fosse abordado categoricamente,
> mas que seguisse a abordagem proposta pelo Scott e o Fourman.
>
> Regivan
>
>
> **
> *Prof. Dr. Regivan Hugo Nunes Santiago*
> Group for Logic, Language, Information, Theory and Applications - LoLITA
> Department of Informatics and Applied Mathematics - DIMAp
> Federal University of Rio Grande do Norte - UFRN
> Avenida Senador Salgado Filho, 3000,
> Campus Universitario, Lagoa Nova, 59.078-970, Natal, RN, Brasil
> Caixa Postal: 1679
> Phone: +55 84 3215-3814 Ext. 211
> Fax:  +55 84 3215-3813
> https://sites.google.com/site/regivanhnsantiago/
> e-mail: regivan AT DOMAIN=dimap,ufrn,br.
>
> Curriculum Lattes-CNPq
> <http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4790032Z4=2>
>
> **
>
> --
> Você recebeu essa mensagem porque está inscrito 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 ver essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANLtSLinRUp2xAn1bBucxUcKT4vSCPwWRGe%2BfweiSC8XQijjcQ%40mail.gmail.com
> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANLtSLinRUp2xAn1bBucxUcKT4vSCPwWRGe%2BfweiSC8XQijjcQ%40mail.gmail.com?utm_medium=email_source=footer>
> .
>
>

-- 
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 ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANLtSLgOoo1BLLUTApE9tkW1jRVX1%3DKD5958fr6vFYwegDAzPw%40mail.gmail.com.

[Logica-l] Presheaves

[Regivan Hugo Nunes Santiago]

Caríssimos,

alguém conhece um exemplo de um presheaf que não seja um Sheaves.
Gostaria de um exemplo que  não fosse abordado categoricamente,
mas que seguisse a abordagem proposta pelo Scott e o Fourman.

Regivan

**
*Prof. Dr. Regivan Hugo Nunes Santiago*
Group for Logic, Language, Information, Theory and Applications - LoLITA
Department of Informatics and Applied Mathematics - DIMAp
Federal University of Rio Grande do Norte - UFRN
Avenida Senador Salgado Filho, 3000,
Campus Universitario, Lagoa Nova, 59.078-970, Natal, RN, Brasil
Caixa Postal: 1679
Phone: +55 84 3215-3814 Ext. 211
Fax:  +55 84 3215-3813
https://sites.google.com/site/regivanhnsantiago/
e-mail: regivan AT DOMAIN=dimap,ufrn,br.

Curriculum Lattes-CNPq
<http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4790032Z4=2>
**

-- 
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 ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANLtSLinRUp2xAn1bBucxUcKT4vSCPwWRGe%2BfweiSC8XQijjcQ%40mail.gmail.com.

Re: [Logica-l] Fwd: Zohar Manna is no longer with us

[Regivan Hugo Nunes Santiago]

Muito triste,

foi o primeiro autor em Teoria da Computação que li.

Regivan
**
*Prof. Dr. Regivan Hugo Nunes Santiago*
Group for Logic, Language, Information, Theory and Applications - LoLITA
Department of Informatics and Applied Mathematics - DIMAp
Federal University of Rio Grande do Norte - UFRN
Avenida Senador Salgado Filho, 3000,
Campus Universitario, Lagoa Nova, 59.078-970, Natal, RN, Brasil
Caixa Postal: 1679
Phone: +55 84 3215-3814 Ext. 211
Fax:  +55 84 3215-3813
https://sites.google.com/site/regivanhnsantiago/
e-mail: regivan AT DOMAIN=dimap,ufrn,br.

Curriculum Lattes-CNPq
<http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4790032Z4=2>
**


On Thu, Aug 30, 2018 at 3:02 PM Marcelo Finger  wrote:

> Que triste!
>
> On Thu, Aug 30, 2018 at 2:02 PM, Valeria de Paiva <
> valeria.depa...@gmail.com> wrote:
>
>>
>> More sad news,  via Richard Waldinger.
>>
>> -- Forwarded message -
>> From: Richard Waldinger 
>> Date: Thu, Aug 30, 2018 at 8:28 AM
>> Subject: Fwd: Zohar Manna is no longer with us
>> To: AIC coffee , ,
>> kestrel Announcements 
>>
>>
>> I was sorry to learn that my old friend and long-time collaborator Zohar
>> Manna died today in Israel.
>>
>> Begin forwarded message:
>>
>> *From: *Nachum Dershowitz 
>> *Subject: **Zohar Manna is no longer with us*
>> *Date: *August 30, 2018 at 6:58:39 AM PDT
>> *Cc: *
>>
>> I am very sad to report that my beloved advisor, Zohar Manna, passed away
>> early this morning, at home in Israel, with all of his family around him.
>>
>>
>>
>>
>> --
>> Valeria de Paiva
>> http://vcvpaiva.github.io/
>> http://research.nuance.com/author/valeria-de-paiva/
>> http://www.cs.bham.ac.uk/~vdp/
>>
>> --
>> Você recebeu essa mensagem porque está inscrito 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 nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
>> Acesse esse grupo em
>> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
>> Para ver essa discussão na Web, acesse
>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXtQJjjKUSJjPoEFU27ptVvDzGncptxOLozP-puY-7Cucw%40mail.gmail.com
>> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXtQJjjKUSJjPoEFU27ptVvDzGncptxOLozP-puY-7Cucw%40mail.gmail.com?utm_medium=email_source=footer>
>> .
>>
>
>
>
> --
>  Marcelo Finger
>  Departament of Computer Science, IME
>  University of Sao Paulo
>  http://www.ime.usp.br/~mfinger
>  ORCID: https://orcid.org/-0002-1391-1175
>  ResearcherID: A-4670-2009
>
> --
> Você recebeu essa mensagem porque está inscrito 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 nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
> Acesse esse grupo em
> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
> Para ver essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CABqmzx3xW4DmQ3AB-3D_yrtftdumLhR%2B1eg%3Dn0GpEN5LynVjRQ%40mail.gmail.com
> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CABqmzx3xW4DmQ3AB-3D_yrtftdumLhR%2B1eg%3Dn0GpEN5LynVjRQ%40mail.gmail.com?utm_medium=email_source=footer>
> .
>

-- 
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/CANLtSLhJUGmFfOHwD-QTBonpSLes3H%3D7XumKVKmTZ__XAsDx0g%40mail.gmail.com.

[Logica-l] Re: Workshop em comemoração dos 10 anos do LoLITA

[Regivan Hugo Nunes Santiago]

Obrigado

Regivan

Em qua, 29 de ago de 2018 07:55, Jéssica Lorena Cruz de Medeiros <
jess...@dimap.ufrn.br> escreveu:

> Oi professor,
>
> Divulgado nos fóruns dos cursos de Ciência da Computação e Engenharia de
> Software.
>
> --
> Att.,
> Jéssica Medeiros.
> DIMAp - UFRN
>
> Em 28 de agosto de 2018 14:01, Regivan Hugo Nunes Santiago <
> regi...@dimap.ufrn.br> escreveu:
>
>> Caros colegas,
>>
>> segue a programação do Workshop em comemoração do LoLITA.
>> O evento é grátis e ocorrerá na UFRN para aqueles que puderem
>> participar. Para aqueles que não puderem, em anexo segue o programa
>> que dá uma ideia do que andamos fazendo por aqui.
>>
>> Um abraço,
>> Regivan
>>
>> *Título:* Workshop em Comemoração aos 10 Anos do LoLITA
>> *Data:* 03/09/2018 à 05/09/2018
>> *Local:* Anfiteatro B / CCET / UFRN
>>
>> *Detalhes:* No dia 03 de setembro comemora-se os 10 anos de fundação do
>> grupo de pesquisa em  Lógica, Linguagem, Teoria e Aplicações (LoLITA). Esse
>> grupo tem se dedicado ao longo de uma década na  investigação dos
>> fundamentos que regem as várias áreas da Ciência da Computação. Os temas de
>> pesquisa envolvem:
>>
>>- A modelagem rigorosa de diversos tipos de incertezas e imprecisões
>>presentes em problemas do mundo real;
>>- a investigação em lógicas não-clássicas que são motivadas por
>>aspectos presentes em modelos de computação, como por exemplo:
>>inconsistências toleráveis (lógica paraconsistente) em banco de dados,
>>raciocínio aproximado (lógica fuzzy) usado em sistemas especialistas e
>>outras aplicações;
>>- a investigação de teorias matemáticas úteis à ciência da computação
>>(teoria de ordens parciais, topologia, álgebra universal, etc.),
>>- o estudo de modelos de computação e hiper-computabilidade.
>>
>>
>> Para comemorar os 10 anos, o LoLITA está realizando um Workshop nos dias
>> 03-05 de setembro no Anfiteatro B / CCET. Inscrições podem ser feitas em
>> https://goo.gl/forms/QCTQNV3iM8s7lCAx1 e a programação completa pode ser
>> encontrada em
>> https://drive.google.com/file/d/1Wxw864yVtHcDige6eLQ6PqSPT7ulpJef/view?usp=sharing
>> .
>>
>>
>>
>> **
>> *Prof. Dr. Regivan Hugo Nunes Santiago*
>> Group for Logic, Language, Information, Theory and Applications - LoLITA
>> Department of Informatics and Applied Mathematics - DIMAp
>> Federal University of Rio Grande do Norte - UFRN
>> Avenida Senador Salgado Filho, 3000,
>> Campus Universitario, Lagoa Nova, 59.078-970, Natal, RN, Brasil
>> Caixa Postal: 1679
>> Phone: +55 84 3215-3814 Ext. 211
>> Fax:  +55 84 3215-3813
>> https://sites.google.com/site/regivanhnsantiago/
>> e-mail: regivan AT DOMAIN=dimap,ufrn,br.
>>
>> Curriculum Lattes-CNPq
>> <http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4790032Z4=2>
>>
>> **
>>
>> --
>> Você recebeu essa mensagem porque está inscrito no grupo "Funcionários do
>> DIMAp" dos Grupos do Google.
>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele,
>> envie um e-mail para funcionarios+unsubscr...@dimap.ufrn.br.
>> Para postar nesse grupo, envie um e-mail para funcionar...@dimap.ufrn.br.
>> Acesse esse grupo em
>> https://groups.google.com/a/dimap.ufrn.br/group/funcionarios/.
>> Para ver essa discussão na Web, acesse
>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/funcionarios/CANLtSLjBRuiinbob9EriShFOUaW0itg5uJ6gCupVW8EOA1u6Bg%40mail.gmail.com
>> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/funcionarios/CANLtSLjBRuiinbob9EriShFOUaW0itg5uJ6gCupVW8EOA1u6Bg%40mail.gmail.com?utm_medium=email_source=footer>
>> .
>> Para mais opções, acesse
>> https://groups.google.com/a/dimap.ufrn.br/d/optout.
>>
>
> --
> Você recebeu essa mensagem porque está inscrito no grupo "Funcionários do
> DIMAp" dos Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie
> um e-mail para funcionarios+unsubscr...@dimap.ufrn.br.
> Para postar nesse grupo, envie um e-mail para funcionar...@dimap.ufrn.br.
> Acesse esse grupo em
> https://groups.google.com/a/dimap.ufrn.br/group/funcionarios/.
> Para ver essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/funcionarios/CADtiAbdergrDL8ccN_xkM6rooBrbKxYAeChWACVNbawzhZ7kAg%40mail.gmail.com
> <https://groups.google.com/a/dimap.ufrn.br/d/ms

[Logica-l] Workshop em comemoração dos 10 anos do LoLITA

[Regivan Hugo Nunes Santiago]

Caros colegas,

segue a programação do Workshop em comemoração do LoLITA.
O evento é grátis e ocorrerá na UFRN para aqueles que puderem
participar. Para aqueles que não puderem, em anexo segue o programa
que dá uma ideia do que andamos fazendo por aqui.

Um abraço,
Regivan

*Título:* Workshop em Comemoração aos 10 Anos do LoLITA
*Data:* 03/09/2018 à 05/09/2018
*Local:* Anfiteatro B / CCET / UFRN

*Detalhes:* No dia 03 de setembro comemora-se os 10 anos de fundação do
grupo de pesquisa em  Lógica, Linguagem, Teoria e Aplicações (LoLITA). Esse
grupo tem se dedicado ao longo de uma década na  investigação dos
fundamentos que regem as várias áreas da Ciência da Computação. Os temas de
pesquisa envolvem:

   - A modelagem rigorosa de diversos tipos de incertezas e imprecisões
   presentes em problemas do mundo real;
   - a investigação em lógicas não-clássicas que são motivadas por aspectos
   presentes em modelos de computação, como por exemplo: inconsistências
   toleráveis (lógica paraconsistente) em banco de dados, raciocínio
   aproximado (lógica fuzzy) usado em sistemas especialistas e outras
   aplicações;
   - a investigação de teorias matemáticas úteis à ciência da computação
   (teoria de ordens parciais, topologia, álgebra universal, etc.),
   - o estudo de modelos de computação e hiper-computabilidade.


Para comemorar os 10 anos, o LoLITA está realizando um Workshop nos dias
03-05 de setembro no Anfiteatro B / CCET. Inscrições podem ser feitas em
https://goo.gl/forms/QCTQNV3iM8s7lCAx1 e a programação completa pode ser
encontrada em
https://drive.google.com/file/d/1Wxw864yVtHcDige6eLQ6PqSPT7ulpJef/view?usp=sharing
.


**
*Prof. Dr. Regivan Hugo Nunes Santiago*
Group for Logic, Language, Information, Theory and Applications - LoLITA
Department of Informatics and Applied Mathematics - DIMAp
Federal University of Rio Grande do Norte - UFRN
Avenida Senador Salgado Filho, 3000,
Campus Universitario, Lagoa Nova, 59.078-970, Natal, RN, Brasil
Caixa Postal: 1679
Phone: +55 84 3215-3814 Ext. 211
Fax:  +55 84 3215-3813
https://sites.google.com/site/regivanhnsantiago/
e-mail: regivan AT DOMAIN=dimap,ufrn,br.

Curriculum Lattes-CNPq
<http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4790032Z4=2>
**
-- 
**
*Prof. Dr. Regivan Hugo Nunes Santiago*
Group for Logic, Language, Information, Theory and Applications - LoLITA
Department of Informatics and Applied Mathematics - DIMAp
Federal University of Rio Grande do Norte - UFRN
Avenida Senador Salgado Filho, 3000,
Campus Universitario, Lagoa Nova, 59.078-970, Natal, RN, Brasil
Caixa Postal: 1679
Phone: +55 84 3215-3814 Ext. 211
Fax:  +55 84 3215-3813
https://sites.google.com/site/regivanhnsantiago/
e-mail: regivan AT DOMAIN=dimap,ufrn,br.

Curriculum Lattes-CNPq
<http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4790032Z4=2>
**

-- 
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/CANLtSLgmz4nWfkMt1Ashd5brP86s8hPcVb4qfSt5Atda9246dg%40mail.gmail.com.

[Logica-l] Workshop de 10 anos do LoLITA

[Regivan Hugo Nunes Santiago]

**
Workshop de Comemoração dos *10 anos do LoLITA*
Setembro, 03-05 de 2018
**


*CHAMADA DE TRABALHOS*


DESCRIÇÃO:

No dia 03 de Setembro comemora-se os *10 anos de fundação do Grupo para
Lógica, Linguagem, Informação, Teoria e  Aplicações (LoLITA)*.
Com o intuito de comemorar esse marco, o grupo realizará um workshop no
período de 03-05 de setembro, onde se realizarão exposições orais de
trabalhos nas áreas de atuação do grupo e um minicurso.

Os autores deverão submeter um resumo do que será apresentado através de
e-mail para o endereço: regi...@dimap.ufrn.br contendo o assunto: *Lolita
10 anos*.


DATAS IMPORTANTES:

Deadline ..  21/Ago
Notificação ..  23/Ago
Inscrição .. Grátis

CONTATO

 Prof. Regivan Santiago: regi...@dimap.ufrn.br


**
*Prof. Dr. Regivan Hugo Nunes Santiago*
Group for Logic, Language, Information, Theory and Applications - LoLITA
Department of Informatics and Applied Mathematics - DIMAp
Federal University of Rio Grande do Norte - UFRN
Avenida Senador Salgado Filho, 3000,
Campus Universitario, Lagoa Nova, 59.078-970, Natal, RN, Brasil
Caixa Postal: 1679
Phone: +55 84 3215-3814 Ext. 211
Fax:  +55 84 3215-3813
https://sites.google.com/site/regivanhnsantiago/
e-mail: regivan AT DOMAIN=dimap,ufrn,br.

Curriculum Lattes-CNPq
<http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4790032Z4=2>
**

-- 
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/CANLtSLiw56UQm1zKo13GrRL4PRdAR_QBkx5rMRB-Av7Wf99y5Q%40mail.gmail.com.

[Logica-l] Verificação de Definições

[Regivan Hugo Nunes Santiago]

Caros colegas,

estou lendo o livro do Moshé Machover: ``Set Theory, Logic and Their 
Limitations’’ e me surgiu 
uma dúvida com respeito aos cuidados que *precisamos* ter ao propor uma 
definição.

A definição é na seção sobre cardinais, quando ele define prematuramente (de 
maneira proposital)
a noção de cardinalidade; como um objeto que será posteriormente mais detalhado.

A definição 2.1 p. 38 é a que segue:

“2.1 Definition
Let $\lambda$ and $\mu$ be cardinals. Let $A$ and $B$ be sets such that $\mid 
A\mid =\lambda$ and
$\mid B\mid =\mu$. We say that $\lambda$ is smaller-than-or-equal-to $\mu$, .., 
if there is an injection from $A$
to $B$.”

Em seguida ocorre a seguinte observação:

“ 2.2 Remark:

This definition is in need of legitimation: We must make sure that that the 
criterion it provides for asserting that
$\lambda\leq\mu$ depends only on these cardinals themselves rather than on the 
choice of particular sets $A$
and $B$ such that $\mid A\mid =\lambda$ and $\mid B\mid =\mu$. This is done as 
follows: Let $A,A’, B,B’$  be sets
such that $\midA\mid=\mid A’ \mid$ and $\mid B\mid =\mid B’ \mid$. Given an 
injection from $A$ to $B$, it is easy
to show that  there is also an injection from $A’$ to $B’$ "

Agora vem a minha dúvida: 

(1) É necessário fazer essa verificação, uma vez que na definição são 
assumidos $A$ e $B$ arbitrários tal que
$\mid A\mid =\lambda$ e $\mid B\mid=\mu$?. (Para mim não é necessário, 
pois a definição já assume a situação proposta em magenta.)

(2) Vocês conhecem alguma definição semelhante em que uma verificação 
parecida falhe? Ou seja o conceito vale apenas para um alguns objetos 
escolhidos e não para todos.


Abraços a todos,
Regivan




**
Prof. Dr. Regivan Hugo Nunes Santiago
Group for Logic, Language, Information, Theory and Applications - LoLITA
Department of Informatics and Applied Mathematics - DIMAp
Federal University of Rio Grande do Norte - UFRN
Avenida Senador Salgado Filho, 3000,
Campus Universitario, Lagoa Nova, 59.078-970, Natal, RN, Brasil
Caixa Postal: 1679Phone: +55 84 3215-3814 Ext. 211
Fax:  +55 84 3215-3813
https://sites.google.com/site/regivanhnsantiago/ 
<https://sites.google.com/site/regivanhnsantiago/>
e-mail: regivan AT DOMAIN=dimap,ufrn,br.

Curriculum Lattes-CNPq 
<http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4790032Z4=2>
**

-- 
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/81D16CEE-3379-4577-B1B8-FED5ED7C82C5%40dimap.ufrn.br.

Re: [Logica-l] Interseção e Pullbacks

[Regivan Hugo Nunes Santiago]

Perfeito Chico Miraglia!

Muito obrigado,
Regivan
**
Prof. Dr. Regivan Hugo Nunes Santiago
Group for Logic, Language, Information, Theory and Applications - LoLITA
Department of Informatics and Applied Mathematics - DIMAp
Federal University of Rio Grande do Norte - UFRN
Avenida Senador Salgado Filho, 3000,
Campus Universitario, Lagoa Nova, 59.078-970, Natal, RN, Brasil
Caixa Postal: 1679Phone: +55 84 3215-3814 Ext. 211
Fax:  +55 84 3215-3813
https://sites.google.com/site/regivanhnsantiago/ 
<https://sites.google.com/site/regivanhnsantiago/>
e-mail: regivan AT DOMAIN=dimap,ufrn,br.

Curriculum Lattes-CNPq 
<http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4790032Z4=2>
**

> Em 18 de mar de 2018, à(s) 11:14, Francisco Miraglia <mirag...@ime.usp.br> 
> escreveu:
> 
> Caro Regivan,
> 
> Sejam A, B,  C conjuntos e sejam $\iota_A$ : A ---> $A \cup B$ e $\iota_B$ 
> ---> $A \cup B$ as imersões canônicas.
> SUPONHA que existam funções f : C ---> A, g : C ---> B, tais que
> $\iota_A$ o f = $\iota_B$ o g e que A \cap B é vazio; se C fosse não-vazio, 
> esta equação produziria um ponto
> na interseção de A com B. Logo, C tem que ser vazio e claro que existe uma 
> única flecha de C na interseção
> de A e B (o próprio vazio). Assim, ainda neste caso, a afirmação é verdadeira.
> 
> Um grande abraço,
> 
> Chico Miraglia
> 
> Quoting Regivan Hugo Nunes Santiago <regivan.santi...@gmail.com 
> <mailto:regivan.santi...@gmail.com>>:
> 
>> Caríssimos,
>> 
>> me surgiu uma dúvida de um ponto que nunca tinha percebido e que não consegui
>> resolver com as referências que tenho.
>> 
>> Algumas referências, mostram que o pullback do par de funções:
>> 
>> A  >——> (A\cup B) <—— <  B (*)
>> 
>> é a intersecção A\cap B com as respectivas injeções em A e B.
>> 
>> Pois bem, pela definição de função e reforçado pelo último exercício do 
>> livro do Halmos,
>> Naive Set Theory, na parte de funções. Sabe-se que não existe função f: A —> 
>> \emptyset
>> quando $A$ não é vazio. Portanto, se $A$ e $B$ forem disjuntos, então não é
>> possível se produzir uma função $K$ de qualquer conjunto não vazio, $X$, em 
>> $A\cap B$.
>> Assim,  $A\cap B$ não pode ser o pullback  de (*). Ou ainda, reescrevendo, o 
>> pullback
>> de (*) só faz sentido se $A$ e $B$ não forem disjuntos.
>> 
>> Abraços,
>> Regivan
>> **
>> Prof. Dr. Regivan Hugo Nunes Santiago
>> Group for Logic, Language, Information, Theory and Applications - LoLITA
>> Department of Informatics and Applied Mathematics - DIMAp
>> Federal University of Rio Grande do Norte - UFRN
>> Avenida Senador Salgado Filho, 3000,
>> Campus Universitario, Lagoa Nova, 59.078-970, Natal, RN, Brasil
>> Caixa Postal: 1679Phone: +55 84 3215-3814 Ext. 211
>> Fax:  +55 84 3215-3813
>> https://sites.google.com/site/regivanhnsantiago/ 
>> <https://sites.google.com/site/regivanhnsantiago/> 
>> <https://sites.google.com/site/regivanhnsantiago/ 
>> <https://sites.google.com/site/regivanhnsantiago/>>
>> e-mail: regivan AT DOMAIN=dimap,ufrn,br.
>> 
>> Curriculum Lattes-CNPq 
>> <http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4790032Z4=2
>>  
>> <http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4790032Z4=2>>
>> **
>> 
>> --
>> 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 
>> <mailto:logica-l+unsubscr...@dimap.ufrn.br>.
>> Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br 
>> <mailto:logica-l@dimap.ufrn.br>.
>> Visite este grupo em 
>> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/ 
>> <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/DFFE46BC-1887-495C-A58D-44E9EE917642%40gmail.com
>>  
>> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/DFFE46BC-1887-495C-A58D-44E9EE917642%40gmail.com>.
> 
> 
> 
> -- 
> Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
&

[Logica-l] Interseção e Pullbacks

[Regivan Hugo Nunes Santiago]

Caríssimos,

me surgiu uma dúvida de um ponto que nunca tinha percebido e que não consegui
resolver com as referências que tenho. 

Algumas referências, mostram que o pullback do par de funções:

A  >——> (A\cup B) <—— <  B (*)

é a intersecção A\cap B com as respectivas injeções em A e B.

Pois bem, pela definição de função e reforçado pelo último exercício do livro 
do Halmos, 
Naive Set Theory, na parte de funções. Sabe-se que não existe função f: A —> 
\emptyset
quando $A$ não é vazio. Portanto, se $A$ e $B$ forem disjuntos, então não é 
possível se produzir uma função $K$ de qualquer conjunto não vazio, $X$, em 
$A\cap B$.
Assim,  $A\cap B$ não pode ser o pullback  de (*). Ou ainda, reescrevendo, o 
pullback 
de (*) só faz sentido se $A$ e $B$ não forem disjuntos.

Abraços,
Regivan
**
Prof. Dr. Regivan Hugo Nunes Santiago
Group for Logic, Language, Information, Theory and Applications - LoLITA
Department of Informatics and Applied Mathematics - DIMAp
Federal University of Rio Grande do Norte - UFRN
Avenida Senador Salgado Filho, 3000,
Campus Universitario, Lagoa Nova, 59.078-970, Natal, RN, Brasil
Caixa Postal: 1679Phone: +55 84 3215-3814 Ext. 211
Fax:  +55 84 3215-3813
https://sites.google.com/site/regivanhnsantiago/ 
<https://sites.google.com/site/regivanhnsantiago/>
e-mail: regivan AT DOMAIN=dimap,ufrn,br.

Curriculum Lattes-CNPq 
<http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4790032Z4=2>
**

-- 
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/DFFE46BC-1887-495C-A58D-44E9EE917642%40gmail.com.

[Logica-l] Fwd: Call of Paper - Special Section in “Artificial Intelligence in Industrial Systems” - IEEE Transactions on Industrial Electronics

[Regivan Hugo Nunes Santiago]

Dear Friends,the following call for papers can be of your interest.Thank you very much for your attention.Regivan
**Prof. Dr. Regivan Hugo Nunes SantiagoGroup for Logic, Language, Information, Theory and Applications - LoLITADepartment of Informatics and Applied Mathematics - DIMApFederal University of Rio Grande do Norte - UFRNAvenida Senador Salgado Filho, 3000,Campus Universitario, Lagoa Nova, 59.078-970, Natal, RN, BrasilCaixa Postal: 1679Phone: +55 84 3215-3814 Ext. 211Fax:  +55 84 3215-3813https://sites.google.com/site/regivanhnsantiago/e-mail: regivan AT DOMAIN=dimap,ufrn,br.Curriculum Lattes-CNPq**







-- 
Você recebeu essa mensagem porque está inscrito 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 nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Acesse esse grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/ECD3C06E-1BBB-435C-B62B-042420F9E9E8%40dimap.ufrn.br.


CFP-SS-Artificial-Intelligence-in-Industrial-Systems - OFFICIAL.pdf
Description: Adobe PDF document




-- 
Você recebeu essa mensagem porque está inscrito 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 nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Acesse esse grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/ECD3C06E-1BBB-435C-B62B-042420F9E9E8%40dimap.ufrn.br.

[Logica-l] Nafips no Brasil e CBSF

[Regivan Hugo Nunes Santiago]

Caros colegas das listas Fuzzy-l, Logic-l e SBMAC,

primeiramente desculpem as possíveis duplicações. Escrevo para essas listas 
pois alguns colegas possuem potenciais contribuições
para os congressos abaixo.

Abaixo segue a chamada de trabalhos para dois congressos que acontecerão 
simultaneamente em Fortaleza esse ano: O bianual e nacional Congresso 
Brasileiro de Sistemas Fuzzy (CBSF) na sua 5a edição e o North American Fuzzy 
Information Processing Society (NAFIPS 2018). 


Sobre o NAFIPS, essa é a primeira vez que o mesmo tem uma edição brasileira e 
portanto é com extrema alegria que a comunidade
brasileira de sistemas fuzzy participa dessa realização. Sobre o CBSF essa 
edição completa 10 anos desde sua primeira versão nacional (um resumo dos CBSFs 
com acesso a suas páginas e proceedings pode ser acessado em 
https://sites.google.com/site/brazilianfuzzy/).

Sobre o local do evento, para os que não conhecem acessem: 
https://pt.wikipedia.org/wiki/Fortaleza


Um abraço,
Regivan


[ CHAMADA DE TRABALHOS ]


**

37o. Conferência Anual NAFIPS

https://nafips2018.wordpress.com <https://nafips2018.wordpress.com/>
5o. Congresso Brasileiro de Sistemas Fuzzy

https://cbsf2018.wordpress.com <https://cbsf2018.wordpress.com/>
4 a 6 de Julho de 2018

Fortaleza, Ceará

 
Convidamos você a participar da próxima edição dos eventos científicos 37o. 
Conferência Anual da North American Fuzzy Information Processing Society 
(NAFIPS 2018) e 5o. Congresso Brasileiro de Sistemas Fuzzy (CBSF 2018), a ser 
realizada no período de 4 a 6 de Julho de 2018 na cidade de Fortaleza-CE.

 
Uma evento único nas áreas de Teoria de Conjuntos Nebulosos e Soft Computing, o 
Congresso NAFIPS-CBSF 2018 reunirá professores, pesquisadores, estudantes e 
profissionais que trabalham em lógica nebulosa e áreas relacionadas para 
apresentar suas contribuições mais recentes. Esse evento em conjunto oferece 
uma oportunidade única para o intercâmbio de ideias, promovendo interação e 
construção de colaborações de pesquisa.



A página de submissão de trabalhos na plataforma EasyChair está aberta. Os 
trabalhos deverão ser submetidos eletronicamente, no formato PDF, através da 
plataforma EasyChair usando os links abaixo
 <https://easychair.org/conferences/?conf=cbsf2018>

 <https://easychair.org/conferences/?conf=cbsf2018>
Clique aqui para submeter seu trabalho no 37th Conferência Anual NAFIPS! 
<https://easychair.org/conferences/?conf=nafips2018>

 <https://easychair.org/conferences/?conf=cbsf2018>
Clique aqui para submeter seu trabalho no V Congresso Brasileiro de Sistemas 
Fuzzy (CBSF)! <https://easychair.org/conferences/?conf=cbsf2018> 



Maiores detalhes acessem a página dos eventos NAFIPS 
(https://nafips2018.wordpress.com/ <https://nafips2018.wordpress.com/>) e CBSF 
(https://cbsf2018.wordpress.com/ <https://cbsf2018.wordpress.com/>).

 

Datas Importantes

Submissão de trabalhos completos: 21 de Fevereiro de 2018.


Notificação dos trabalhos aceitos:   18 de Março de 2018.

Submissão da versão final: 31 de Março de 2018.

 
A cidade de Fortaleza e arredores contam com muitas belezas naturais, tanto 
pela grande diversidades de praias tropicais quanto pelo clima agradável e mais 
ameno das serras. A noite é garantida com as diversas opções de shows de humor, 
marca característica do estado, e bailes de forró, que acontecem de segunda a 
segunda em diferentes pontos da cidade. Por fim, os visitantes não podem deixar 
de apreciar também o rico artesanato e a culinária local repleta de iguarias 
com deliciosos sabores.

 
A Universidade Federal do Ceará (UFC) é reconhecida como uma das melhores 
universidades do Brasil. Ela foi criada em 1954 e defende o lema “O universal 
pelo regional”, tendo como missão institucional formar profissionais da mais 
alta qualificação, gerar e difundir conhecimentos, preservar e divulgar os 
valores éticos, científicos, artísticos e culturais, de forma estratégica para 
o desenvolvimento do Ceará, do Nordeste e do Brasil.



Comissão Organizadora Local

Guilherme Barreto (UFC) (guialen...@gmail.com <mailto:guialen...@gmail.com>)

Ricardo Coelho (UFC) (rcoel...@dema.ufc.br <mailto:rcoel...@dema.ufc.br>)

Centro Acadêmico da Matemática Industrial (CAMI)

 
Maiores informações sobre os eventos:

Fone: +55 85 3366-9840 <tel:+55%2085%203366-9840>
Páginas: NAFIPS (https://nafips2018.wordpress.com/ 
<https://nafips2018.wordpress.com/>) e CBSF (https://cbsf2018.wordpress.com/ 
<https://cbsf2018.wordpress.com/>)

Email: guialen...@gmail.com <mailto:guialen...@gmail.com> ou 
rcoel...@dema.ufc.br <mailto:rcoel...@dema.ufc.br>
 
Cordialmente,

Comissão Organizadora NAFIPS-CBSF

 
**
*

[Logica-l] A review on a Fuzzy Logic Book with applications on Biomathematics

[Regivan Hugo Nunes Santiago]

Dear Friends, 

for those which are interested on Fuzzy Systems. The book:

A first course in fuzzy logic, fuzzy dynamical systems, and biomathematics. 
Theory and applications. (English) 
de Barros, Laécio Carvalho 
<https://zbmath.org/authors/?q=ai:de-barros.laecio-carvalho>; Bassanezi, Rodney 
Carlos <https://zbmath.org/authors/?q=ai:bassanezi.rodney-carlos>; Lodwick, 
Weldon Alexander <https://zbmath.org/authors/?q=ai:lodwick.weldon-alexander>

has been reviewed. Its review can be found in


https://zbmath.org/?q=an:1373.03005


Regards,
Regivan
******
Prof. Dr. Regivan Hugo Nunes Santiago
Group for Logic, Language, Information, Theory and Applications - LoLITA
Department of Informatics and Applied Mathematics - DIMAp
Federal University of Rio Grande do Norte - UFRN
Avenida Senador Salgado Filho, 3000,
Campus Universitario, Lagoa Nova, 59.078-970, Natal, RN, Brasil
Caixa Postal: 1679Phone: +55 84 3215-3814 Ext. 211
Fax:  +55 84 3215-3813
https://sites.google.com/site/regivanhnsantiago/ 
<https://sites.google.com/site/regivanhnsantiago/>
e-mail: regivan AT DOMAIN=dimap,ufrn,br.

Curriculum Lattes-CNPq 
<http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4790032Z4=2>
**

-- 
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/972B97C5-4CDA-4228-9D6D-21186D4A778D%40dimap.ufrn.br.

Re: [Logica-l] Judment

[Regivan Hugo Nunes Santiago]

Caros,

muito obrigado pelas respostas.

Regivan

> Em 16 de fev de 2017, à(s) 09:13, Julio Stern  escreveu:
> 
> 
> Caros: 
> 
> Mesmo na linguagem cotidiana, uso 
> -- Juizo --  para expressar uma avaliacao 
> (possivelmente pessoal), como na expressao 
> "juizo de valor" 
> 
> Reservo a expressao -- Julgamento -- para o 
> resultado de um processo formal , como na 
> expressao  "trasitou em julgado" i.e. a 
> decisao final de um processo judicial. 
> 
> ---Julio Stern 
>   
> 
> 
>  
> 
> 
> From: Joao Marcos >
> Sent: Wednesday, February 15, 2017 5:17 PM
> To: Lista acadêmica brasileira dos profissionais e estudantes da área de 
> LOGICA
> Subject: Re: [Logica-l] Judment
>  
> > eu continuo achando  que "judgement" tambem pode ser traduzido com
> > "julgamento" quando usado na acepcao matematica do termo, como os
> > julgamentos da teoria de Martin-Loef.
> >
> > a gente ja' discutiu isso por aqui, assim como ja discutimos (e discordamos
> > uns dos outros) sobre Teoria da Prova, etc...
> 
> Não me recordo de termos discutido a tradução de *judgment* aqui, mas
> sobre esta questão etimológica o Martin-Löf escreveu logo no começo do
> "On the meanings of the logical constants..." que:
> 
>   The term judgement also has a long history
> [ele o está contrastando com o termo "proposition",
> sobre o qual discutiu no parágrafo anterior do texto].
>   It is the Gr. "krisis", translated into Lat. judicium,
>   It. giudizio, Eng. judgement, and Ger. Urteil.
> 
> O termo neste caso foi importado pelo Martin-Löf diretamente do Frege,
> que por sua vez o herdou da tradição filosófica alemã capitaneada por
> Kant.  É interessante talvez notar que o título do livro "Kritik der
> Urteilskraft" é traduzido em português de maneira muito variada:
> "Crítica do Juízo", "Crítica da Faculdade de Julgar", "Crítica da
> Faculdade do Juízo", e aparentemente até (embora eu não me lembre de
> tê-lo visto com este título) "Crítica da Faculdade de Julgamento".  A
> propósito, traduzir "Urteilskraft" simplesmente como "juízo"
> ilustraria um pouco o que Martin-Löf considera ser uma ambiguidade
> crucial entre o (ato do) juízo e a proposição (aquilo que é julgado).
> Nestas acepções, não sei que juízo (julgamento?) faria Martin-Löf do
> termo "julgamento", na nossa língua. [#]
> 
> A meu ver, fazemos bem em deixar as *provas* e os *julgamentos* para o
> tribunal, ao qual elas pertencem de direito.  De todo modo, é bom não
> confundir cidadãos julgados com cidadãos ajuizados. :-)
> 
> Abraços,
> Joao Marcos
> 
> 
> [@] "Que juízo faria" é português castiço, lá dos Sermoens do
> Pe. Antonio Vieira...
> 
> -- 
> http://sequiturquodlibet.googlepages.com/ 
> 
> sequiturquodlibet 
> sequiturquodlibet.googlepages.com 
> João Marcos, Joao Marcos, logic, formal philosophy, universal logic, abstract 
> consequence relations, paraconsistent logics, many-valued logics, modal 
> logics, formal semantics, possible-translations semantics, possible-worlds 
> semantics, society semantics, non-deterministic semantics, formal logic, 
> philosophy of logic
> 
> 
> 
> -- 
> 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/CAO6j_LhuE3RePwT0juSEDf6_n7iePJjCFhC-AG4w5ovm4tzLFA%40mail.gmail.com
>  
> .
> Google Groups 
> 
> groups.google.com 
> Google Groups allows you to create and participate in online forums and 
> email-based groups with a rich experience for community conversations.
> 
> 
> -- 
> Você recebeu essa mensagem porque está inscrito 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 nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br 
> .
> Acesse esse grupo em 
> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/ 
> 

Re: [Logica-l] Judment

[Regivan Hugo Nunes Santiago]

Pesquisei rapidamente na internet e encontrei alguns textos de Lógica, e.g. 
http://www.ebah.com.br/content/ABAAAgJhsAC/logica 
<http://www.ebah.com.br/content/ABAAAgJhsAC/logica>, falando da diferença entre 
os conceitos de Juizo e Proposição. Vocês teriam alguma referência mais 
confiável e clara que pudessem me indicar para que eu entenda essa diferença. 
No texto mencionado existem problemas na edição nesse trecho.


Regivan


> Em 15 de fev de 2017, à(s) 15:47, Regivan Hugo Nunes Santiago 
> <regi...@dimap.ufrn.br> escreveu:
> 
> Obrigado!
> 
> Regivan
> 
> **********
> Prof. Dr. Regivan Hugo Nunes Santiago
> Group for Logic, Language, Information, Theory and Applications - LoLITA
> Department of Informatics and Applied Mathematics - DIMAp
> Federal University of Rio Grande do Norte - UFRN
> Avenida Senador Salgado Filho, 3000,
> Campus Universitario, Lagoa Nova, 59.078-970, Natal, RN, Brasil
> Caixa Postal: 1679
> Phone: +55 84 3215-3814 Ext. 211
> Fax:  +55 84 3215-3813
> https://sites.google.com/site/regivanhnsantiago/ 
> <https://sites.google.com/site/regivanhnsantiago/>
> e-mail: regivan AT DOMAIN=dimap,ufrn,br.
> 
> Curriculum Lattes-CNPq 
> <http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4790032Z4=2>
> **
> 
> 2017-02-15 15:03 GMT-03:00 Valeria de Paiva <valeria.depa...@gmail.com 
> <mailto:valeria.depa...@gmail.com>>:
> sim tambem concordo que numa situacao   mais
>  filosófica, ou de logica em geral, em vez de logica matematica ou teoria de 
> tipos em CS, "juízo" me  pareceria bem melhor.
> 
> 
> abs
> Valeria
> 
> 2017-02-15 8:36 GMT-08:00 Walter Carnielli <walter.carnie...@gmail.com 
> <mailto:walter.carnie...@gmail.com>>:
> Oi Valeria
> cc Regivan
> 
> sim, se for usado  na acepção jurídica,  poderia ser  "julgamento".
> Martin-Loef usa  *numa*  certa acepção matemática do termo,  mas  Kant
>  preferiria  "juízo" mesmo. Portanto, se for  numa vertente  mais
> lógica  ou filosófica, "juízo" me  pareceria melhor,
> 
> abraços,
> 
> Walter
> 
> Em 15 de fevereiro de 2017 14:16, Valeria de Paiva
> <valeria.depa...@gmail.com <mailto:valeria.depa...@gmail.com>> escreveu:
> > Walter e Regivan,
> > eu continuo achando  que "judgement" tambem pode ser traduzido com
> > "julgamento" quando usado na acepcao matematica do termo, como os
> > julgamentos da teoria de Martin-Loef.
> >
> > a gente ja' discutiu isso por aqui, assim como ja discutimos (e discordamos
> > uns dos outros) sobre Teoria da Prova, etc...
> > meus dois tostoes, como sempre,
> > abs
> > Valeria
> >
> >
> > 2017-02-15 4:02 GMT-08:00 Walter Carnielli <walter.carnie...@gmail.com 
> > <mailto:walter.carnie...@gmail.com>>:
> >>
> >> Juízo.
> >>
> >> Em 15 de fevereiro de 2017 09:44, Regivan Hugo Nunes Santiago
> >> <regivan.santi...@gmail.com <mailto:regivan.santi...@gmail.com>> escreveu:
> >> > Caríssimos,
> >> >
> >> > uma pergunta básica, qual seria a tradução mais adequada para a
> >> > expressão inglesa  “judgment” dentro do contexto da lógica?
> >> >
> >> > Regivan
> >> >
> >> > --
> >> > 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 
> >> > <mailto:logica-l%2bunsubscr...@dimap.ufrn.br>.
> >> > Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br 
> >> > <mailto:logica-l@dimap.ufrn.br>.
> >> > Visite este grupo em
> >> > https://groups.google.com/a/dimap.ufrn.br/group/logica-l/ 
> >> > <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/972A0AEF-2207-485B-BE84-7A88499FD051%40gmail.com
> >> >  
> >> > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/972A0AEF-2207-485B-BE84-7A88499FD051%40gmail.com>.
> >>
> >>
> >>
> >> --
> >> ---
> >> Walter Carnielli
> >> Centre for Logic, Epistemology and the History o

Re: [Logica-l] Judment

[Regivan Hugo Nunes Santiago]

Obrigado!

Regivan

**
*Prof. Dr. Regivan Hugo Nunes Santiago*
Group for Logic, Language, Information, Theory and Applications - LoLITA
Department of Informatics and Applied Mathematics - DIMAp
Federal University of Rio Grande do Norte - UFRN
Avenida Senador Salgado Filho, 3000,
Campus Universitario, Lagoa Nova, 59.078-970, Natal, RN, Brasil
Caixa Postal: 1679
Phone: +55 84 3215-3814 Ext. 211
Fax:  +55 84 3215-3813
https://sites.google.com/site/regivanhnsantiago/
e-mail: regivan AT DOMAIN=dimap,ufrn,br.

Curriculum Lattes-CNPq
<http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4790032Z4=2>
**

2017-02-15 15:03 GMT-03:00 Valeria de Paiva <valeria.depa...@gmail.com>:

> sim tambem concordo que numa situacao   mais
>  filosófica, ou de logica em geral, em vez de logica matematica ou teoria
> de tipos em CS, "juízo" me  pareceria bem melhor.
>
>
> abs
> Valeria
>
> 2017-02-15 8:36 GMT-08:00 Walter Carnielli <walter.carnie...@gmail.com>:
>
>> Oi Valeria
>> cc Regivan
>>
>> sim, se for usado  na acepção jurídica,  poderia ser  "julgamento".
>> Martin-Loef usa  *numa*  certa acepção matemática do termo,  mas  Kant
>>  preferiria  "juízo" mesmo. Portanto, se for  numa vertente  mais
>> lógica  ou filosófica, "juízo" me  pareceria melhor,
>>
>> abraços,
>>
>> Walter
>>
>> Em 15 de fevereiro de 2017 14:16, Valeria de Paiva
>> <valeria.depa...@gmail.com> escreveu:
>> > Walter e Regivan,
>> > eu continuo achando  que "judgement" tambem pode ser traduzido com
>> > "julgamento" quando usado na acepcao matematica do termo, como os
>> > julgamentos da teoria de Martin-Loef.
>> >
>> > a gente ja' discutiu isso por aqui, assim como ja discutimos (e
>> discordamos
>> > uns dos outros) sobre Teoria da Prova, etc...
>> > meus dois tostoes, como sempre,
>> > abs
>> > Valeria
>> >
>> >
>> > 2017-02-15 4:02 GMT-08:00 Walter Carnielli <walter.carnie...@gmail.com
>> >:
>> >>
>> >> Juízo.
>> >>
>> >> Em 15 de fevereiro de 2017 09:44, Regivan Hugo Nunes Santiago
>> >> <regivan.santi...@gmail.com> escreveu:
>> >> > Caríssimos,
>> >> >
>> >> > uma pergunta básica, qual seria a tradução mais adequada para a
>> >> > expressão inglesa  “judgment” dentro do contexto da lógica?
>> >> >
>> >> > Regivan
>> >> >
>> >> > --
>> >> > 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/
>> 972A0AEF-2207-485B-BE84-7A88499FD051%40gmail.com.
>> >>
>> >>
>> >>
>> >> --
>> >> ---
>> >> Walter Carnielli
>> >> Centre for Logic, Epistemology and the History of Science and
>> >> Department of Philosophy
>> >> State University of Campinas –UNICAMP
>> >> 13083-859 Campinas -SP, Brazil
>> >> Phone: (+55) (19) 3521-6517
>> >> Institutional e-mail: walter.carnie...@cle.unicamp.br
>> >> Website: http://www.cle.unicamp.br/prof/carnielli
>> >>
>> >> --
>> >> 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/
>> CA%2Bob58PAzJtrRmRbxFCEd4iG2

[Logica-l] Judment

[Regivan Hugo Nunes Santiago]

Caríssimos,

uma pergunta básica, qual seria a tradução mais adequada para a expressão 
inglesa  “judgment” dentro do contexto da lógica?

Regivan

-- 
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/972A0AEF-2207-485B-BE84-7A88499FD051%40gmail.com.

[Logica-l] Re: Paper Request

[Regivan Hugo Nunes Santiago]

Dear Colleagues, thank you very much for the paper.

Regivan
> Em 12 de nov de 2016, à(s) 17:14, Regivan Hugo Nunes Santiago 
> <regivan.santi...@gmail.com> escreveu:
> 
> Dear Colleagues from Logic-l and Fuzzy-l, 
> 
> is there someone with access in Springer which could send me the following 
> paper?
> 
> @Article{Claudio1980,
> author="Claudio, D. M.",
> title="Contributions to the structure of computer arithmetic",
> journal="Computing",
> year="1980",
> volume="24",
> number="2",
> pages="115--118",
> abstract="In this paper, we examine the structure of spaces which occur in 
> connection with numerical computation on computers. In other words, we 
> examine the mathematical properties of computers. The concept of a ringoid, 
> originally defined in [2], is revised by the addition of a new axiom.",
> issn="1436-5057",
> doi="10.1007/BF02281717",
> url="http://dx.doi.org/10.1007/BF02281717;
> }
> 
> 
> Obrigado,
> Regivan

-- 
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/EE0ACC4A-AEB7-4E7E-A57E-6ECD3C7B20A7%40gmail.com.

[Logica-l] Paper Request

[Regivan Hugo Nunes Santiago]

Dear Colleagues from Logic-l and Fuzzy-l, 

is there someone with access in Springer which could send me the following 
paper?

@Article{Claudio1980,
author="Claudio, D. M.",
title="Contributions to the structure of computer arithmetic",
journal="Computing",
year="1980",
volume="24",
number="2",
pages="115--118",
abstract="In this paper, we examine the structure of spaces which occur in 
connection with numerical computation on computers. In other words, we examine 
the mathematical properties of computers. The concept of a ringoid, originally 
defined in [2], is revised by the addition of a new axiom.",
issn="1436-5057",
doi="10.1007/BF02281717",
url="http://dx.doi.org/10.1007/BF02281717;
}


Obrigado,
Regivan

-- 
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/39E2969B-6406-4CB7-9EB6-5A945F735BB6%40gmail.com.

Re: [Logica-l] Fim do ensino de Filosofia?

[Regivan Hugo Nunes Santiago]

Haverá alguma reação das Sociedades Científicas?

Regivan

Em sex, 23 de set de 2016 08:41, josé carlos cifuentes 
escreveu:

> É necessário reagir mesmo. Não apenas denegriram o professor,
> principalmente denegriram o próprio aluno. Com esse tipo de "imposições"
> mataram o espírito do brasileiro. A educação não é apenas formação técnica,
> não é apenas um ato político nem econômico, é acima de tudo "formação do
> espírito" para que a pessoa saiba fazer suas escolhas na vida, melhor, para
> que saiba construir uma visão de mundo. É necessário reagir mesmo.
> Cifuentes
>
>
>
> Em 22 de setembro de 2016 18:50, Márlon Henrique Teixeira <
> marlonhenriqu...@gmail.com> escreveu:
>
>> É preciso reagir energicamente. Um projeto de "melhoria" da educação que
>> finda em denegrir ainda mais a profissão do professor, deixando
>> profissionais de várias disciplinas desempregados (depois de investir em
>> suas formações) e também permitindo que profissionais de outras áreas
>> possam exercer a profissão de professor. Não é possível uma coisa dessas!
>>
>> Em 22 de setembro de 2016 17:51, Francisco Antonio Doria <
>> famado...@gmail.com> escreveu:
>>
>>> Já falei com o Moderno, presidente da ABF, para que ele faça um
>>> protesto. Mas me parece que deveremos tentar uma emenda a essa MP, agindo
>>> no congresso.
>>>
>>> Esse é um projeto antigo, dos tempos do Passarinho e dos milicos.
>>>
>>> 2016-09-22 17:44 GMT-03:00 Davi da Silva San Gil <
>>> davifiloso...@gmail.com>:
>>>
 Sim, Francisco. Ainda que o texto final esteja adiado para novembro,
 tudo indica que Artes, Filosofia, Sociologia e Educação Física sairão da
 grade obrigatória do Ensino Médio - ao mesmo tempo em que se propõe um
 aumento em 75% (de 800h para 1400h) da carga horária total de disciplinas.

 Em 22 de set de 2016 5:40 PM, "Francisco Antonio Doria" <
 famado...@gmail.com> escreveu:

> Teria sido decretado nessa MP de hoje.
>
> --
> fad
>
> ahhata alati, awienta Wilushati
>
> --
> Você recebeu essa mensagem porque está inscrito 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 nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
> Acesse esse grupo em
> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
> Para ver essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CA%2BuR7BLoDCCeiTtW_o62U0onsHc7c%2BnP3XsG0rRLceO69pgGkQ%40mail.gmail.com
> 
> .
>
 --
 Você recebeu essa mensagem porque está inscrito 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 nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
 Acesse esse grupo em
 https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
 Para ver essa discussão na Web, acesse
 https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAFk09h05GagBpwaLyzKsFWvBFz_XYEv5YWTL36GbOUZrAOpGhA%40mail.gmail.com
 
 .

>>>
>>>
>>>
>>> --
>>> fad
>>>
>>> ahhata alati, awienta Wilushati
>>>
>>> --
>>> Você recebeu essa mensagem porque está inscrito 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 nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
>>> Acesse esse grupo em
>>> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
>>> Para ver essa discussão na Web, acesse
>>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CA%2BuR7B%2B%3DHZY9os-SECtV-GaV%3DdxCcSrtNwKp0jLYaALo6qH_qQ%40mail.gmail.com
>>> 
>>> .
>>>
>>
>> --
>> Você recebeu essa mensagem porque está inscrito 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 nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
>> Acesse esse grupo em
>> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
>> Para ver essa discussão na Web, acesse
>> 

[Logica-l] Third Brazilian Congress on Fuzzy Systems (Extended Deadline)

[Regivan Hugo Nunes Santiago]

*

Suporte Local: cbsf2...@de.ufpb.br hel...@dimap.ufrn.br


**
Prof. Dr. Regivan Hugo Nunes Santiago
Group of Logic, Language, Information, Theory and Applications - LoLITA
Department of Informatics and Applied Mathematics - DIMAp
Federal University of Rio Grande do Norte - UFRN
Avenida Senador Salgado Filho, 3000,
Campus Universitario, Lagoa Nova, 59.078-970, Natal, RN, Brasil
Caixa Postal: 1679
Phone: +55 84 3215-3814 Ext. 211
Fax:  +55 84 3215-3813
http://www.dimap.ufrn.br/~regivan
e-mail: regivan AT DOMAIN=dimap,ufrn,br.
**
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Pedido de Referência

[Regivan Hugo Nunes Santiago]

Caríssimos, obrigado pela atenção.  Uma alma caridosa já me emprestou o
livro.

Regivan
Em 18/03/2014 17:57, Regivan Hugo Nunes Santiago regi...@dimap.ufrn.br
escreveu:

 Caríssimos, alguém com acesso a Springer poderia me emprestar o livro:

 Aggregation Functions: A Guide for Practitioners
 G. Bleliakov, A. Pradera, T. Calvo. 2007


 http://www.springer.com/engineering/computational+intelligence+and+complexity/book/978-3-540-73720-9

 Atenciosamente,
 Regivan

 --

 **
 Prof. Dr. Regivan Hugo Nunes Santiago
 Group of Logic, Language, Information, Theory and Applications - LoLITA
 Department of Informatics and Applied Mathematics - DIMAp
 Federal University of Rio Grande do Norte - UFRN
 Avenida Senador Salgado Filho, 3000,
 Campus Universitario, Lagoa Nova, 59.078-970, Natal, RN, Brasil
 Caixa Postal: 1679
 Phone: +55 84 3215-3814 Ext. 211
 Fax:  +55 84 3215-3813
 http://www.dimap.ufrn.br/~regivan
 e-mail: regivan AT DOMAIN=dimap,ufrn,br.

 **

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

[Logica-l] Pedido de Referência

[Regivan Hugo Nunes Santiago]

Caríssimos, alguém com acesso a Springer poderia me emprestar o livro:

Aggregation Functions: A Guide for Practitioners
G. Bleliakov, A. Pradera, T. Calvo. 2007

http://www.springer.com/engineering/computational+intelligence+and+complexity/book/978-3-540-73720-9

Atenciosamente,
Regivan

-- 
**
Prof. Dr. Regivan Hugo Nunes Santiago
Group of Logic, Language, Information, Theory and Applications - LoLITA
Department of Informatics and Applied Mathematics - DIMAp
Federal University of Rio Grande do Norte - UFRN
Avenida Senador Salgado Filho, 3000,
Campus Universitario, Lagoa Nova, 59.078-970, Natal, RN, Brasil
Caixa Postal: 1679
Phone: +55 84 3215-3814 Ext. 211
Fax:  +55 84 3215-3813
http://www.dimap.ufrn.br/~regivan
e-mail: regivan AT DOMAIN=dimap,ufrn,br.
**
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] THIRD BRAZILIAN CONGRESS ON FUZZY SYSTEMS - III CBSF (Extended Deadline)

[Regivan Hugo Nunes Santiago]

Dear friends, we are experiencing very few submissions. We extended the
dates of the congress, please submit your contributions as soon as possible.

Regards,
Regivan


**

THIRD BRAZILIAN CONGRESS ON FUZZY SYSTEMS - III CBSF

August, 17th-20th

João Pessoa, Paraíba, Brazil

http://www.de.ufpb.br/~cbsf2014/indexUK.html


**





CALL FOR PAPERS





DESCRIPTION:





This is the third edition of the Brazilian Congress on Fuzzy Systems (III
CBSF).
The CBSF is the only national event created to bring together the various
fields of
research that Fuzzy Systems are involved. The word System has a broad
sense
and means to capture computational systems and logic/theoretical systems
based on Fuzzy Logics. Thus, scientists, engineers, mathematicians,
biologists,
economists and any other professional that uses or studies these systems
are
target audience of this congress.





SUPPORT:



III CBSF relies on the support of the following scientific societies:



NAFIPS: North American Information Processing Society
EUSFLAT: European Society for Fuzzy Logic and Technology




IMPORTANT DATES:



• Full Papers

  - Submissions …. Mar 30th **Extended**

  - Acceptance Notification .. Apr  30th **Extended**

  - Camera ready .. May 30th **Extended**


• Early registration ………. May 30th





# Final version of accepted paper upload and registration of author: May
30th,  2014 (up to a limit of 2 articles per author).





PAPERS SUBMISSION AND OTHER INFORMATION



Refer to:

http://www.de.ufpb.br/~cbsf2014/indexUK.html



PUBLICATIONS



The accepted full papers will be published in the Proceedings of III CBSF
and an
extended version of them  can be submitted to a special issue of
MathwareSoft
Computing Magazine (http://www.eusflat.org/msc/).





CONTACT INFO

Local support: cbsf2...@de.ufpb.br




III CONGRESSO BRASILEIRO DE SISTEMAS FUZZY - III CBSF

Agosto, 17-20

João Pessoa, Paraíba, Brassil

http://www.de.ufpb.br/~cbsf2014

***



CHAMADA DE TRABALHOS



DESCRIÇÃO:



Esta é a terceira edição do Congresso Brasileiro de Sistemas Fuzzy (III
CBSF). O
CBSF é o único evento nacional criado para congregar os vários campos de
atividades em que estão envolvidos Sistemas Difusos. A palavra sistemas
possui, aqui, um sentido amplo, e visa capturar tanto sistemas
computacionais,
quanto sistemas lógicos/teóricos baseados em Lógica Difusa. Assim,
cientistas,
engenheiros, matemáticos, biólogos, físicos, economistas, e qualquer
profissional que aplique ou fundamente esses sistemas  são o público alvo
deste
congresso.





APOIO:



O III CBSF conta com o apoio das seguintes sociedades científicas:



NAFIPS: North American Information Processing Society
EUSFLAT: European Society for Fuzzy Logic and Technology






DATAS IMPORTANTES:



• Artigos Completos

  - Submissão …. 30/Mar **Extended**

  - Notificação …. 30/Apr **Extended**

  - Versão Final ..  30/Mai **Extended**


• Inscrição Prévia ……….  30/Mai





SUBMISSÃO E OUTRAS INFORMAÇÕES



Acesse:

http://www.de.ufpb.br/~cbsf2014



PUBLICAÇÕES



Os artigos completos aceitos serão publicados nos Anais do III CBSF e uma
versão estendida desses artigos poderá ser submetida para uma edição
especial
da  MathwareSoft Computing Magazine (http://www.eusflat.org/msc/).





CONTATO

Suporte Local: cbsf2...@de.ufpb.br



Best regards,
Regivan Santiago
---

-- 
**
Prof. Dr. Regivan Hugo Nunes Santiago
Group of Logic, Language, Information, Theory and Applications - LoLITA
Department of Informatics and Applied Mathematics - DIMAp
Federal University of Rio Grande do Norte - UFRN
Avenida Senador Salgado Filho, 3000,
Campus Universitario, Lagoa Nova, 59.078-970, Natal, RN, Brasil
Caixa Postal: 1679
Phone: +55 84 3215-3814 Ext. 211
Fax:  +55 84 3215-3813
http://www.dimap.ufrn.br/~regivan
e-mail: regivan AT DOMAIN=dimap,ufrn,br.
**
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] THIRD BRAZILIAN CONGRESS ON FUZZY SYSTEMS - III CBSF (Extended Deadline)

[Regivan Hugo Nunes Santiago]

Dear friends, we are experiencing very few submissions. We extended the
congress deadline, please submit your contributions as soon as possible.

Regards,
Regivan


**

THIRD BRAZILIAN CONGRESS ON FUZZY SYSTEMS - III CBSF

August, 17th-20th

João Pessoa, Paraíba, Brazil

http://www.de.ufpb.br/~cbsf2014/indexUK.html


**





CALL FOR PAPERS





DESCRIPTION:





This is the third edition of the Brazilian Congress on Fuzzy Systems (III
CBSF).
The CBSF is the only national event created to bring together the various
fields of
research that Fuzzy Systems are involved. The word System has a broad
sense
and means to capture computational systems and logic/theoretical systems
based on Fuzzy Logics. Thus, scientists, engineers, mathematicians,
biologists,
economists and any other professional that uses or studies these systems
are
target audience of this congress.





SUPPORT:



III CBSF relies on the support of the following scientific societies:



NAFIPS: North American Information Processing Society
EUSFLAT: European Society for Fuzzy Logic and Technology




IMPORTANT DATES:



• Full Papers

  - Submissions …. Mar 17th **Extended**

  - Acceptance Notification .. Apr  18th

  - Camera ready .. May 19th



• Mini-courses

  - Submissions …. Mar 14th **Extended**

  - Acceptance Notification .. Mar 28th

  - Camera ready .. May 19th



• Early registration ………. May 19th





# Final version of accepted paper upload and registration of author: May
19th,
2014 (up to a limit of 2 articles per author).





PAPERS SUBMISSION AND OTHER INFORMATION



Refer to:

http://www.de.ufpb.br/~cbsf2014/indexUK.html



PUBLICATIONS



The accepted full papers will be published in the Proceedings of III CBSF
and an
extended version of them  can be submitted to a special issue of
MathwareSoft
Computing Magazine (http://www.eusflat.org/msc/).





CONTACT INFO

Local support: cbsf2...@de.ufpb.br




III CONGRESSO BRASILEIRO DE SISTEMAS FUZZY - III CBSF

Agosto, 17-20

João Pessoa, Paraíba, Brassil

http://www.de.ufpb.br/~cbsf2014

***



CHAMADA DE TRABALHOS



DESCRIÇÃO:



Esta é a terceira edição do Congresso Brasileiro de Sistemas Fuzzy (III
CBSF). O
CBSF é o único evento nacional criado para congregar os vários campos de
atividades em que estão envolvidos Sistemas Difusos. A palavra sistemas
possui, aqui, um sentido amplo, e visa capturar tanto sistemas
computacionais,
quanto sistemas lógicos/teóricos baseados em Lógica Difusa. Assim,
cientistas,
engenheiros, matemáticos, biólogos, físicos, economistas, e qualquer
profissional que aplique ou fundamente esses sistemas  são o público alvo
deste
congresso.





APOIO:



O III CBSF conta com o apoio das seguintes sociedades científicas:



NAFIPS: North American Information Processing Society
EUSFLAT: European Society for Fuzzy Logic and Technology






DATAS IMPORTANTES:



• Artigos Completos

  - Submissão …. 17/Mar **Extended**

  - Notificação …. 18/Apr

  - Versão Final ..  19/Mai

• Mini-cursos

  - Submissão …. 14/Mar **Extended**

  - Notificação …. 28/Mar

  - Versão Final .. 19/Mai



• Inscrição Prévia ……….  19/Mai





SUBMISSÃO E OUTRAS INFORMAÇÕES



Acesse:

http://www.de.ufpb.br/~cbsf2014



PUBLICAÇÕES



Os artigos completos aceitos serão publicados nos Anais do III CBSF e uma
versão estendida desses artigos poderá ser submetida para uma edição
especial
da  MathwareSoft Computing Magazine (http://www.eusflat.org/msc/).





CONTATO

Suporte Local: cbsf2...@de.ufpb.br



Best regards,
Regivan Santiago
---

-- 
**
Prof. Dr. Regivan Hugo Nunes Santiago
Group of Logic, Language, Information, Theory and Applications - LoLITA
Department of Informatics and Applied Mathematics - DIMAp
Federal University of Rio Grande do Norte - UFRN
Avenida Senador Salgado Filho, 3000,
Campus Universitario, Lagoa Nova, 59.078-970, Natal, RN, Brasil
Caixa Postal: 1679
Phone: +55 84 3215-3814 Ext. 211
Fax:  +55 84 3215-3813
http://www.dimap.ufrn.br/~regivan
e-mail: regivan AT DOMAIN=dimap,ufrn,br.
**
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] III Brazilian Congress on Fuzzy Systems (Extended Deadline 4 Minicourses)

[Regivan Hugo Nunes Santiago]

Dear friends,

first of all, sorry about the multiple copies. We extended the deadline for
Minicourses.  Please, send it to your colleges and students which have
Fuzzy as a theme of research or application.

Sorry about the disturbance.

Thank you very much for your attention.

Prof. Regivan Santiago


 CALL FOR PAPERS
 ---8


**

*THIRD BRAZILIAN CONGRESS ON FUZZY SYSTEMS - III CBSF*

August, 17th-20th

João Pessoa, Paraíba, Brazil

http://www.de.ufpb.br/~cbsf2014/indexUK.html

**



*CALL FOR PAPERS*



*DESCRIPTION:*



This is the third edition of the Brazilian Congress on Fuzzy Systems (III
CBSF). The CBSF is the only national event created to bring together the
various fields of research that Fuzzy Systems are involved. The word
System has a broad sense and means to capture computational systems and
logic/theoretical systems based on Fuzzy Logics. Thus, scientists,
engineers, mathematicians, biologists, economists and any other
professional that uses or studies these systems are target audience of this
congress.



*SUPPORT:*


III CBSF relies on the support of the following scientific societies:



   - *NAFIPS*: North American Information Processing Society
   - *EUSFLAT:* European Society for Fuzzy Logic and Technology



*IMPORTANT DATES:*


• Full Papers

   - Submissions …. Mar 10th

   - Acceptance Notification .. Apr  18th

   - Camera ready .. May 19th


• Mini-courses

   - Submissions …. Mar 14th **Extended**

   - Acceptance Notification .. Mar 28th

   - Camera ready .. May 19th


• Early registration ………. May 19th



# Final version of accepted paper upload and registration of author: May
19th, 2014 (up to a limit of 2 articles per author).



*PAPERS SUBMISSION AND OTHER INFORMATION*


Refer to:

http://www.de.ufpb.br/~cbsf2014/indexUK.html


*PUBLICATIONS*


The accepted full papers will be published in the Proceedings of III CBSF and
an extended version of them  can be submitted to a special issue of
*MathwareSoft
Computing Magazine* (http://www.eusflat.org/msc/).



*CONTACT INFO*

Local support: cbsf2...@de.ufpb.br hel...@dimap.ufrn.br



*III CONGRESSO BRASILEIRO DE SISTEMAS FUZZY - III CBSF*

Agosto, 17-20

João Pessoa, Paraíba, Brassil

http://www.de.ufpb.br/~cbsf2014 http://www.de.ufpb.br/~cbsf2014/index.html

***


*CHAMADA DE TRABALHOS*


*DESCRIÇÃO:*


Esta é a terceira edição do Congresso Brasileiro de Sistemas Fuzzy (III CBSF).
O CBSF é o único evento nacional criado para congregar os vários campos de
atividades em que estão envolvidos Sistemas Difusos. A palavra sistemas
possui, aqui, um sentido amplo, e visa capturar tanto sistemas
computacionais, quanto sistemas lógicos/teóricos baseados em Lógica Difusa.
Assim, cientistas, engenheiros, matemáticos, biólogos, físicos,
economistas, e qualquer profissional que aplique ou fundamente esses
sistemas  são o público alvo deste congresso.



*APOIO:*


O III CBSF conta com o apoio das seguintes sociedades científicas:



   - *NAFIPS*: North American Information Processing Society
   - *EUSFLAT:* European Society for Fuzzy Logic and Technology




*DATAS IMPORTANTES:*


• Artigos Completos

   - Submissão …. 10/Mar

   - Notificação …. 18/Apr

   - Versão Final ..  19/Mai

• Mini-cursos

   - Submissão …. 14/Mar

   - Notificação …. 28/Mar

   - Versão Final .. 19/Mai


• Inscrição Prévia ……….  19/Mai



*SUBMISSÃO E OUTRAS INFORMAÇÕES*


Acesse:

http://www.de.ufpb.br/~cbsf2014 http://www.de.ufpb.br/~cbsf2014/index.html


*PUBLICAÇÕES*


Os artigos completos aceitos serão publicados nos Anais do III CBSF e uma
versão estendida desses artigos poderá ser submetida para uma edição
especial da  *MathwareSoft Computing Magazine* (http://www.eusflat.org/msc/
).



*CONTATO*

Suporte Local: cbsf2...@de.ufpb.br hel...@dimap.ufrn.br


-- 
**
Prof. Dr. Regivan Hugo Nunes Santiago
Group of Logic, Language, Information, Theory and Applications - LoLITA
Department of Informatics and Applied Mathematics - DIMAp
Federal University of Rio Grande do Norte - UFRN
Avenida Senador Salgado Filho, 3000,
Campus Universitario, Lagoa Nova, 59.078-970, Natal, RN, Brasil
Caixa Postal: 1679
Phone: +55 84 3215-3814 Ext. 211
Fax:  +55 84 3215-3813
http://www.dimap.ufrn.br/~regivan
e-mail: regivan AT DOMAIN=dimap,ufrn,br.
**
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin

[Logica-l] Solicitação de Papers

[Regivan Hugo Nunes Santiago]

Caros colegas da lista, alguma alma caridosa com acesso a Springer poderia
me enviar os seguintes papers:

1. M. B. Smith. Power Domains and Predicate Transformers. A Topological
View.
2. M. B. Smith. Quasi-uniformities: Reconciling Domains with Metric Spaces.
3. M. B. Smith. Completeness of Quasi-uniform Spaces in Terms of Filters.
4. Norihiro Kamide. A Sequent Calculus for 3-Dimensional Space.

Atenciosamente,
Regivan

-- 
**
Prof. Dr. Regivan Hugo Nunes Santiago
Group of Logic, Language, Information, Theory and Applications - LoLITA
Department of Informatics and Applied Mathematics - DIMAp
Federal University of Rio Grande do Norte - UFRN
Avenida Senador Salgado Filho, 3000,
Campus Universitario, Lagoa Nova, 59.078-970, Natal, RN, Brasil
Caixa Postal: 1679
Phone: +55 84 3215-3814 Ext. 211
Fax:  +55 84 3215-3813
http://www.dimap.ufrn.br/~regivan
e-mail: regivan AT DOMAIN=dimap,ufrn,br.
**
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Brazilian Congress on Fuzzy Systems (CFP)

[Regivan Hugo Nunes Santiago]

Dear friends,

first of all sorry about the multiple copies. Here is the call for papers
of the Third Brazilian Congress on Fuzzy Systems. Please, send it to your
colleges and students which have Fuzzy as a theme of research or
application.

Sorry about the disturbance.

Thank you very much for your attention.

Prof. Regivan Santiago


 CALL FOR PAPERS
---8


**

*THIRD BRAZILIAN CONGRESS ON FUZZY SYSTEMS - III CBSF*

August, 17th-20th

João Pessoa, Paraíba, Brazil

http://www.de.ufpb.br/~cbsf2014/indexUK.html

**



*CALL FOR PAPERS*



*DESCRIPTION:*



This is the third edition of the Brazilian Congress on Fuzzy Systems (III
CBSF). The CBSF is the only national event created to bring together the
various fields of research that Fuzzy Systems are involved. The word
System has a broad sense and means to capture computational systems and
logic/theoretical systems based on Fuzzy Logics. Thus, scientists,
engineers, mathematicians, biologists, economists and any other
professional that uses or studies these systems are target audience of this
congress.



*SUPPORT:*


III CBSF relies on the support of the following scientific societies:



   - *NAFIPS*: North American Information Processing Society
   - *EUSFLAT:* European Society for Fuzzy Logic and Technology



*IMPORTANT DATES:*


• Full Papers

   - Submissions …. Mar 10th

   - Acceptance Notification .. Apr  18th

   - Camera ready .. May 19th


• Mini-courses

   - Submissions …. Feb 28th

   - Acceptance Notification .. Mar 28th

   - Camera ready .. May 19th


• Early registration ………. May 19th



# Final version of accepted paper upload and registration of author: May
19th, 2014 (up to a limit of 2 articles per author).



*PAPERS SUBMISSION AND OTHER INFORMATION*


Refer to:

http://www.de.ufpb.br/~cbsf2014/indexUK.html


*PUBLICATIONS*


The accepted full papers will be published in the Proceedings of III CBSF
and an extended version of them  can be submitted to a special issue
of *MathwareSoft
Computing Magazine* (http://www.eusflat.org/msc/).



*CONTACT INFO*

Local support: cbsf2...@de.ufpb.br hel...@dimap.ufrn.br






*III CONGRESSO BRASILEIRO DE SISTEMAS FUZZY - III CBSF*

Agosto, 17-20

João Pessoa, Paraíba, Brassil

http://www.de.ufpb.br/~cbsf2014 http://www.de.ufpb.br/~cbsf2014/index.html

***


*CHAMADA DE TRABALHOS*


*DESCRIÇÃO:*


Esta é a terceira edição do Congresso Brasileiro de Sistemas Fuzzy (III
CBSF). O CBSF é o único evento nacional criado para congregar os vários
campos de atividades em que estão envolvidos Sistemas Difusos. A palavra
sistemas possui, aqui, um sentido amplo, e visa capturar tanto sistemas
computacionais, quanto sistemas lógicos/teóricos baseados em Lógica Difusa.
Assim, cientistas, engenheiros, matemáticos, biólogos, físicos,
economistas, e qualquer profissional que aplique ou fundamente esses
sistemas  são o público alvo deste congresso.



*APOIO:*


O III CBSF conta com o apoio das seguintes sociedades científicas:



   - *NAFIPS*: North American Information Processing Society
   - *EUSFLAT:* European Society for Fuzzy Logic and Technology




*DATAS IMPORTANTES:*


• Artigos Completos

   - Submissão …. 10/Mar

   - Notificação …. 18/Apr

   - Versão Final ..  19/Mai

• Mini-cursos

   - Submissão …. 28/Fev

   - Notificação …. 28/Mar

   - Versão Final .. 19/Mai


• Inscrição Prévia ……….  19/Mai



*SUBMISSÃO E OUTRAS INFORMAÇÕES*


Acesse:

http://www.de.ufpb.br/~cbsf2014 http://www.de.ufpb.br/~cbsf2014/index.html


*PUBLICAÇÕES*


Os artigos completos aceitos serão publicados nos Anais do III CBSF e uma
versão estendida desses artigos poderá ser submetida para uma edição
especial da  *MathwareSoft Computing Magazine* (http://www.eusflat.org/msc/
).



*CONTATO*

Suporte Local: cbsf2...@de.ufpb.br hel...@dimap.ufrn.br



-- 
**
Prof. Dr. Regivan Hugo Nunes Santiago
Group of Logic, Language, Information, Theory and Applications - LoLITA
Department of Informatics and Applied Mathematics - DIMAp
Federal University of Rio Grande do Norte - UFRN
Avenida Senador Salgado Filho, 3000,
Campus Universitario, Lagoa Nova, 59.078-970, Natal, RN, Brasil
Caixa Postal: 1679
Phone: +55 84 3215-3814 Ext. 211
Fax:  +55 84 3215-3813
http://www.dimap.ufrn.br/~regivan
e-mail: regivan AT DOMAIN=dimap,ufrn,br.
**
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http

Re: [Logica-l] 50o aniversário de E. Hermann Haeusler

[Regivan Hugo Nunes Santiago]

Oi Hermann,

muitas felicidades e muitos anos de vida.

Abraços,
Regivan

Em 23/09/2012, às 18:51, Valeria de Paiva escreveu:

 Parabéns Hermann!
 Divirta-se bastante na festa, que esta' com uma cara otima!
 parabens pros organizadores tb pela ideia excelente!
 
 Valeria
 
 
 Em 22/09/2012 20:31, Christiano Braga cbr...@ic.uff.br escreveu:
 
 Pessoal,
 
 no sábado 29/09/12, a partir das 14 h, celebraremos o 50o aniversário do
 Prof. Edward Hermann Haeusler, o Hermann, no auditório do RDC na
 PUC-Rio.
 
 A celebração, cujo programa pode ser acessado em
 http://www.ic.uff.br/~cbraga/hermann50/, ocorrerá em paralelo ao 7th
 Logical and Semantic Frameworks with Applications (LSFA 11). Aqueles que
 desejarem participar do evento social conjunto do LSFA e Hermann50
 deverão
 se inscrever no LSFA em http://www.uff.br/lsfa.
 
 Saudações,
 
 Christiano
 
 ___
 Logica-l mailing list
 Logica-l@dimap.ufrn.br
 http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
 
 ___
 Logica-l mailing list
 Logica-l@dimap.ufrn.br
 http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
 ___
 Logica-l mailing list
 Logica-l@dimap.ufrn.br
 http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
 
 
 
 
 -- 
 Valeria de Paiva
 http://www.cs.bham.ac.uk/~vdp/
 http://valeriadepaiva.org/www/
 ___
 Logica-l mailing list
 Logica-l@dimap.ufrn.br
 http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

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

[Logica-l] Seminários do LoLITA

[Regivan Hugo Nunes Santiago]

Caríssimos,

mais um seminário do LoLITA.

Regivan

-

*Análise Intervalar Clássica e Modal*
Liliane Ribeiro (Doutoranda PPgSC)
Local: Sala de Reuniões do DIMAp
Data: 06/07/2011 09:00hs

*Resumo*
Técnicas baseadas em análise intervalar estão se tornando importantes
ferramentas em diversas
áreas.  Modelos matemáticos são normalmente obtidos experimentalmente,
sendo apenas uma estimativa do sistema, ou seja, o mesmo geralmente contém
incertezas em sua descrição. Desta forma, é interessante utilizar não apenas
valor estimados para os
parâmetros do modelo, mas parametrizar também incertezas, levando em conta
possíveis erros de
medidas nos valores dos parâmetros. Os parâmetros do sistema, ao invés de
valores fixos, passam
a ser representados por intervalos reais, nos quais, garantidamente,
estariam contidos os parâmetros
desconhecidos.

A idéia básica da matemática intervalar é que intervalos clássicos são o
contexto consistente para computação
numérica. Contudo, este contexto intervalar apresenta estrutura básica e
rigidez semântica devido ao seu
fundamento em conjuntos. Para corrigir esta situação, na análise intervalar
modal definem-se intervalos a
partir da identificação dos números reais com os conjuntos de predicados que
os intervalos aceitam ou rejeitam.
Um intervalo modal é definido como um par formado por um intervalo clássico
(isto é, um conjunto de números)
e um quantificador, de forma análoga a reta real em que números reais são
associados em pares, tendo o mesmo
valor absoluto, mas sinais opostos.
-- 
**
Prof. Dr. Regivan Hugo Nunes Santiago
Group of Logic, Language, Information, Theory and Applications - LoLITA
Department of Informatics and Applied Mathematics - DIMAp
Federal University of Rio Grande do Norte - UFRN
Avenida Senador Salgado Filho, 3000,
Campus Universitario, Lagoa Nova, 59.078-970, Natal, RN, Brasil
Caixa Postal: 1679
Phone: +55 84 3215-3814 Ext. 211
Fax:  +55 84 3215-3813
http://www.dimap.ufrn.br/~regivan
e-mail: regivan AT DOMAIN=dimap,ufrn,br.
**
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Seminários do LoLITA

[Regivan Hugo Nunes Santiago]

Caríssimos,

mais um seminário do Lolita. Desta vez:
---
*Título:* Generalizações do Conceito de Métrica
Prof. Fagner Lemos de Santana (DMAT-UFRN)
*Data:   *Quarta, 22/06, 15:00hs
*Local: *Auditório do CCET


 *Resumo: *A noção matemática de distância é representada por funções a
valores reais que satisfazem algumas condições. As métricas constituem a
principal classe destas funções. Uma métrica em um conjunto não vazio M é
uma função d:MxM-R  satisfazendo condições que são intuitivamente esperadas
quando falamos de distância, como a não-negatividade, a simetria e a
desigualdade triangular.

Já existem algumas generalizações do conceito de métrica na literatura, como
as quasi-métricas, as ultra-métricas, as pseudo-métricas, dentre outras.
Estas generalizações são feitas modificando-se as condições que definem uma
métrica. Neste trabalho, estamos interessados em generalizações feitas pela
modificação do conjunto onde são valoradas as métricas. Neste sentido, uma
das primeiras generalizações veio com a noção de métrica probabilística,
onde a distância entre a e b era uma função de distribuição de probabilidade
e o valor d(a,b)(t) significava a probabilidade da distância entre a e b ser
menor do que t. A partir desta, foi proposta a noção de métrica Fuzzy que
era simplesmente uma adaptação ao contexto fuzzy das métricas
probabilísticas. Vamos apresentar neste seminário nossa proposta de
generalização da noção de métricas, a qual é feita também através da
modificação do espaço onde a função é valorada, onde substituímos o conjunto
R dos números reais por um conjunto parcialmente ordenado (ou preordenado).
Tal generalização será chamada de métrica informativa (i-métrica). Vamos
mostrar como obter uma topologia de maneira bastante natural a partir de uma
métrica informativa e fazer algumas comparações entre i-métricas e uma outra
noção de métrica chamada métrica generalizada. Vamos justificar a nossa
proposta através da matemática intervalar, mostrando que ela é mais adequada
para formalizar métricas intervalares do que a noção de métrica
generalizada.


Regivan

n
-- 
**
Prof. Dr. Regivan Hugo Nunes Santiago
Group of Logic, Language, Information, Theory and Applications - LoLITA
Department of Informatics and Applied Mathematics - DIMAp
Federal University of Rio Grande do Norte - UFRN
Avenida Senador Salgado Filho, 3000,
Campus Universitario, Lagoa Nova, 59.078-970, Natal, RN, Brasil
Caixa Postal: 1679
Phone: +55 84 3215-3814 Ext. 211
Fax:  +55 84 3215-3813
http://www.dimap.ufrn.br/~regivan
e-mail: regivan AT DOMAIN=dimap,ufrn,br.
**
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Seminários LoLITA. Mudança de Local

[Regivan Hugo Nunes Santiago]

Caríssimos,

hove uma mudança de local do seminário. O mesmo ocorrerá no Auditório do
CCET (Prox a secretaria do mesmo).

Regivan

2011/5/31 Regivan Santiago regivan.santi...@gmail.com

 Caros colegas,

 mais um seminário do LoLITA, desta vez:


 Integrais Intervalares de 
 Linhahttp://lolita.dimap.ufrn.br/llt/?page_id=29event_id=7

 Palestrante: Giovani Angelo (Doutorando PPgEE)
 Local: Sala de Reuniões do DIMAp (Provisório)
 Data: Sexta 03/06 - 11:00-12:00hs

 RESUMO: A necessidade de uma precisão e de uma aproximação dos resultados
 numéricos fizeram com que diversas teorias surgissem: dentre elas,
 destacamos Matemática Intervalar (MI).  A MI surgiu na década de 60 com
 os trabalhos de pesquisa de Ramon Moore e Sunaga, em que foi proposto que
 intervalos fechados generalizassem a noção de números real. Com isso, surgiu
 a necessidade de reformulação dos conceitos e resultados da matemática
 clássica utilizando agora a noção de intervalos fechados. Uma das áreas da
 matemática clássica que tem tido muitas aplicações em engenharias e ciências
 é a análises numérica intervalar, onde um dos seus pilares é o cálculo
 integral e em particular as integrais de linha. Assim, é muito desejável se
 ter um cálculo integral dentro da própria matemática intervalar.

 Nesta apresentação traremos as noções de integrais puramente
 intervalares, bem como seus fundamentos, aplicações e perspectivas de
 futuros trabalhos.
 Atenciosamente,
 Regivan




-- 
**
Prof. Dr. Regivan Hugo Nunes Santiago
Group of Logic, Language, Information, Theory and Applications - LoLITA
Department of Informatics and Applied Mathematics - DIMAp
Federal University of Rio Grande do Norte - UFRN
Avenida Senador Salgado Filho, 3000,
Campus Universitario, Lagoa Nova, 59.078-970, Natal, RN, Brasil
Caixa Postal: 1679
Phone: +55 84 3215-3814 Ext. 211
Fax:  +55 84 3215-3813
http://www.dimap.ufrn.br/~regivan
e-mail: regivan AT DOMAIN=dimap,ufrn,br.
**
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Seminarios LOLITA

[Regivan Hugo Nunes Santiago]

Caríssimos, uma pequena correção. O seminário é nesta sexta dia 27/05/11.

Regivan

2011/5/24 Regivan Hugo Nunes Santiago regi...@dimap.ufrn.br

 Caríssimos,


 mais um seminário do LoLITA.


 Regivan

 *
 *

 *Título:* Análise de Componentes Independentes em dados de fMRI
 Liliane Ribeiro (Doutoranda PPgSC)
 *Local:* Sala de Reunião do DIMAp
 *Data:* Sexta, 27/05/2011
 *Horário*: 09-10:00hs


 *Resumo:*
 No Brasil  o desenvolvimento de técnicas de processamento de sinais
 funcionais vem crescendo consideravelmente. A técnica de imagens funcionais
 por ressonância magnética (fMRI) é usada para localizar e analisar
 diferentes aspectos da atividade cerebral humana. Durante uma experiência de
 fMRI, uma seqüência de imagens é adquirida enquanto o paciente desempenha
 tarefas específicas. No entanto, as alterações no contraste das imagens não
 são grandes, o que impossibilita uma inspeção visual direta, tornando
 necessária a utilização de algoritmos computacionais de identificação dessas
 áreas. Assim, neste trabalho, esforços são direcionados para detectar níveis
 de atividade em regiões cerebrais. Nesse sentido, estudou-se o método de
 Análise de Componentes Independentes (ICA), com o diferencial da aplicação
 da Decomposição em Valores Singulares (SVD) nos dados já pré-processados
 utilizando dados artificiais, para avaliar a sensibilidade e a
 especificidade do método. As curvas ROC indicam que o método tiveram um
 melhor desempenho após a utilização da SVD. Além disso, ICA foi aplicada a
  um conjunto de dados  reais de fMRI  onde um indivíduo normal realizou um
 experimento pré-definido.  As áreas identificadas corresponderam a audição
  e foram consistentemente associadas à tarefa. O método  ICA  não precisa de
 parâmetros pré-acordados  o que melhora o seu desenvolvimento para as
 estimativas do seus componentes independentes deixando livre a quantidade de
 componentes a serem estimados.


 Abraços,
 Regivan




-- 
**
Prof. Dr. Regivan Hugo Nunes Santiago
Group of Logic, Language, Information, Theory and Applications - LoLITA
Department of Informatics and Applied Mathematics - DIMAp
Federal University of Rio Grande do Norte - UFRN
Avenida Senador Salgado Filho, 3000,
Campus Universitario, Lagoa Nova, 59.078-970, Natal, RN, Brasil
Caixa Postal: 1679
Phone: +55 84 3215-3814 Ext. 211
Fax:  +55 84 3215-3813
http://www.dimap.ufrn.br/~regivan
e-mail: regivan AT DOMAIN=dimap,ufrn,br.
**
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Seminarios LOLITA

[Regivan Hugo Nunes Santiago]

Caríssimos,


mais um seminário do LoLITA.


Regivan

*
*

*Título:* Análise de Componentes Independentes em dados de fMRI
Liliane Ribeiro (Doutoranda PPgSC)
*Local:* Sala de Reunião do DIMAp
*Data:* Sexta, 29/05/2011
*Horário*: 09-10:00hs


*Resumo:*
No Brasil  o desenvolvimento de técnicas de processamento de sinais
funcionais vem crescendo consideravelmente. A técnica de imagens funcionais
por ressonância magnética (fMRI) é usada para localizar e analisar
diferentes aspectos da atividade cerebral humana. Durante uma experiência de
fMRI, uma seqüência de imagens é adquirida enquanto o paciente desempenha
tarefas específicas. No entanto, as alterações no contraste das imagens não
são grandes, o que impossibilita uma inspeção visual direta, tornando
necessária a utilização de algoritmos computacionais de identificação dessas
áreas. Assim, neste trabalho, esforços são direcionados para detectar níveis
de atividade em regiões cerebrais. Nesse sentido, estudou-se o método de
Análise de Componentes Independentes (ICA), com o diferencial da aplicação
da Decomposição em Valores Singulares (SVD) nos dados já pré-processados
utilizando dados artificiais, para avaliar a sensibilidade e a
especificidade do método. As curvas ROC indicam que o método tiveram um
melhor desempenho após a utilização da SVD. Além disso, ICA foi aplicada a
 um conjunto de dados  reais de fMRI  onde um indivíduo normal realizou um
experimento pré-definido.  As áreas identificadas corresponderam a audição
 e foram consistentemente associadas à tarefa. O método  ICA  não precisa de
parâmetros pré-acordados  o que melhora o seu desenvolvimento para as
estimativas do seus componentes independentes deixando livre a quantidade de
componentes a serem estimados.


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

Re: [Logica-l] WoLLIC está ranqueado como B pelo Australian Research Council entre 1.953 confer ências internacionais

[Regivan Hugo Nunes Santiago]

Oi Ruy,

mais uma vez os meus sinceros parabéns pela sua liderança frente ao Wollic
nesses 16 anos. Lembrando que na época da
criação do mesmo eu era aluno de mestrado do então DI, e me recordo, ainda,
de todo o entusiasmo e  movimentação local para a organização do mesmo.

Um Feliz Natal,
Regivan

2010/12/23 Ruy de Queiroz r...@cin.ufpe.br

 Foi com satisfação que constatamos que o WoLLIC http://wollic.org/
 (registrado
 no DBLP como: 
 http://www.informatik.uni-trier.de/~ley/db/conf/wollic/http://www.informatik.uni-trier.de/%7Eley/db/conf/wollic/
 ),
 criado em 1994 aqui no então Departamento de Informática da UFPE, e com o
 inestimável apoio de diversos colegas do cenário de Lógica no Brasil, é
 hoje
 uma conferência internacional com ranking B (entre A, B, C, e not
 ranked) segundo o Australian Research Council (em avaliação realizada em
 Fev/2010), em meio a outras 1.952 conferências internacionais (aí incluídas
 ACM's, IEEE's, etc.). Trata-se de um reconhecimento já consolidado do ponto
 de vista dos veículos de publicação (anais no LNCS da Springer, números
 especiais de revistas como Theoretical Computer Science, Information and
 Computation, Journal of Computer and System Sciences, Annals of Pure and
 Applied Logic, Fundamenta Informaticae, Logic Journal of the IGPL).

 A partir da página http://www.arc.gov.au/era/era_journal_list.htm#2 é
 possível obter um arquivo Excel com as 1.953 conferências internacionais
 classificadas:

  *Ranked Conference List*

 For some disciplines, ranked conferences will be used as an indicator.
 The discipline
 matrices http://www.arc.gov.au/era/key_docs10.htm detail which
 disciplines
 will use ranked conferences.

 Institutions are also required to submit information about conference
 publications from non-listed conferences.  For more information, refer to
 the *ERA 2010 Submission Guidelines
 http://www.arc.gov.au/era/key_docs10.htm
 *.

 The final Ranked Conference List for ERA 2010 is now available:


   - Ranked Conference List - Excel
 Formathttp://www.arc.gov.au/xls/ERA2010_conference_list.xls
   (411kb)

  The Ranked Conference List includes:


   - Conference title and acronym (where relevant)
  - ERA ID – unique to each listed conference
  - Up to 3 FoRs assigned to each conference
  - A single quality rating for each listed conference of A, B, C or not
  ranked. Conferences that are not ranked are legitimate
 conferences, but may
  not be of consistent quality, or may be too new to be assigned a
 quality
  tier.

  *Please note:*
  The A tier for conferences is equivalent to the A* and A tiers for ranked
 journals.
 ___
 Logica-l mailing list
 Logica-l@dimap.ufrn.br
 http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l




-- 
**
Prof. Dr. Regivan Hugo Nunes Santiago
Group of Logic, Language, Information, Theory and Applications - LoLITA
Department of Informatics and Applied Mathematics - DIMAp
Federal University of Rio Grande do Norte - UFRN
Avenida Senador Salgado Filho, 3000,
Campus Universitario, Lagoa Nova, 59.078-970, Natal, RN, Brasil
Caixa Postal: 1679
Phone: +55 84 3215-3814 Ext. 228
Fax:  +55 84 3215-3813
http://www.dimap.ufrn.br/~regivan http://www.dimap.ufrn.br/%7Eregivan
e-mail: regivan AT DOMAIN=dimap,ufrn,br.
**
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Seminarios do LoLITA

[Regivan Hugo Nunes Santiago]

Caríssimos,

mais um seminário do LoLITA, desta vez:

*
Uma Introdução ao Lambda Cálculo

Emmanuelly Monteiro (PPgSC-UFRN)
Local: Auditório do CCET
Dia: 15-Out-10
Horário: 09:00hs

Resumo:

Este seminário  visa introduzir os conceitos e principais caracteristicas do
formalismo proposto por Alonzo Church, o λ-Cálculo;  suas regras de
substituição, β-redução e β-igualdade. Além disso,  enfoca-se a equivalência
com as máquinas de Turing através das funções recursivas parciais e uma
breve relação com linguagens de programação procedural (Algol 60) e
funcional.


Regivan
*
-- 
**
Prof. Dr. Regivan Hugo Nunes Santiago
Group of Logic, Language, Information, Theory and Applications - LoLITA
Department of Informatics and Applied Mathematics - DIMAp
Federal University of Rio Grande do Norte - UFRN
Campus Universitario, Lagoa Nova, 59.072-970, Natal, RN, Brasil
Phone: +55 84 3215-3814 Ext. 228
Fax:  +55 84 3215-3813
http://www.dimap.ufrn.br/~regivan
e-mail: regivan AT DOMAIN=dimap,ufrn,br.
**
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Referenciais do Mec - Retrocesso!!

[Regivan Hugo Nunes Santiago]

 de Programação; Laboratório de Desenvolvimento de Sistemas;
 Laboratório de Rede de Computadores.


  --
 Mirella M. Moro
 Dept. Ciência da Computação - UFMG

 -**--**--**--**--**--**--**--**--**--**--**--**--**--**--**--**--
  Sociedade Brasileira de Computação - SBC
  Diretora de Educação

  SBC Horizontes, Editora-chefe
  http://www.sbc.org.br/horizontes
 -**--**--**--**--**--**--**--**--**--**--**--**--**--**--**--**--

 ___
 Sbc-l mailing list
 sb...@sbc.org.br
 https://grupos.ufrgs.br/mailman/listinfo/sbc-l




-- 
José Antônio M. Xexéo, DSc
Faculdade Salesiana Maria Auxiliadora
Instituto Militar de Engenharia


___
Sbc-l mailing listsb...@sbc.org.brhttps://grupos.ufrgs.br/mailman/listinfo/sbc-l


-- 
Prof. Daltro Jose Nunes
Departamento de Informatica Aplicada
Instituto de Informatica -Universidade Federal do Rio Grande do Sul
Caixa Postal 15064
Av. Bento Goncalves  9500 Bl. IV - Porto Alegre RS - Brasil
91501-970 Porto Alegre RS - Brasil
Tel.:+55(51)3308-9465  ou  6156 ou 6165- Fax:+55(51) 33087308
Projeto PROSOFT - http://www.inf.ufrgs.br/prosoft


___
Sbc-l mailing list
sb...@sbc.org.br
https://grupos.ufrgs.br/mailman/listinfo/sbc-l



-- 
**
Prof. Dr. Regivan Hugo Nunes Santiago
Group of Logic, Language, Information, Theory and Applications - LoLITA
Department of Informatics and Applied Mathematics - DIMAp
Federal University of Rio Grande do Norte - UFRN
Campus Universitario, Lagoa Nova, 59.072-970, Natal, RN, Brasil
Phone: +55 84 3215-3814 Ext. 228
Fax:  +55 84 3215-3813
http://www.dimap.ufrn.br/~regivan
e-mail: regivan AT DOMAIN=dimap,ufrn,br.
**
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Paper

[Regivan Hugo Nunes Santiago]

Caríssimos,

muito obrigado pelo retorno.

Regivan

2010/5/11 Regivan Hugo Nunes Santiago regi...@dimap.ufrn.br

 Caríssimos,

 alguém tem o paper do A. Pnueli The Temporal Logic of Programs. Proc. of
 the 18th IEEE Symposium of Foundations of CS, pp. 46-57. 1977?

 Grato,
 Regivan

 --

 **
 Prof. Dr. Regivan Hugo Nunes Santiago
 Group of Logic, Language, Information, Theory and Applications - LoLITA
 Department of Informatics and Applied Mathematics - DIMAp
 Federal University of Rio Grande do Norte - UFRN
 Campus Universitario, Lagoa Nova, 59.072-970, Natal, RN, Brasil
 Phone: +55 84 3215-3814 Ext. 228
 Fax:  +55 84 3215-3813
 http://www.dimap.ufrn.br/~regivan
 e-mail: regivan AT DOMAIN=dimap,ufrn,br.

 **




-- 
**
Prof. Dr. Regivan Hugo Nunes Santiago
Group of Logic, Language, Information, Theory and Applications - LoLITA
Department of Informatics and Applied Mathematics - DIMAp
Federal University of Rio Grande do Norte - UFRN
Campus Universitario, Lagoa Nova, 59.072-970, Natal, RN, Brasil
Phone: +55 84 3215-3814 Ext. 228
Fax:  +55 84 3215-3813
http://www.dimap.ufrn.br/~regivan
e-mail: regivan AT DOMAIN=dimap,ufrn,br.
**
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Paper Per Martin Loef

[Regivan Hugo Nunes Santiago]

Caríssimos,

alguém teria uma versão eletrônica do artigo do Martin Loef: ˜Constructive
Mathematics and Computer Programming, acho que uma das versões é da revista
Logic, Methodology and Philosophy of Science.

Grato pela atenção,
Regivan

-- 
**
Prof. Dr. Regivan Hugo Nunes Santiago
Group of Logic, Language, Information, Theory and Applications - LoLITA
Department of Informatics and Applied Mathematics - DIMAp
Federal University of Rio Grande do Norte - UFRN
Campus Universitario, Lagoa Nova, 59.072-970, Natal, RN, Brasil
Phone: +55 84 3215-3814 Ext. 228
Fax:  +55 84 3215-3813
http://www.dimap.ufrn.br/~regivan
e-mail: regivan AT DOMAIN=dimap,ufrn,br.
**
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Seminários do LoLITA

[Regivan Hugo Nunes Santiago]

Caros colegas,

houve uma mudança do local do seminário. O mesmo acontecerá no auditório do
CCET.

Regivan

2010/1/27 Regivan Hugo Nunes Santiago regi...@dimap.ufrn.br

 Caros colegas,


 mais um seminário do LoLITA. Dessa vez, lógica fuzzy aplicada a sistemas
 dinâmicos. Para maiores informações, acessem:


 http://groups.google.com.br/group/lolita-ufrn/web/seminrios-do-lolita?msg=ns

 Um grande abraço,

 Regivan


 --

 **
 Prof. Dr. Regivan Hugo Nunes Santiago
 Group of Logic, Language, Information, Theory and Applications - LoLITA
 Department of Informatics and Applied Mathematics - DIMAp
 Federal University of Rio Grande do Norte - UFRN
 Campus Universitario, Lagoa Nova, 59.072-970, Natal, RN, Brasil
 Phone: +55 84 3215-3814 Ext. 228
 Fax:  +55 84 3215-3813
 http://www.dimap.ufrn.br/~regivan http://www.dimap.ufrn.br/%7Eregivan
 e-mail: regivan AT DOMAIN=dimap,ufrn,br.

 **




-- 
**
Prof. Dr. Regivan Hugo Nunes Santiago
Group of Logic, Language, Information, Theory and Applications - LoLITA
Department of Informatics and Applied Mathematics - DIMAp
Federal University of Rio Grande do Norte - UFRN
Campus Universitario, Lagoa Nova, 59.072-970, Natal, RN, Brasil
Phone: +55 84 3215-3814 Ext. 228
Fax:  +55 84 3215-3813
http://www.dimap.ufrn.br/~regivan
e-mail: regivan AT DOMAIN=dimap,ufrn,br.
**
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Fwd: [Fuzzy-l] NAFIPS 2010

[Regivan Hugo Nunes Santiago]

Caros colegas,

em setembro do ano passado no XXXII CNMAC foi feito um workshop sobre
sistemas fuzzy, onde se decidiu criar uma lista nacional de e-mail com
pessoas interessadas na área. Nessa ocasião foi acordada a criação do
primeiro workshop na área que acontecerá em Sorocaba-SP. Dessa forma, venho
através deste convidá-los a increver-se e divulgar a tal lista, por entender
que seus interesses acadêmicos interceptam-se com tal área.

Para inscrever-se na lista é só acessar.

http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/fuzzy-l

Atenciosamente,
Regivan

-- Forwarded message --
From: Fernando Antônio Campos Gomide gom...@dca.fee.unicamp.br
Date: 2010/1/28
Subject: Re: [Fuzzy-l] NAFIPS 2010
To: fuzz...@dimap.ufrn.br



Dear Members of the BISC Group:

   The premature passing away of Abe Mamdani is a deep loss for his
family, the fuzzy logic community and all who knew him. My acquaintance
with Abe goes back to the early seventies, when he was a faculty member
at the Queen Mary College. My first impression, which got strengthened
with the passage of time, was that Abe was a highly intelligent,
outspoken, original thinker and a man of culture. His pioneering work
with his graduate student, Assilian, on fuzzy control has made him one
of the most prominent figures within the fuzzy logic community. At Queen
Mary College, Abe built up a very strong group of researchers in fuzzy
logic and fuzzy control. But in the early eighties, the Government
withdrew its support of the group based on misguided advice that fuzzy
control had no future. This forced Abe to leave fuzzy logic. He moved
into the realm of high-level policies related to communications, the
Internet and mobile telephony. He became a highly visible figure in that
realm and moved from Queen Mary College to the Imperial College. Abe was
very bright, very knowledgeable and very articulate. In recent years he
developed some serious medical problems but continued to be active and
influential. He served with distinction as a member of the Steering
Committee of the European Centre for Soft Computing. I saw him
frequently at the meetings of this Committee. It was a deep shock to be
informed that he passed away.

   Regards to all,

  Lotfi
___
Fuzzy-l mailing list
fuzz...@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/fuzzy-l



-- 
**
Prof. Dr. Regivan Hugo Nunes Santiago
Group of Logic, Language, Information, Theory and Applications - LoLITA
Department of Informatics and Applied Mathematics - DIMAp
Federal University of Rio Grande do Norte - UFRN
Campus Universitario, Lagoa Nova, 59.072-970, Natal, RN, Brasil
Phone: +55 84 3215-3814 Ext. 228
Fax:  +55 84 3215-3813
http://www.dimap.ufrn.br/~regivan http://www.dimap.ufrn.br/%7Eregivan
e-mail: regivan AT DOMAIN=dimap,ufrn,br.
**
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Seminários do LoLITA

[Regivan Hugo Nunes Santiago]

Caros colegas,

mais um seminário do LoLITA. Dessa vez, lógica fuzzy aplicada a sistemas
dinâmicos. Para maiores informações, acessem:

http://groups.google.com.br/group/lolita-ufrn/web/seminrios-do-lolita?msg=ns

Um grande abraço,

Regivan

-- 
**
Prof. Dr. Regivan Hugo Nunes Santiago
Group of Logic, Language, Information, Theory and Applications - LoLITA
Department of Informatics and Applied Mathematics - DIMAp
Federal University of Rio Grande do Norte - UFRN
Campus Universitario, Lagoa Nova, 59.072-970, Natal, RN, Brasil
Phone: +55 84 3215-3814 Ext. 228
Fax:  +55 84 3215-3813
http://www.dimap.ufrn.br/~regivan
e-mail: regivan AT DOMAIN=dimap,ufrn,br.
**
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Seminários do LoLITA

[Regivan Hugo Nunes Santiago]

Caríssimos,
devido ao reunião organizada pelo Prof. André Campos estar confirmado para
esta sexta às 09:00hs, mesmo horário da Apresentação, e o momento delicado e
de mudanças que a UFRN está enfrentando, estou suspendendo o seminário do
LoLITA para essa sexta e transferindo-o para a próxima.

Desculpem os eventuais transtornos.

Atenciosamente,
Regivan

2009/10/14 Regivan Hugo Nunes Santiago regi...@dimap.ufrn.br

 Caríssimos,

 mais um seminário do LoLITA. Seguem as informações:

 *Linguistic Variables of Type-N.   A Mathematical Model
 **
 Prof. Regivan Hugo Nunes Santiago (DIMAp-UFRN)
 **Local: Auditório do CCET
 Dia: 16-Out-09
 Horário: 09:00hs
 *
 *
 **Resumo** *This talk shows a model for linguistic variables and the
 fuzzyfication process for fuzzy systems which deals with different level of
 uncertainty in the same linguistic variables. Those systems are called here
 Systems of Type-n. We introduce concepts like n-Homogeneous linguistic
 variables which emphasises the ocurrence of different levels of uncertainty
 in such Fuzzy systems. The most important result is the statement of the
 General Fuzzification Expression (GFE) which establishes how the
 fuzzification process must be calculated in every system of type-n.

 Keywords: Fuzzy Sets, Type-n Fuzzy sets, Systems of Type-n, n-homogeneous
 linguistic variables, heterogeneous linguistic variables.
 *
 *

 --

 **
 Prof. Dr. Regivan Hugo Nunes Santiago
 Group of Logic, Language, Information, Theory and Applications - LoLITA
 Department of Informatics and Applied Mathematics - DIMAp
 Federal University of Rio Grande do Norte - UFRN
 Campus Universitario, Lagoa Nova, 59.072-970, Natal, RN, Brasil
 Phone: +55 84 3215-3814 Ext. 228
 Fax:  +55 84 3215-3813
 http://www.dimap.ufrn.br/~regivan
 e-mail: regivan AT DOMAIN=dimap,ufrn,br.

 **




-- 
**
Prof. Dr. Regivan Hugo Nunes Santiago
Group of Logic, Language, Information, Theory and Applications - LoLITA
Department of Informatics and Applied Mathematics - DIMAp
Federal University of Rio Grande do Norte - UFRN
Campus Universitario, Lagoa Nova, 59.072-970, Natal, RN, Brasil
Phone: +55 84 3215-3814 Ext. 228
Fax:  +55 84 3215-3813
http://www.dimap.ufrn.br/~regivan
e-mail: regivan AT DOMAIN=dimap,ufrn,br.
**
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Seminários do LoLITA

[Regivan Hugo Nunes Santiago]

Caríssimos,

mais um seminário do LoLITA. Seguem as informações:

*Linguistic Variables of Type-N.   A Mathematical Model
**
Prof. Regivan Hugo Nunes Santiago (DIMAp-UFRN)
**Local: Auditório do CCET
Dia: 16-Out-09
Horário: 09:00hs
*
*
**Resumo** *This talk shows a model for linguistic variables and the
fuzzyfication process for fuzzy systems which deals with different level of
uncertainty in the same linguistic variables. Those systems are called here
Systems of Type-n. We introduce concepts like n-Homogeneous linguistic
variables which emphasises the ocurrence of different levels of uncertainty
in such Fuzzy systems. The most important result is the statement of the
General Fuzzification Expression (GFE) which establishes how the
fuzzification process must be calculated in every system of type-n.

Keywords: Fuzzy Sets, Type-n Fuzzy sets, Systems of Type-n, n-homogeneous
linguistic variables, heterogeneous linguistic variables.
*
*

-- 
**
Prof. Dr. Regivan Hugo Nunes Santiago
Group of Logic, Language, Information, Theory and Applications - LoLITA
Department of Informatics and Applied Mathematics - DIMAp
Federal University of Rio Grande do Norte - UFRN
Campus Universitario, Lagoa Nova, 59.072-970, Natal, RN, Brasil
Phone: +55 84 3215-3814 Ext. 228
Fax:  +55 84 3215-3813
http://www.dimap.ufrn.br/~regivan
e-mail: regivan AT DOMAIN=dimap,ufrn,br.
**
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Seminários do LoLITA

[Regivan Hugo Nunes Santiago]

*Caríssimos,

mais uma atividade do LoLITA, desta vez um filme sobre a vida e obra do
Prof. Paul Halmos.

Atenciosamente,
Regivan
-


I want to be a Mathematician. A conversation with Paul Halmos.*

Local: *Sala de reuniões do DIMAp**Dia: 25-Set-09*
Horário: *09:00hs*
*
**
**Resumo:* Paul Halmos' book *I Want to Be a Mathematician—An
Automathography* (MAA, 1985) mixed biographical material and mathematics
with a historical view of the development of U.S. mathematical research from
the 1930s to the l980s. Readable, enjoyable, straightforward, detailed, and
opinionated, it offered first-hand insight into how Paul
Halmoshttp://www-groups.dcs.st-and.ac.uk/%7Ehistory/Biographies/Halmos.htmlapproached
research, his career, and his life. Halmos' legacy is not merely
mathematics but also advice and opinion about writing, publishing, speaking,
research, and thinking about mathematics. Exploring these topics with a
mixture of conviction and humility, his work influenced the professional
lives of many mathematicians in the latter half of the twentieth century.
Halmos died in 2006 at the age of 90.

In George Csicsery's 44-minute film *I Want to Be a Mathematician: A
Conversation with Paul Halmos* (2009), which the MAA produced, Halmos comes
alive again as a master mathematician. Interviewed by former MAA Director of
Publications Peter Renz in 1999, Halmos reveals his ideas on mathematics;
how to teach it; and how to write about it. Mathematicians Robert Bekes,
David Eisenbud, Jean Pedersen, and Donald Sarason reveal their sentiments
about Halmos.


* Esse filme será exibido com uma cortesia do Prof. cortesia do Prof. *Ruy
de Queiroz*, CIn-UFPE.

*
*

-- 
**
Prof. Dr. Regivan Hugo Nunes Santiago
Group of Logic, Language, Information, Theory and Applications - LoLITA
Department of Informatics and Applied Mathematics - DIMAp
Federal University of Rio Grande do Norte - UFRN
Campus Universitario, Lagoa Nova, 59.072-970, Natal, RN, Brasil
Phone: +55 84 3215-3814 Ext. 228
Fax:  +55 84 3215-3813
http://www.dimap.ufrn.br/~regivan
e-mail: regivan AT DOMAIN=dimap,ufrn,br.
**
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Seminários do LoLITA

[Regivan Hugo Nunes Santiago]

Caros colegas,

mais um seminário do LoLITA.

Abraços,
Regivan*


Extensões de T-normas sobre Reticulados Completos*

Profa. Prof. Eduardo Palmeira (DMAT-UESC-BA)
Local: *Sala de reuniões do DIMAp**Dia: 18-Set-09*
Horário: *09:00hs*
*
*
*
**Resumo:*  Dados um reticulado limitado L, um subreticulado N e uma t–norma
TN , podemos indagar a respeito da possibilidade de construirmos uma t-norma
T sobre L de tal modo que T seja uma extensão de TN; isto é́,  definir T : L
× L → L de forma que T |N = TN . Nesse trabalho, apresentamos formas de
atacar esse problema clássico, considerando N um  subreticulado completo do
reticulado L. Além disso,  demonstra-se alguns resultados envolvendo
extensões de t-normas, automorfismo e o construtor intervalar.

-- 
**
Prof. Dr. Regivan Hugo Nunes Santiago
Group of Logic, Language, Information, Theory and Applications - LoLITA
Department of Informatics and Applied Mathematics - DIMAp
Federal University of Rio Grande do Norte - UFRN
Campus Universitario, Lagoa Nova, 59.072-970, Natal, RN, Brasil
Phone: +55 84 3215-3814 Ext. 228
Fax:  +55 84 3215-3813
http://www.dimap.ufrn.br/~regivan
e-mail: regivan AT DOMAIN=dimap,ufrn,br.
**
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Seminários do LoLITA

[Regivan Hugo Nunes Santiago]

Caros colegas,

mais um seminário do LoLITA, desta vez:

*Testing for Refinement in CSP*

Profa. Ana Cavalcanti (York University-Inglaterra)
Local: *A ser confirmado**Dia: 28-Ago-09*
Horário: *10:00hs

O resumo pode ser acessado em:

*
http://groups.google.com.br/group/lolita-ufrn/web/seminrios-do-lolita

Atenciosamente,
Regivan

-- 
**
Prof. Dr. Regivan Hugo Nunes Santiago
Group of Logic, Language, Information, Theory and Applications - LoLITA
Department of Informatics and Applied Mathematics - DIMAp
Federal University of Rio Grande do Norte - UFRN
Campus Universitario, Lagoa Nova, 59.072-970, Natal, RN, Brasil
Phone: +55 84 3215-3814 Ext. 228
Fax:  +55 84 3215-3813
http://www.dimap.ufrn.br/~regivan
e-mail: regivan AT DOMAIN=dimap,ufrn,br.
**
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Workshop em Lógica e Fundamentos da Com putação

[Regivan Hugo Nunes Santiago]

Caros colegas,

primeiramente mil desculpas pelas múltiplas cópias.

Nesta sexta-feira 10/07 estará ocorrendo o workshop do LoLITA: Lógica e
Fundamentos da Computação. A programação segue no link abaixo:

http://groups.google.com.br/group/lolita-ufrn/web/dia-da-lgica-e-dos-fundamentos-da-computao

Atenciosamente,
Regivan



-- 
**
Prof. Dr. Regivan Hugo Nunes Santiago
Group of Logic, Language, Information, Theory and Applications - LoLITA
Department of Informatics and Applied Mathematics - DIMAp
Federal University of Rio Grande do Norte - UFRN
Campus Universitario, Lagoa Nova, 59.072-970, Natal, RN, Brasil
Phone: +55 84 3215-3814 Ext. 228
Fax:  +55 84 3215-3813
http://www.dimap.ufrn.br/~regivan
e-mail: regivan AT DOMAIN=dimap,ufrn,br.
**
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l