logica-l  

Índice temático

• [Logica-l] Fwd: [SBL-Sócios] Falando em lógica... Mesa redonda! Elaine Pimentel
• [Logica-l] Fwd: [sbc-l] Integridade cientifica - leitura recomendada Ruy Jose Guerra Barretto de Queiroz
  • Re: [Logica-l] Fwd: [sbc-l] Integridade cientifica - leitura recomendada Joao Marcos
  • Re: [Logica-l] Fwd: [sbc-l] Integridade cientifica - leitura recomendada Marcelo Finger
  • Re: [Logica-l] Fwd: [sbc-l] Integridade cientifica - leitura recomendada Carlos Augusto Prolo
• [Logica-l] Dia Mundial da Lógica - Peirce y la lógica Cassiano Terra Rodrigues
• [Logica-l] Logic for the Friendship of Nations, on the World Logic Day Frode Bjørdal
• [Logica-l] Fwd: World Logic Day - CLE '22 Marcelo Esteban Coniglio
• [Logica-l] World Logic Day at CLE/Unicamp Marcelo Esteban Coniglio
• [Logica-l] WoLLIC 2022, Iasi (Romania), 20-23 Sep 2022 Elaine Pimentel
• [Logica-l] Falando em Lógica ... WLD@SBL Elaine Pimentel
  • [Logica-l] Re: Falando em Lógica ... WLD@SBL Elaine Pimentel
• [Logica-l] Convite 19o Seminário Informal (+Formal!) GTC UnB Mauricio Ayala Rincon
• [Logica-l] Conversa "Lógica e Metafísica das Propriedades" (en espanhol) Maria Martinez-Ordaz
• [Logica-l] A LÓGICA DO AMOR BÍBLICO / Dia Mundial da Lógica da UNESCO jean-yves beziau
• [Logica-l] Dia mundial da lógica na Lua ! jean-yves beziau
• [Logica-l] Bolsas de mestrado e doutorado na UFMG Haniel Barbosa
  • [Logica-l] Bolsas de mestrado e doutorado na UFMG Haniel Barbosa
• [Logica-l] This paradoxical life Joao Marcos
• [Logica-l] History of logic in Latin America: the case of Ayda Ignez Arruda Joao Marcos
  • Re: [Logica-l] History of logic in Latin America: the case of Ayda Ignez Arruda Gisele Secco
  • Re: [Logica-l] History of logic in Latin America: the case of Ayda Ignez Arruda Elaine Pimentel
  • Re: [Logica-l] History of logic in Latin America: the case of Ayda Ignez Arruda Itala Maria Loffredo D'Ottaviano
  • Re: [Logica-l] History of logic in Latin America: the case of Ayda Ignez Arruda Cassiano Terra Rodrigues
  • Re: [Logica-l] History of logic in Latin America: the case of Ayda Ignez Arruda Ricardo Grande
• [Logica-l] Academia Mexicana de Lógica, Jornadas en torno al Día Mundial de la Lógica jean-yves beziau
• [Logica-l] Introduction to Philosophy: Logic Joao Marcos
  • [Logica-l] Re: Introduction to Philosophy: Logic Cassiano Terra Rodrigues
• [Logica-l] Fwd: Logic for the Friendship of Nations (Jan 14-15, 2022) Joao Marcos
• [Logica-l] SC-square Workshop 2022: First Call for Papers Haniel Barbosa
• [Logica-l] [puzzle] The two tribes of If Joao Marcos
• [Logica-l] Día Mundial da Lógica / Inceptiones et Receptiones 2022 Prensa SPEL
• [Logica-l] The paradox at the heart of mathematics Joao Marcos
• [Logica-l] The Reasoner v16 n1 - Maria Martinez / Tomasz Jarmuzeck jean-yves beziau
  • Re: [Logica-l] The Reasoner v16 n1 - Maria Martinez / Tomasz Jarmuzeck Marcelo Finger
  • Re: [Logica-l] The Reasoner v16 n1 - Maria Martinez / Tomasz Jarmuzeck Maria Martinez-Ordaz
• [Logica-l] Reasoning in Text / Logic and Ethical Reasoning = Novos Workshops no UNILOG'2022 jean-yves beziau
• [Logica-l] o resultado das somas Joao Marcos
  • Re: [Logica-l] o resultado das somas Itala Maria Loffredo D'Ottaviano
  • Re: [Logica-l] o resultado das somas Valeria de Paiva
  • Re: [Logica-l] o resultado das somas Marcelo Finger
  • Re: [Logica-l] o resultado das somas Gisele Secco
  • Re: [Logica-l] o resultado das somas Elaine Pimentel
  • Re: [Logica-l] o resultado das somas C. Mortari
  • [Logica-l] Re: o resultado das somas Mauricio Ayala-Rincón
  • Re: [Logica-l] Re: o resultado das somas Vivek Nigam
  • Re: [Logica-l] Re: o resultado das somas Daniel Durante
