Re: [Logica-l] 17 anos de LOGICA-L

2023-03-26 Por tôpico Elaine Pimentel 
Longa vida à Logica-l

Obrigada, João, pela paciência e perseverança!

E sobre Carol, que muito bem lembrado por Ítala também administrou a lista,
aproveito para lembrar que estamos aguardando as contribuições do II Dia
Carol Blasio. O processo é muito simples, basta preencher um formulário e
enviar sugestões de materiais de ensino de lógica. Instruções em

https://logicasbrasileiras.wordpress.com/ii-dia-carol-blasio-por-diversidade-na-logica-2023/


Abraços, e um viva à Logica-l!

On Sun, Mar 26, 2023 at 3:40 AM Francisco Miraglia Neto 
wrote:

>
> Faço minhas as palavras do Wslter!
>
> Abraços,
>
> Chico Miraglia
> On Sat, 25 Mar 2023 at 21:57 Walter Carnielli  wrote:
>
>> A Lista de Lógica quase maior de idade!
>>
>>  Parabéns ao João pela boa vontade em  administrar,  sem esquecer que a
>> Carol foi também administradora.
>>
>> Parabéns a todos nós que fazemos parte-
>> a Lista de Lógica ajudou a levantar a comunidade brasileira que trabalha
>> no tema!
>>
>> Abçs,
>>
>> Walter
>>
>>
>> Em sáb., 25 de mar. de 2023 16:45, Valeria de Paiva <
>> valeria.depa...@gmail.com> escreveu:
>>
>>> Parabens, para o administrador e todos nos!
>>> saudacoes logicas,
>>> Valeria
>>>
>>> On Sat, Mar 25, 2023 at 10:02 AM O Administrador da LOGICA-L <
>>> logica-l+own...@dimap.ufrn.br> wrote:
>>>
 Não queria deixar passar esta data em branco:
 agradeço novamente a todos os (quase 700) membros desta lista, que
 fazem dela o que ela é!

 O Administrador da LOGICA-L

 --
 LOGICA-L
 Lista acadêmica brasileira dos profissionais e estudantes da área de
 Lógica 
 ---
 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/CAO6j_LjgnHDX1muBUheLU3ExD1Z1tD_x92Zag9x7TtTa8%2BoV7w%40mail.gmail.com
 
 .
>>>
>>>
 --
>>> LOGICA-L
>>> Lista acadêmica brasileira dos profissionais e estudantes da área de
>>> Lógica 
>>> ---
>>> 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/CAESt%3DXviMC3PjT_1Fh%2BTpdAmHPuMpFckM65uHufoYKQuE_VJEw%40mail.gmail.com
>>> 
>>> .
>>>
>> --
>> LOGICA-L
>> Lista acadêmica brasileira dos profissionais e estudantes da área de
>> Lógica 
>> ---
>> 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/CAOrCsLdsdjwujuHNcJYLwFvzuY%3DEYG6NKRGKgg_pqD9J3otJpg%40mail.gmail.com
>> 
>> .
>>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica 
> ---
> 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/CAAPRoxGVVRN02J9hBjP5U%2B8_r%2BVQcrSYC%3DV%3DubAX33wax25AEA%40mail.gmail.com
> 
> .
>


-- 
Elaine.
---
Elaine Pimentel
Associate Professor in Programming Principles, Logic, and Verification
Department of Computer Science
University College London
https://sites.google.com/site/elainepimentel/
---

-- 
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

Re: [Logica-l] 17 anos de LOGICA-L

2023-03-25 Por tôpico Francisco Miraglia Neto 
Faço minhas as palavras do Wslter!

Abraços,

Chico Miraglia
On Sat, 25 Mar 2023 at 21:57 Walter Carnielli  wrote:

> A Lista de Lógica quase maior de idade!
>
>  Parabéns ao João pela boa vontade em  administrar,  sem esquecer que a
> Carol foi também administradora.
>
> Parabéns a todos nós que fazemos parte-
> a Lista de Lógica ajudou a levantar a comunidade brasileira que trabalha
> no tema!
>
> Abçs,
>
> Walter
>
>
> Em sáb., 25 de mar. de 2023 16:45, Valeria de Paiva <
> valeria.depa...@gmail.com> escreveu:
>
>> Parabens, para o administrador e todos nos!
>> saudacoes logicas,
>> Valeria
>>
>> On Sat, Mar 25, 2023 at 10:02 AM O Administrador da LOGICA-L <
>> logica-l+own...@dimap.ufrn.br> wrote:
>>
>>> Não queria deixar passar esta data em branco:
>>> agradeço novamente a todos os (quase 700) membros desta lista, que fazem
>>> dela o que ela é!
>>>
>>> O Administrador da LOGICA-L
>>>
>>> --
>>> LOGICA-L
>>> Lista acadêmica brasileira dos profissionais e estudantes da área de
>>> Lógica 
>>> ---
>>> 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/CAO6j_LjgnHDX1muBUheLU3ExD1Z1tD_x92Zag9x7TtTa8%2BoV7w%40mail.gmail.com
>>> 
>>> .
>>
>>
>>> --
>> LOGICA-L
>> Lista acadêmica brasileira dos profissionais e estudantes da área de
>> Lógica 
>> ---
>> 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/CAESt%3DXviMC3PjT_1Fh%2BTpdAmHPuMpFckM65uHufoYKQuE_VJEw%40mail.gmail.com
>> 
>> .
>>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica 
> ---
> 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/CAOrCsLdsdjwujuHNcJYLwFvzuY%3DEYG6NKRGKgg_pqD9J3otJpg%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/CAAPRoxGVVRN02J9hBjP5U%2B8_r%2BVQcrSYC%3DV%3DubAX33wax25AEA%40mail.gmail.com.

