logica-l  

Índice temático

• [Logica-l] Presheaves Regivan Hugo Nunes Santiago
  • Re: [Logica-l] Presheaves Francisco Miraglia Neto
• [Logica-l] Main CFP CPP 2020 - Certified Programs and Proofs Mauricio Ayala-Rincon
• [Logica-l] WoCoLoR III, Varanasi, de 8 a 12 de novembro de 2020 jean-yves beziau
• [Logica-l] Logic and Semiotics : The Arbitrariness of the Sign in Question jean-yves beziau
• [Logica-l] Jaakko Hintikka - Memorial Issue jean-yves beziau
• [Logica-l] Argumentos implícitos ("notação de físicos") Eduardo Ochs
• [Logica-l] CREATIVITY'2019 extensão do prazo - bolsas para estudantes - SBL jean-yves beziau
  • Re: [Logica-l] CREATIVITY'2019 extensão do prazo - bolsas para estudantes - SBL C. Mortari
• [Logica-l] Joao Marcos e Luiz Carlos no Recife (9-11/10) Marcos Silva
• [Logica-l] [Off Topic] SEP anglocêntrica Walter Carnielli
• [Logica-l] CREATIVITY 2019 - bolsas para estudantes da SBL jean-yves beziau
  • [Logica-l] Re: CREATIVITY 2019 - bolsas para estudantes da SBL 'Samuel Gomes' via LOGICA-L
  • [Logica-l] Re: CREATIVITY 2019 - bolsas para estudantes da SBL Mathematical Logic UFBA
• [Logica-l] [OFF-Topic] Filósofos na SEP Walter Carnielli
  • Re: [Logica-l] [OFF-Topic] Filósofos na SEP Joao Marcos
  • Re: [Logica-l] [OFF-Topic] Filósofos na SEP Walter Carnielli
  • [Logica-l] Re: [OFF-Topic] Filósofos na SEP Eduardo Alejandro Barrio
• [Logica-l] Talk on Constraine Interval Arithmetics Regivan Hugo Nunes Santiago
• [Logica-l] Proceedings of the XVIII EBL Jonas Becker
• [Logica-l] LSFA2019 starts today! Joao Marcos
• [Logica-l] Questões metamatemáticas do julgamento e da decisão: em sistemas formais e em linguagem natural jean-yves beziau
• [Logica-l] Fwd: Reminder: post doc in Logic, University of Milan, deadline 4 September Marcelo Finger
• [Logica-l] [OFF-Topic] Filósofos mais citados na SEP Cassiano Terra Rodrigues
  • [Logica-l] [OFF-Topic] Filósofos mais citados na SEP Walter Carnielli
  • Re: [Logica-l] [OFF-Topic] Filósofos mais citados na SEP Joao Marcos
  • Re: [Logica-l] [OFF-Topic] Filósofos mais citados na SEP Cassiano Terra Rodrigues
  • Re: [Logica-l] [OFF-Topic] Filósofos mais citados na SEP Antonio Marmo
  • Re: [Logica-l] [OFF-Topic] Filósofos mais citados na SEP Joao Marcos
  • Re: [Logica-l] [OFF-Topic] Filósofos mais citados na SEP Gisele Secco
• [Logica-l] Fwd: Divulgação EBICC 2019 e School of Complex Systems and Big Data (deadline estendido) Edson Bezerra
• [Logica-l] o CADE se avizinha! Joao Marcos
  • Re: [Logica-l] o CADE se avizinha! Valeria de Paiva
• [Logica-l] Fwd: [logic-bsb] Jean-Yves Béziau (UFRJ) @ <Lógica no Avião> Rodrigo Freire
• [Logica-l] CLPMS - Prague 2019 ----> Buenos Aires 2023 jean-yves beziau
  • [Logica-l] Re: CLPMS - Prague 2019 ----> Buenos Aires 2023 Eduardo Alejandro Barrio
• [Logica-l] Fwd: PhD Position Elaine Pimentel
• [Logica-l] Latex - Kripke models Abílio
  • Re: [Logica-l] Latex - Kripke models Letícia Gindri
  • Re: [Logica-l] Latex - Kripke models Eduardo Ochs
  • Re: [Logica-l] Latex - Kripke models Eduardo Ochs
  • Re: [Logica-l] Latex - Kripke models Eduardo Ochs
• [Logica-l] [OFF] Philosophers and petitions Joao Marcos
  • Re: [Logica-l] [OFF] Philosophers and petitions Joao Marcos
  • Re: [Logica-l] [OFF] Philosophers and petitions Joao Marcos