• [Logica-l] IS LOGIC EXCEPTIONAL? Dia Mundial da Lógica - 4ª edição jean-yves beziau
• [Logica-l] Fwd: Female Logicians: Their Impact on Modern Logic (UNESCO World Logic Day Hagen 2022) Joao Marcos
• [Logica-l] Fwd: Nordic Online Logic Seminar: next talk, on January 24, by Johan van Benthem Joao Marcos
• [Logica-l] All of Wittgenstein is now public domain (wittgensteinproject.org) Eduardo Ochs
• [Logica-l] Fwd: New Book on the Lvov-Warsaw School Joao Marcos
• [Logica-l] Coletivo Lógica Viva: "eu sou mentiroso!" sobre o paradoxo do mentiroso Marcos Silva
• [Logica-l] CFP: ThEdu'22 Joao Marcos
• [Logica-l] The Meaning of Proofs, 14 Jan 2022 (WLD event, virtual) Elaine Pimentel
• [Logica-l] coisas quânticas Joao Marcos
• [Logica-l] Fwd: Minicursos do programa de verão em Matemática (IME-USP) Joao Marcos
• [Logica-l] Fwd: Processo Seletivo para curso de Doutorado em Ciência da Computação (PPgSC - UFRN) Joao Marcos
• [Logica-l] 7th School of Universal Logic: 3 more tutorials jean-yves beziau
• [Logica-l] UNILOG Creta Abril 2022: informacao sobre viagem e coronavirus jean-yves beziau
• [Logica-l] Paraconsistent Newsletter Fall-Spring 2021 jean-yves beziau
• [Logica-l] Coletivo Lógica Viva: Falácia Apelo à Força, por Aldo Dinucci Marcos Silva
  • [Logica-l] Coletivo Lógica Viva: Falácia Apelo à Força, por Aldo Dinucci Marcos Silva
• [Logica-l] Mathematicians Settle Erdős Coloring Conjecture | Quanta Magazine josé carlos cifuentes
• [Logica-l] Fifty Years of P vs. NP and the Possibility of the Impossible Joao Marcos
• [Logica-l] Dia Mundial da Lógica 2022 Cassiano Terra Rodrigues
• [Logica-l] Fwd: Eleventh Scandinavian Logic Symposium (SLSS 2022) - First call for abstracts. Joao Marcos
• [Logica-l] Generic Figures: using Category Theory to Model Diagrammatic Logic jean-yves beziau
• [Logica-l] Coletivo Lógica Viva: pra que estudar lógica?, por Giselle Reis Marcos Silva
  • Re: [Logica-l] Coletivo Lógica Viva: pra que estudar lógica?, por Giselle Reis Itala Maria Loffredo D'Ottaviano
• [Logica-l] [Hoje e amanhã] Eclectic approaches to causation and explanation Maria Martinez-Ordaz
• [Logica-l] Assistant Professorship in Experimental Methods for AI in Logic & Language, Amsterdam (The Netherlands), Deadline: 1 Jan 2022 (extended) Walter Carnielli
• [Logica-l] Postdoctoral research scholarship in mathematics, Lisbon (Portugal), Deadline: 28 Jan 2022 Walter Carnielli
• [Logica-l] Vídeo introdutório à lógica de revisão de crenças: Rafael Testa Maria Martinez-Ordaz
• [Logica-l] A Lógica e o Conceito de Deus / LARAWebinar / DEC 16, meio dia jean-yves beziau
• [Logica-l] josé carlos cifuentes
  • Re: [Logica-l] Marcelo Finger
  • [Logica-l] Joao Marcos