Re: [Logica-l] 17 anos de LOGICA-L

2023-03-25 Por tôpico Walter Carnielli 
A Lista de Lógica quase maior de idade!

 Parabéns ao João pela boa vontade em  administrar,  sem esquecer que a
Carol foi também administradora.

Parabéns a todos nós que fazemos parte-
a Lista de Lógica ajudou a levantar a comunidade brasileira que trabalha no
tema!

Abçs,

Walter


Em sáb., 25 de mar. de 2023 16:45, Valeria de Paiva <
valeria.depa...@gmail.com> escreveu:

> Parabens, para o administrador e todos nos!
> saudacoes logicas,
> Valeria
>
> On Sat, Mar 25, 2023 at 10:02 AM O Administrador da LOGICA-L <
> logica-l+own...@dimap.ufrn.br> wrote:
>
>> Não queria deixar passar esta data em branco:
>> agradeço novamente a todos os (quase 700) membros desta lista, que fazem
>> dela o que ela é!
>>
>> O Administrador da LOGICA-L
>>
>> --
>> LOGICA-L
>> Lista acadêmica brasileira dos profissionais e estudantes da área de
>> Lógica 
>> ---
>> 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/CAO6j_LjgnHDX1muBUheLU3ExD1Z1tD_x92Zag9x7TtTa8%2BoV7w%40mail.gmail.com
>> 
>> .
>>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica 
> ---
> 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/CAESt%3DXviMC3PjT_1Fh%2BTpdAmHPuMpFckM65uHufoYKQuE_VJEw%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/CAOrCsLdsdjwujuHNcJYLwFvzuY%3DEYG6NKRGKgg_pqD9J3otJpg%40mail.gmail.com.

Re: [Logica-l] 17 anos de LOGICA-L

2023-03-25 Por tôpico Itala Maria Loffredo D'Ottaviano 
Caras e Caros:

Parabéns ao querido João, por todos estes anos "nos administrando"!
Lembremos também, com carinho e saudade,  do período em que a Carol
administrou a lista.

Abraços a todas e todos,

da Itala

Em sáb., 25 de mar. de 2023 às 16:45, Valeria de Paiva <
valeria.depa...@gmail.com> escreveu:

> Parabens, para o administrador e todos nos!
> saudacoes logicas,
> Valeria
>
> On Sat, Mar 25, 2023 at 10:02 AM O Administrador da LOGICA-L <
> logica-l+own...@dimap.ufrn.br> wrote:
>
>> Não queria deixar passar esta data em branco:
>> agradeço novamente a todos os (quase 700) membros desta lista, que fazem
>> dela o que ela é!
>>
>> O Administrador da LOGICA-L
>>
>> --
>> LOGICA-L
>> Lista acadêmica brasileira dos profissionais e estudantes da área de
>> Lógica 
>> ---
>> 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/CAO6j_LjgnHDX1muBUheLU3ExD1Z1tD_x92Zag9x7TtTa8%2BoV7w%40mail.gmail.com
>> 
>> .
>>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica 
> ---
> 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/CAESt%3DXviMC3PjT_1Fh%2BTpdAmHPuMpFckM65uHufoYKQuE_VJEw%40mail.gmail.com
> 
> .
>


-- 
Prof. Dr. Itala M. Loffredo D'Ottaviano
Full Professor in Logic and the Foundations of Science
Member and Researcher of the *Centre for Logic, Epistemology and the* *History
of Science* at the University of Campinas
Research Fellow of the *Brazilian National Council for Scientific and
Technological Development*
Titular Member, *Brazilian Academy of Philosophy* (Rio de Janeiro)
Emeritus Member, *Académie Internationale de Philosophie de Sciences *
(Bruxelles)
Titular Member, *Institut International de Philosophie *(Paris-Nancy)
Editor of *Coleção CLE, *by the *Centre for Logic, Epistemology and
the* *History
of Science.*

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

Re: [Logica-l] 17 anos de LOGICA-L

2023-03-25 Por tôpico Valeria de Paiva 
Parabens, para o administrador e todos nos!
saudacoes logicas,
Valeria

On Sat, Mar 25, 2023 at 10:02 AM O Administrador da LOGICA-L <
logica-l+own...@dimap.ufrn.br> wrote:

> Não queria deixar passar esta data em branco:
> agradeço novamente a todos os (quase 700) membros desta lista, que fazem
> dela o que ela é!
>
> O Administrador da LOGICA-L
>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica 
> ---
> 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/CAO6j_LjgnHDX1muBUheLU3ExD1Z1tD_x92Zag9x7TtTa8%2BoV7w%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/CAESt%3DXviMC3PjT_1Fh%2BTpdAmHPuMpFckM65uHufoYKQuE_VJEw%40mail.gmail.com.

[Logica-l] 17 anos de LOGICA-L

2023-03-25 Por tôpico O Administrador da LOGICA-L 
Não queria deixar passar esta data em branco:
agradeço novamente a todos os (quase 700) membros desta lista, que fazem
dela o que ela é!

O Administrador da LOGICA-L

-- 
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/CAO6j_LjgnHDX1muBUheLU3ExD1Z1tD_x92Zag9x7TtTa8%2BoV7w%40mail.gmail.com.