• [Logica-l] [off-topic] Fwd: SBPC lança abaixo-assinado em defesa do CNPq Marcos Silva
  • [Logica-l] [off-topic] Fwd: SBPC lança abaixo-assinado em defesa do CNPq Mauricio Ayala-Rincon
  • Re: [Logica-l] [off-topic] Fwd: SBPC lança abaixo-assinado em defesa do CNPq C. Mortari
  • Re: [Logica-l] [off-topic] Fwd: SBPC lança abaixo-assinado em defesa do CNPq Adolfo Neto
• [Logica-l] Fwd: PhD position: logic, SMT, verification Haniel Barbosa
• [Logica-l] Concurso DE de Lógica, Filosofia da Linguagem e Teoria do Conhecimento - UFFS (Erechim/RS) newtonperon .
• Re: [Logica-l] E-mail de compilação para logica-l@dimap.ufrn.br - 6 atualizações em 5 temas Mauricio Ayala-Rincon
• [Logica-l] Riso e a Racionalidade jean-yves beziau
• [Logica-l] #OFF Entrevista filósofa Catarina Dutilh Novaes Adolfo Neto
• Re: [Logica-l] E-mail de compilação para logica-l@dimap.ufrn.br - 4 atualizações em 3 temas Mauricio Ayala-Rincon
• [Logica-l] Fwd: Qualis Eventos - Computação (provisório para análise da comunidade) Joao Marcos
  • Re: [Logica-l] Fwd: Qualis Eventos - Computação (provisório para análise da comunidade) Vivek Nigam
  • Re: [Logica-l] Fwd: Qualis Eventos - Computação (provisório para análise da comunidade) Thiago Alves
  • Re: [Logica-l] Fwd: Qualis Eventos - Computação (provisório para análise da comunidade) Joao Marcos
  • Re: [Logica-l] Fwd: Qualis Eventos - Computação (provisório para análise da comunidade) Thiago Alves
• [Logica-l] [OFF] EDITAL PARA PROFESSOR VISITANTE PPGFIL UFAL Cinthya Fernandes
• [Logica-l] Philosophy of Logic and Mathematics: Proceedings of the 41st International Ludwig Wittgenstein Symposium, jean-yves beziau
  • Re: [Logica-l] Philosophy of Logic and Mathematics: Proceedings of the 41st International Ludwig Wittgenstein Symposium, Famadoria
• [Logica-l] Slides - Sessão de Lógica Matemática do 1st Joint Meeting Brazil France in Mathematics Samuel Gomes da Silva
• [Logica-l] [OFF] Nota de Pesar: falecimento de Fabinho, filho de Carlos Gonzalez Joao Marcos
  • Re: [Logica-l] [OFF] Nota de Pesar: falecimento de Fabinho, filho de Carlos Gonzalez itala loffredo
  • [Spam] Re: [Logica-l] [OFF] Nota de Pesar: falecimento de Fabinho, filho de Carlos Gonzalez C. Mortari
  • Re: [Logica-l] [OFF] Nota de Pesar: falecimento de Fabinho, filho de Carlos Gonzalez Daniel Durante
  • Re: [Logica-l] [OFF] Nota de Pesar: falecimento de Fabinho, filho de Carlos Gonzalez Jorge Alberto Molina
  • Re: [Logica-l] [OFF] Nota de Pesar: falecimento de Fabinho, filho de Carlos Gonzalez josé carlos cifuentes
  • Re: [Logica-l] [OFF] Nota de Pesar: falecimento de Fabinho, filho de Carlos Gonzalez Famadoria
  • Re: [Logica-l] [OFF] Nota de Pesar: falecimento de Fabinho, filho de Carlos Gonzalez Adolfo Neto
• [Logica-l] Chamada de Trabalhos: Colóquio Interdisciplinar sobre Teoria da Probabilidade Pedro Bravo
• [Logica-l] [15-16/08] IV Ciclo de Palestras Consciência e Cognição (UFPE) - com prof. Otávio Bueno (University of Miami) Hugo Mota
• [Logica-l] Second-order and Higher-order Logic Joao Marcos
• [Logica-l] IV Semana de Filosofia da Linguagem DFL-UFS (Aracaju, 12-16/8) Marcos Silva
• [Logica-l] Lógica elementar 'Desidério Murcho' via LOGICA-L
  • Re: [Logica-l] Lógica elementar itala loffredo
  • [Logica-l] Re: Lógica elementar Cassiano Terra Rodrigues
  • Re: [Logica-l] Re: Lógica elementar Evandro L. Gomes
