[Logica-l] Colloquium Logicae @CLE-Unicamp : Alfredo Roque Freire on August 12th 2020 (2:00 PM, GMT -3 )

Dear enthusiastic logicians and partisans of Logic: As part of the Logic Supergroup (https://sites.google.com/view/logicsupergroup/the-logic-supergroup), Colloquium Logicar is happy to announce its next meeting on Wednesday August 12th 2020 ( 2:00 PM, GMT -3 hours) by Alfredo Roque Freire, who

Re: [Logica-l] Re: Lógicas Brasileiras - o site

Tem isso aqui tambem, que e' gigante... https://openlogicproject.org/ http://builds.openlogicproject.org/ [[]], Eduardo On Mon, 3 Aug 2020 at 15:22, Tony Marmo wrote: > > Parabéns pela iniciativa. > Sobre materiais didáticos de lógica: > Existe um livro que foi editado em francês a partir d

Re: [Logica-l] Re: Lógicas Brasileiras - o site

Parabéns pela iniciativa. Sobre materiais didáticos de lógica: Existe um livro que foi editado em francês a partir de textos de Lewis Carroll, "Logo que Sans peine" que já é famoso. Até hoje é o livro mais didático já feito com alcance para o grande público. Há também algumas histórias do escritor

[Logica-l] Supergroup BLAST

Dear Cheerful Logicians and Friends of Logic, Some announcements before we get to the talks for the week: 1. The supergroup finally has its own official website! Woohoo! Here's a link . You can find the calendar of talks

[Logica-l] Re: Lógicas Brasileiras - o site

Caras Gisele, Valéria e Elaine, em primeiro lugar, muito obrigado pela iniciativa e parabéns. Divulguei no meu Facebook assim q soube pela página da própria SBL e espero poder contribuir em algum momento. Abraços fraternos, paz, saúde e alegria mais do q nunca neste momento difícil, mas també

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

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 comunid