• [Logica-l] Entrevista Hugo Mariano - Ad Infinitum Alfredo Roque Freire
• [Logica-l] Logica Universalis , Volume 15, Issue 4, 2022 jean-yves beziau
• [Logica-l] Decolonizing “Natural Logic” / Logical Skills / LUWebinar Dec 15 - 4 pm CET jean-yves beziau
• [Logica-l] Curso "Pensamento Crítico, Lógica e Argumentação" (Coursera-Extecamp) Walter Carnielli
  • Re: [Logica-l] Curso "Pensamento Crítico, Lógica e Argumentação" (Coursera-Extecamp) Itala Maria Loffredo D'Ottaviano
  • Re: [Logica-l] Curso "Pensamento Crítico, Lógica e Argumentação" (Coursera-Extecamp) Julio Stern
  • [Logica-l] Re: Curso "Pensamento Crítico, Lógica e Argumentação" (Coursera-Extecamp) Cassiano Terra Rodrigues
  • [Logica-l] Re: Curso "Pensamento Crítico, Lógica e Argumentação" (Coursera-Extecamp) Walter Carnielli
  • Re: [Logica-l] Re: Curso "Pensamento Crítico, Lógica e Argumentação" (Coursera-Extecamp) Marcos Silva
  • Re: [Logica-l] Re: Curso "Pensamento Crítico, Lógica e Argumentação" (Coursera-Extecamp) Gisele Secco
  • Re: [Logica-l] Curso "Pensamento Crítico, Lógica e Argumentação" (Coursera-Extecamp) Marcelo Esteban Coniglio
• [Logica-l] Coletivo Lógica Viva: Teoria X Prática Marcos Silva
  • Re: [Logica-l] Coletivo Lógica Viva: Teoria X Prática Adolfo Neto
  • Re: [Logica-l] Coletivo Lógica Viva: Teoria X Prática Marcos Silva
  • Re: [Logica-l] Coletivo Lógica Viva: Teoria X Prática Itala Maria Loffredo D'Ottaviano
  • Re: [Logica-l] Coletivo Lógica Viva: Teoria X Prática Julio Stern
  • Re: [Logica-l] Coletivo Lógica Viva: Teoria X Prática Walter Carnielli
  • Re: [Logica-l] Coletivo Lógica Viva: Teoria X Prática Cassiano Terra Rodrigues
  • Re: [Logica-l] Coletivo Lógica Viva: Teoria X Prática Marcos Silva
• [Logica-l] Peirce no Dia Mundial da Lógica 2022 Cassiano Terra Rodrigues
• [Logica-l] UNILOG'2022: Ready to go? Early Bird Registration Fee: Dec 15 jean-yves beziau
• [Logica-l] ALEXANDRIA: Large-Scale Formal Proof for the Working Mathematician Joao Marcos
• [Logica-l] Online-Workshop Eclectic approaches to causation and explanation Maria Martinez-Ordaz
• [Logica-l] Estado Bíblico Walter Carnielli
  • Re: [Logica-l] Estado Bíblico Joao Marcos