• [Logica-l] World Logic Day UN/UNESCO - Tribute to Kurt Gödel 2020, BRNO jean-yves beziau
• [Logica-l] Report on "Kurt Gödel's Legacy: Does Future lie in the Past?" / Vienna, July 25-27, 2019 jean-yves beziau
• [Logica-l] International Conference on Homotopy Type Theory 2019 Bruno Bentzen
• [Logica-l] Saiu hoje no Globo!! Elaine Pimentel
  • Re: [Logica-l] Saiu hoje no Globo!! Gisele Secco
  • Re: [Logica-l] Saiu hoje no Globo!! Valeria de Paiva
  • Re: [Logica-l] Saiu hoje no Globo!! Andrea Loparic
  • Re: [Logica-l] Saiu hoje no Globo!! itala loffredo
• [Logica-l] consequência lógica, no Estadão Joao Marcos
• [Logica-l] Palestra de Christoph Benzmüller no CLE/UNICAMP sexta-feira 26/07 Marcelo Esteban Coniglio
• [Logica-l] Otavio Bueno no Recife (15-16/8) Marcos Silva
  • [Logica-l] Re: Otavio Bueno no Recife (15-16/8) Marcos Silva
• [Logica-l] CADE-27 -- Chamada para voluntários Elaine Pimentel
• [Logica-l] CADE-27 -- Anúncio de Tutoriais Elaine Pimentel
• [Logica-l] Edital de seleção professor substituto - UFFS newtonperon .
• [Logica-l] Fwd: Formal Methods in Mathematics / Lean Together 2020 Joao Marcos
• [Logica-l] Revisão da Lógica (19/7, Sao Luís) Marcos Silva
• Re: [Logica-l] E-mail de compilação para logica-l@dimap.ufrn.br - 8 atualizações em 4 temas Mauricio Ayala-Rincon
  • [Logica-l] Re: Demanda da CAPES à SBC: Conferências da área de Lógica Joao Marcos
  • Re: [Logica-l] Re: Demanda da CAPES à SBC: Conferências da área de Lógica Elaine Pimentel
  • Re: [Logica-l] Re: Demanda da CAPES à SBC: Conferências da área de Lógica Joao Marcos
  • Re: [Logica-l] Re: Demanda da CAPES à SBC: Conferências da área de Lógica Joao Marcos
  • Re: [Logica-l] Re: Demanda da CAPES à SBC: Conferências da área de Lógica Mario Roberto Folhadela Benevides
  • Re: [Logica-l] Demanda da CAPES à SBC: Conferências da área de Lógica Alexandre Rademaker
  • Re: [Logica-l] E-mail de compilação para logica-l@dimap.ufrn.br - 8 atualizações em 4 temas Mauricio Ayala-Rincon
• [Logica-l] Fwd: [logic-bsb] Daniel Nagase (USP) @ <Lógica no Avião> Rodrigo Freire
• [Logica-l] Demanda da CAPES à SBC: Conferências da área de Lógica Joao Marcos
  • Re: [Logica-l] Demanda da CAPES à SBC: Conferências da área de Lógica Haniel Barbosa
  • Re: [Logica-l] Demanda da CAPES à SBC: Conferências da área de Lógica Joao Marcos
• [Logica-l] [OFF TOPIC] A privatização da universidade pública já começou Walter Carnielli
  • Re: [Logica-l] [OFF TOPIC] A privatização da universidade pública já começou Adolfo Neto
  • Re: [Logica-l] [OFF TOPIC] A privatização da universidade pública já começou Famadoria
  • Re: [Logica-l] [OFF TOPIC] A privatização da universidade pública já começou Francisco Miraglia Neto
  • Re: [Logica-l] [OFF TOPIC] A privatização da universidade pública já começou Itala M. Loffredo D'Ottaviano
  • Re: [Logica-l] [OFF TOPIC] A privatização da universidade pública já começou Francisco Miraglia Neto
  • Re: [Logica-l] [OFF TOPIC] A privatização da universidade pública já começou Adolfo Neto
  • Re: [Logica-l] [OFF TOPIC] A privatização da universidade pública já começou Marcelo Finger
