[Logica-l] Seminário remoto "Lógicos em Quarentena" 23/07/2020 (quinta-feira) 16:00h

[Bruno Lopes]

Numa iniciativa conjunta da Sociedade Brasileira de Lógica e do Grupo de
Interesse em Lógica da Sociedade Brasileira de Computação, gostaríamos de
convidar a todos a participarem do Seminário "Lógicos em Quarentena".
Trata-se de um seminário remoto com apresentações informais por membros da
comunidade e espaço para perguntas no fim. As apresentações usualmente são
gravadas e disponibilizadas na página do evento http://lq.sbl.org.br (com a
agenda completa).

Data: 23 de julho de 2020 (quinta-feira)
Horário: 16:00h
Apresentador: Alejandro Díaz-Caro (ICC - CONICET/UBA - & UNQ)
Título: Extensional proofs in a propositional logic modulo isomorphisms
Resumo: Joint work with Gilles Dowek. System I is a proof language for a
fragment of propositional logic where isomorphic propositions, such as A∧B
and B∧A, or A⇒(B∧C) and (A⇒B)∧(A⇒C) are made equal. System I enjoys the
strong normalization property. This is sufficient to prove the existence of
empty types, but not to prove the introduction property (every normal
closed term is an introduction). Moreover, a severe restriction had to be
made on the types of the variables in order to obtain the existence of
empty types. We show here that adding η-expansion rules to System I permit
to drop this restriction and to retrieve full introduction property.
Preprint at arXiv.org:2002.03762.
A apresentação ocorrerá pelo Google Meet através do link público
https://meet.google.com/keg-nezd-dnz .

Caso você deseje contribuir com uma apresentação, por favor preencha o
formulário disponível em https://forms.gle/bCmQHTA1p4kYaRga9 .

-- 
Bruno Lopes
Professor Adjunto
Instituto de Computação
Universidade Federal Fluminense
http://www.ic.uff.br/~bruno

-- 
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/CAD-Wq0-UnZ13FUKWu9Kbjxb4xJbZ-Y-1G2T5Zse0DUHK-n-jpQ%40mail.gmail.com.

[Logica-l] há paradoxos para todos os gostos

[Joao Marcos]

Há paradoxos para todos os gostos
por Marcelo Viana
https://www1.folha.uol.com.br/colunas/marceloviana/2020/07/ha-paradoxos-para-todos-os-gostos.shtml

PS: O problema deixado em aberto no final é divertido e tem uma
solução, humm... paradoxal!

-- 
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_LhVomUSFtARAUA-qBkwPXpP7-%2BVR8Czn8iOqi5LjOYsEA%40mail.gmail.com.

[Logica-l] sobre o "Lógicos em Quarentena"

[Joao Marcos]

Um elogio escrito pela Valeria, no qual assino embaixo:
https://logic-forall.blogspot.com/2020/07/logicians-in-quarantine.html

Joao Marcos

-- 
http://sequiturquodlibet.googlepages.com/

-- 
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_Lj%3D2U%3Df_2XpChBR4r3XkmKjaMm1M1e92VJy9dvT4DSvhA%40mail.gmail.com.

Re: [Logica-l] sobre o "Lógicos em Quarentena"

[Marcelo Finger]

👏

Em seg., 20 de jul. de 2020 às 10:30, Joao Marcos 
escreveu:

> Um elogio escrito pela Valeria, no qual assino embaixo:
> https://logic-forall.blogspot.com/2020/07/logicians-in-quarantine.html
>
> Joao Marcos
>
> --
> http://sequiturquodlibet.googlepages.com/
>
> --
> 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_Lj%3D2U%3Df_2XpChBR4r3XkmKjaMm1M1e92VJy9dvT4DSvhA%40mail.gmail.com
> .
>


-- 
 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ê 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/CAGG7Aw0xKYZ5isN4ME_5gXDrLZY9NKW_HQ_R%2BGN3Tbn3%2BZV%2BjA%40mail.gmail.com.

Re: [Logica-l] sobre o "Lógicos em Quarentena"

[Elaine Pimentel]

Muito legal o blog, muito legal a homenagem, muito legal a iniciativa!!!

On Mon, Jul 20, 2020 at 4:58 PM Marcelo Finger  wrote:

> 👏
>
> Em seg., 20 de jul. de 2020 às 10:30, Joao Marcos 
> escreveu:
>
>> Um elogio escrito pela Valeria, no qual assino embaixo:
>> https://logic-forall.blogspot.com/2020/07/logicians-in-quarantine.html
>>
>> Joao Marcos
>>
>> --
>> http://sequiturquodlibet.googlepages.com/
>>
>> --
>> 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_Lj%3D2U%3Df_2XpChBR4r3XkmKjaMm1M1e92VJy9dvT4DSvhA%40mail.gmail.com
>> .
>>
>
>
> --
>  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 ver essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGG7Aw0xKYZ5isN4ME_5gXDrLZY9NKW_HQ_R%2BGN3Tbn3%2BZV%2BjA%40mail.gmail.com
> 
> .
>


-- 
Elaine.
-
Elaine Pimentel  - DMAT/UFRN

Address: Departamento de Matemática
Universidade Federal do Rio Grande do Norte
Campus Universitário - Av. Senador Salgado Filho, s/nº
Lagoa Nova, CEP: 59.078-970 - Natal - RN

Phone: +55 84 3215-3820

http://sites.google.com/site/elainepimentel/
Lattes: http://lattes.cnpq.br/3298246411086415


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

Re: [Logica-l] sobre o "Lógicos em Quarentena"

[Mario Roberto Folhadela Benevides]

🤗

Em seg., 20 de jul. de 2020 às 17:01, Elaine Pimentel <
elaine.pimen...@gmail.com> escreveu:

> Muito legal o blog, muito legal a homenagem, muito legal a iniciativa!!!
>
> On Mon, Jul 20, 2020 at 4:58 PM Marcelo Finger  wrote:
>
>> 👏
>>
>> Em seg., 20 de jul. de 2020 às 10:30, Joao Marcos 
>> escreveu:
>>
>>> Um elogio escrito pela Valeria, no qual assino embaixo:
>>> https://logic-forall.blogspot.com/2020/07/logicians-in-quarantine.html
>>>
>>> Joao Marcos
>>>
>>> --
>>> http://sequiturquodlibet.googlepages.com/
>>>
>>> --
>>> 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_Lj%3D2U%3Df_2XpChBR4r3XkmKjaMm1M1e92VJy9dvT4DSvhA%40mail.gmail.com
>>> .
>>>
>>
>>
>> --
>>  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 ver essa discussão na Web, acesse
>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGG7Aw0xKYZ5isN4ME_5gXDrLZY9NKW_HQ_R%2BGN3Tbn3%2BZV%2BjA%40mail.gmail.com
>> 
>> .
>>
>
>
> --
> Elaine.
> -
> Elaine Pimentel  - DMAT/UFRN
>
> Address: Departamento de Matemática
> Universidade Federal do Rio Grande do Norte
> Campus Universitário - Av. Senador Salgado Filho, s/nº
> Lagoa Nova, CEP: 59.078-970 - Natal - RN
>
> Phone: +55 84 3215-3820
>
> http://sites.google.com/site/elainepimentel/
> Lattes: http://lattes.cnpq.br/3298246411086415
> 
>
> --
> 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/CAHQVs%2BVT1pAonznJdi2kQi78ARQad0MVpygCTbJ6pWUZc18ZQw%40mail.gmail.com
> 
> .
>


-- 
Federal University of Rio de Janeiro
www.cos.ufrj.br/~mario 

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