• Re: [Logica-l] E-mail de compilação para logica-l@dimap.ufrn.br - 8 atualizações em 1 tema Cassiano Terra Rodrigues
• [Logica-l] Meio off-topic: Construção do Reino de Deus na UFRN Eduardo Ochs
  • Re: [Logica-l] Meio off-topic: Construção do Reino de Deus na UFRN Carlos Augusto Prolo
  • Re: [Logica-l] Meio off-topic: Construção do Reino de Deus na UFRN Joao Marcos
  • Re: [Logica-l] Meio off-topic: Construção do Reino de Deus na UFRN Walter Carnielli
  • Re: [Logica-l] Meio off-topic: Construção do Reino de Deus na UFRN Julio Stern
  • Re: [Logica-l] Meio off-topic: Construção do Reino de Deus na UFRN Joao Marcos
  • Re: [Logica-l] Meio off-topic: Construção do Reino de Deus na UFRN Manuel Doria
  • Re: [Logica-l] Meio off-topic: Construção do Reino de Deus na UFRN Walter Carnielli
  • Re: [Logica-l] Meio off-topic: Construção do Reino de Deus na UFRN Manuel Doria
  • Re: [Logica-l] Meio off-topic: Construção do Reino de Deus na UFRN Joao Marcos
  • [Logica-l] Re: Meio off-topic: Construção do Reino de Deus na UFRN Daniel Durante
  • Re: [Logica-l] Re: Meio off-topic: Construção do Reino de Deus na UFRN Joao Marcos
  • [Logica-l] Re: Meio off-topic: Construção do Reino de Deus na UFRN Eduardo Ochs
  • [Logica-l] Re: Meio off-topic: Construção do Reino de Deus na UFRN Cassiano Terra Rodrigues
  • Re: [Logica-l] Re: Meio off-topic: Construção do Reino de Deus na UFRN Ricardo Pereira
  • Re: [Logica-l] Re: Meio off-topic: Construção do Reino de Deus na UFRN Manuel Doria
  • [Logica-l] Re: Meio off-topic: Construção do Reino de Deus na UFRN Daniel Durante
  • Re: [Logica-l] Re: Meio off-topic: Construção do Reino de Deus na UFRN Joao Marcos
  • Re: [Logica-l] Re: Meio off-topic: Construção do Reino de Deus na UFRN Marcelo Finger
  • Re: [Logica-l] Re: Meio off-topic: Construção do Reino de Deus na UFRN Daniel Durante
  • Re: [Logica-l] Re: Meio off-topic: Construção do Reino de Deus na UFRN rhalah
  • Re: [Logica-l] Re: Meio off-topic: Construção do Reino de Deus na UFRN Julio Stern
  • Re: [Logica-l] Re: Meio off-topic: Construção do Reino de Deus na UFRN Ricardo Pereira
  • Re: [Logica-l] Re: Meio off-topic: Construção do Reino de Deus na UFRN Julio Stern
  • Re: [Logica-l] Re: Meio off-topic: Construção do Reino de Deus na UFRN Ricardo Pereira
  • Re: [Logica-l] Re: Meio off-topic: Construção do Reino de Deus na UFRN Eduardo Ochs
  • Re: [Logica-l] Re: Meio off-topic: Construção do Reino de Deus na UFRN Cassiano Terra Rodrigues
  • Re: [Logica-l] Meio off-topic: Construção do Reino de Deus na UFRN Daniel Durante
  • Re: [Logica-l] Meio off-topic: Construção do Reino de Deus na UFRN Diego Almeida
  • Re: [Logica-l] Meio off-topic: Construção do Reino de Deus na UFRN Cassiano Terra Rodrigues
  • Re: [Logica-l] Meio off-topic: Construção do Reino de Deus na UFRN Julio Stern
  • Re: [Logica-l] Meio off-topic: Construção do Reino de Deus na UFRN Cassiano Terra Rodrigues
  • Re: [Logica-l] Meio off-topic: Construção do Reino de Deus na UFRN Julio Stern
  • Re: [Logica-l] Re: Meio off-topic: Construção do Reino de Deus na UFRN Ricardo Pereira
  • Re: [Logica-l] Re: Meio off-topic: Construção do Reino de Deus na UFRN Cassiano Terra Rodrigues
  • Re: [Logica-l] Re: Meio off-topic: Construção do Reino de Deus na UFRN Ricardo Pereira
  • Re: [Logica-l] Re: Meio off-topic: Construção do Reino de Deus na UFRN Ricardo Pereira
• [Logica-l] [OUF] Colóquio: O que é o amor? Rio 7-9 de dezembro 2021 jean-yves beziau
• [Logica-l] LUW Dec 8, 4pm CET / Measuring Inconsistency in Generalized Propositional Logic jean-yves beziau
• [Logica-l] Membros;:- estudantes da ASL Walter Carnielli
• [Logica-l] WoLLIC 2022 Elaine Pimentel
  • [Logica-l] WoLLIC 2022 Elaine Pimentel
• [Logica-l] Fwd: IJCAR 2022 - Call for Papers Joao Marcos
• [Logica-l] Sobre o "Sobre a Certeza", de Wittgenstein (UFPE 6-7/12) Marcos Silva
  • [Logica-l] Re: Sobre o "Sobre a Certeza", de Wittgenstein (UFPE 6-7/12) Marcos Silva
• [Logica-l] Fwd: CFP: Festchrift for John N. Crossley (Logic Journal of the IGPL, Deadline 1 June 2022) Joao Marcos
• [Logica-l] Twenty PhD student positions in "Logics for Computer Science", Vienna (Austria), Deadline: 30 Dec 2021 Walter Carnielli
• [Logica-l] Fwd: Concurso para Professor Efetivo (Adjunto A, DE) na área de Aprendizado de Máquina (Machine Learning) no DIMAp/UFRN. Inscrições até terça, 7 de dezembro Joao Marcos
• [Logica-l] CFP: Ética Conceitual e Engenharia Conceitual (Perspectiva, PPGFIL/UFPE) Marcos Silva
• [Logica-l] pode a IA nos ajudar a demonstrar teoremas? Joao Marcos
  • Re: [Logica-l] pode a IA nos ajudar a demonstrar teoremas? Daniel Durante
  • Re: [Logica-l] pode a IA nos ajudar a demonstrar teoremas? Walter Carnielli
  • Re: [Logica-l] pode a IA nos ajudar a demonstrar teoremas? Daniel Durante
  • Re: [Logica-l] pode a IA nos ajudar a demonstrar teoremas? Joao Marcos