• [Logica-l] Episódio do podcast SciCast sobre Lógica Adolfo Neto
• [Logica-l] Fwd: [LOGIC] PhD student position in formal logic for AI, Bergen (Norway), Deadline: 9 Aug 2019 Camilo Thorne
• [Logica-l] 50 libras Joao Marcos
• [Logica-l] Fwd: [Proof Complexity] PhD and postdoc positions Camilo Thorne
• [Logica-l] Fwd: [logic-bsb] Vaga para professor substituto (Lógica/FIL-UnB) Rodrigo Freire
• [Logica-l] LSFA 2019 - Final programme Joao Marcos
• [Logica-l] Fwd: [logic-bsb] Wagner Sanz (UFG) @ <Lógica no Avião> Rodrigo Freire
• [Logica-l] Fwd: [logic-bsb] [Livro - Seminário Lógica no Avião, 2013-2018] [lna.unb.br] Rodrigo Freire
• [Logica-l] Tirung em Português Marcelo Finger
• [Logica-l] Fwd: Lógica Elementar: Raciocínio, Linguagem e Realidade Joao Marcos
• [Logica-l] TAUT Joao Marcos
  • Re: [Logica-l] TAUT Adolfo Neto
• [Logica-l] thou shalt not commit logical fallacies Joao Marcos
  • Re: [Logica-l] thou shalt not commit logical fallacies Adolfo Neto
• [Logica-l] Conference Announcement - VIII Workshop on Philosophical Logic Mariela Rubin
• [Logica-l] Edital de Seleção - Pós-Graduação em Informática (UnB) Cláudia Nalon
• [Logica-l] Programacao e resumos completos já disponíveis - Sessao de Lógica Matemática no 1st Brazil/France Joint Meeting in Mathematics Samuel Gomes da Silva
• [Logica-l] Palestra de Christoph Benzmüller no CLE/UNICAMP 26/07 Marcelo Esteban Coniglio
• [Logica-l] CLE4Science Winter School: Lógica e Filosofia da Religião Gesiel Borges da Silva
• [Logica-l] Fwd: [Proof Complexity] Final Call: 2nd Summer School and Workshop of the Proof Society, Swansea 8-13 September 2019 Camilo Thorne
• [Logica-l] Proceedings do 3º FILOMENA Workshop Sanderson Molick
• [Logica-l] A lógica de Monty Python Joao Marcos
• [Logica-l] Impact Factor 2018 Logic Journals / Just Released jean-yves beziau
• [Logica-l] Proofs are not programs Joao Marcos
• [Logica-l] [OFF] Living Proof: Stories of Resilience Along the Mathematical Journey Joao Marcos
• [Logica-l] Fwd: [Proof Complexity] PhD position within joint Doctoral College Logical Methods in Computer Science (LogiCS) at TU Wien, Vienna, focused on Formal Methods for large-scale, spatially-distributed, stochastic systems Camilo Thorne
• [Logica-l] [DEADLINE EXTENSION] CFP - 4th Filomena Workshop (Bergen, Norway: October 15-16) Sanderson Molick
• [Logica-l] 7th UNILOG, Greece, Spring 2021 jean-yves beziau
• [Logica-l] [OFF TOPIC] Editorial na revista 'Theoria' em defesa da filosofia e sociologia no Brasil Walter Carnielli
  • Re: [Logica-l] [OFF TOPIC] Editorial na revista 'Theoria' em defesa da filosofia e sociologia no Brasil Joao Marcos
• [Logica-l] IX Seminário Integrado Linguagem e Cognição - "Normatividade" (UFAL, 27/6) Marcos Silva
• [Logica-l] A mathematical proof isn't just an intellectual exercise Joao Marcos
• [Logica-l] Sheila Veloso - Ricardo Silvestre / Seminário LoCa /24-06-2019/ 14-16h IFCS-UFRJ jean-yves beziau
• [Logica-l] Fwd: [Proof Complexity] visitor position Camilo Thorne
• [Logica-l] [REMINDER] CFP - 4th Filomena Workshop (Bergen, Norway: October 15-16) Sanderson Molick
• [Logica-l] Fwd: Professor Substituto de Filosofia Geral da UFAL (Maceió): Edital 43/2019 Marcos Silva
• [Logica-l] Fwd: Ettore Casari (1933-2019) Joao Marcos
• [Logica-l] Ochs & Stern / Seminário LoCa /18-12-2019 14-16h IFCS-UFRJ jean-yves beziau
• [Logica-l] Paraconsistent Newsletter - Booming Spring 2019 Edition jean-yves beziau
• [Logica-l] Fwd: Theoretical Computer Science : Volume 781 Logical and Semantic Frameworks with Applications Joao Marcos
  • Re: [Logica-l] Fwd: Theoretical Computer Science : Volume 781 Logical and Semantic Frameworks with Applications Valeria de Paiva