• [Logica-l] Fwd: PhD and Postdoc Positions in Automated Reasoning at Bar-Ilan University Joao Marcos
• [Logica-l] Fwd: [PT] Nordic Logic Summer School 2022 (NLS 2022) Valeria de Paiva
• [Logica-l] Conversa sobre tradução de textos clássicos em matemática Cassiano Terra Rodrigues
• [Logica-l] Fwd: [[Maude-users] ] 2nd CfP: 14th International Workshop on Rewriting Logic and its Applications (WRLA) Vivek Nigam
• [Logica-l] Logica Viva: Falácia do verdadeiro Escocês, por Adolfo Neto Marcos Silva
  • Re: [Logica-l] Logica Viva: Falácia do verdadeiro Escocês, por Adolfo Neto Itala Maria Loffredo D'Ottaviano
• [Logica-l] Renúncia na MAPE / CAPES Claus Akira Horodynski Matsushigue
  • [Logica-l] Re: Renúncia na MAPE / CAPES Cassiano Terra Rodrigues
  • Re: [Logica-l] Re: Renúncia na MAPE / CAPES Valeria de Paiva
• [Logica-l] Call for Registration - 1st Meeting Brazil-Colombia in Logic 'samuel' via LOGICA-L
• [Logica-l] Fwd: [diagrams-list] First Call For Papers: Diagrams 2022 Petrucio Viana
• [Logica-l] Oportunidade: Master in Pure and Applied Logic UB UPC Walter Carnielli
• [Logica-l] Noz e Lógica viva: Existe racismo na Universidade? (24/11, 18h30) Marcos Silva
  • [Logica-l] Re: Noz e Lógica viva: Existe racismo na Universidade? (24/11, 18h30) Cassiano Terra Rodrigues
• [Logica-l] Lógica em LIBRAS Rafael Testa
• [Logica-l] CAV 2022’s Artifact Evaluation Elaine Pimentel
• [Logica-l] Fwd: postdoc positions at DIMACS Camilo Thorne
• [Logica-l] Fwd: Master in Pure and Applied Logic - Barcelona (Spain) Joao Marcos
• [Logica-l] Don Pigozzi Joao Marcos
  • Re: [Logica-l] Don Pigozzi josé carlos cifuentes
• [Logica-l] Lógica Viva: Ad Nauseaum, por Aldo Dinucci Marcos Silva
  • [Logica-l] Lógica Viva: Ad Nauseaum, por Aldo Dinucci Marcos Silva
• [Logica-l] Entrevista com Leonardo de Moura (Microsoft Research) Adolfo Neto
  • Re: [Logica-l] Entrevista com Leonardo de Moura (Microsoft Research) Walter Carnielli
  • [Logica-l] Re: Entrevista com Leonardo de Moura (Microsoft Research) Adolfo Neto
• [Logica-l] Turing Test Thiago Galbiatti Vespa
• [Logica-l] A 5ª Noção Lógica - Soluções para o Enigma - quinta, dia 18, às 16h jean-yves beziau
• [Logica-l] Submissões para o Prêmio Newton da Costa Petrucio Viana
• [Logica-l] LARA, Nov 18, meio dia: O CIENTIFICISMO É A NOVA IGREJA UNIVERSAL? Conferência de Laurent Lafforgue, jean-yves beziau
• [Logica-l] LUW Nov 17, 4pm CET / Correspondence Analysis for Some Fragments of Classical Propositional Logic jean-yves beziau
• [Logica-l] Fwd: [Proof Complexity] Call for Postocs 2021: Euler Institute Camilo Thorne
• [Logica-l] Viganò explicando security Elaine Pimentel
  • Re: [Logica-l] Viganò explicando security Marcelo Finger
  • Re: [Logica-l] Viganò explicando security Walter Carnielli
• [Logica-l] Georges Papy (1920-2011) jean-yves beziau
• [Logica-l] Andrea Loparic / numero especial SAJL jean-yves beziau
  • [Logica-l] numero especial SAJL Andrea Loparic - Deadline: primeiro de julho jean-yves beziau
• [Logica-l] Hoje Nastassja Pugliesse "Nisia Floresta´s critique of colonialism" Maria Martinez-Ordaz
• [Logica-l] a indução matemática como raiz da criatividade matemática? Joao Marcos
  • Re: [Logica-l] a indução matemática como raiz da criatividade matemática? Julio Stern
  • Re: [Logica-l] a indução matemática como raiz da criatividade matemática? Marcelo Finger
  • [Logica-l] Re: a indução matemática como raiz da criatividade matemática? Joao Marcos

• Mensagens anteriores
• Mensagens posteriores