• [Logica-l] Francisco Miró Quesada Cantuarias (1918-2019) jean-yves beziau
• [Logica-l] Concurso para docente IC/UFF Bruno Lopes
• [Logica-l] Fwd: DaLí 2019 (message to the PC) - deadline extended to June, 28 Mario Roberto Folhadela Benevides
• [Logica-l] da dificuldade de definir o significado de "construtivo" Joao Marcos
  • Re: [Logica-l] da dificuldade de definir o significado de "construtivo" josé carlos cifuentes
  • Re: [Logica-l] da dificuldade de definir o significado de "construtivo" Andrea Loparic
  • Re: [Logica-l] da dificuldade de definir o significado de "construtivo" Francisco Miraglia Neto
  • Re: [Logica-l] da dificuldade de definir o significado de "construtivo" itala loffredo
• [Logica-l] Learnability can be undecidable Joao Marcos
• [Logica-l] Fwd: 2019 Simon Award: Dr. Juan M. Durán Joao Marcos
• [Logica-l] Haskell Brooks Curry (1900-1982) em linha jean-yves beziau
• [Logica-l] verificação formal da indemonstrabilidade de CH Joao Marcos
• [Logica-l] Simone Weil / Conjunto Vazio jean-yves beziau
  • Re: [Logica-l] Simone Weil / Conjunto Vazio Famadoria
• [Logica-l] new @ SEP on Multi-Modal Logic Joao Marcos
• [Logica-l] Workshop Normativity & Social Cognition - 13.06 (UFPE) Hugo Mota
• [Logica-l] Enc: Announcement: Tuna Altinel Samuel Gomes da Silva
• [Logica-l] Car@s: Walter Carnielli
• [Logica-l] "calling something logic doesn't make it so" Joao Marcos
  • [Logica-l] Re: "calling something logic doesn't make it so" jyb
• [Logica-l] Fwd: Palestra de Thiago Nascimento Joao Marcos
• [Logica-l] Convite: orientação de Doutorado-Unicamp (Profs. Carnielli/ Stern) Walter Carnielli
• [Logica-l] Bolsa mestrado filosofia IFCH Unicamp (deadline inscrição 15/07) Giorgio Venturi
• [Logica-l] Review de "The Significance of the New Logic” Walter Carnielli
  • Re: [Logica-l] Review de "The Significance of the New Logic” Joao Marcos
• [Logica-l] - Concurso de professor visitante/visitante estrangeiro - departamento de filosofia UFMG - Abílio
• [Logica-l] Divulgação dos vídeos do III Ciclo de Palestras Consciência, Linguagem e Cognição (UFPE/UFAL/SBFA) Hugo Mota
• [Logica-l] Who Shall We Invite? Improving Department Research Seminar Invitation Practices Gisele Secco
• [Logica-l] Coherence theory of truth for mathematical truths? Francisco Pipa
• [Logica-l] Fwd: [logic-bsb] Diego Marques (MAT-UnB) @ <Lógica no Avião> Rodrigo Freire
• [Logica-l] Fwd: [Proof Complexity] post-doc position Camilo Thorne
• [Logica-l] Seminars on Many-Valued Logic (Natal, RN) Joao Marcos
• [Logica-l] [Correção] Concurso para Professor Adjunto do DC/UFC/Fortaleza Francicleber M. Ferreira
• [Logica-l] Conference Announcement - Buenos Aires VIII Workshop on Philosophical Logic Paula Teijeiro
• [Logica-l] [off topic] a filosofia em defesa da educação Marcos Silva
  • Re: [Logica-l] [off topic] a filosofia em defesa da educação Ricardo Pereira
• [Logica-l] Kurt Gödel’s Legacy: Does Future lie in the Past? 100 ANOS DO ECLIPSE DE SOBRAL jean-yves beziau
• [Logica-l] Divulgação do EBL no site do grupo Consciência e Cognição (UFPE) Hugo Mota
• [Logica-l] Nota - Assembleia Geral da Sociedade Brasileira de Lógica Gisele Secco
  • [Logica-l] Re: Nota - Assembleia Geral da Sociedade Brasileira de Lógica Cassiano Terra Rodrigues
  • Re: [Logica-l] Re: Nota - Assembleia Geral da Sociedade Brasileira de Lógica itala loffredo
  • Re: [Logica-l] Re: Nota - Assembleia Geral da Sociedade Brasileira de Lógica Gisele Secco

• Mensagens anteriores