logica-l  

Índice temático

• • Re: [Logica-l] Fwd: [CAROL / UFRN] Fwd: [CHAMADA] - Edição Especial revista Axioms Valeria de Paiva
  • Re: [Logica-l] Fwd: [CAROL / UFRN] Fwd: [CHAMADA] - Edição Especial revista Axioms Joao Marcos
  • Re: [Logica-l] Fwd: [CAROL / UFRN] Fwd: [CHAMADA] - Edição Especial revista Axioms Joao Marcos
• [Logica-l] Theoretical Puppets Eduardo Ochs
  • Re: [Logica-l] Theoretical Puppets Valeria de Paiva
  • Re: [Logica-l] Theoretical Puppets Walter Carnielli
  • Re: [Logica-l] Theoretical Puppets Eduardo Ochs
• [Logica-l] 17 anos de LOGICA-L O Administrador da LOGICA-L
  • Re: [Logica-l] 17 anos de LOGICA-L Valeria de Paiva
  • Re: [Logica-l] 17 anos de LOGICA-L Itala Maria Loffredo D'Ottaviano
  • Re: [Logica-l] 17 anos de LOGICA-L Walter Carnielli
  • Re: [Logica-l] 17 anos de LOGICA-L Francisco Miraglia Neto
  • Re: [Logica-l] 17 anos de LOGICA-L Elaine Pimentel
• [Logica-l] [Off Topic] Auxilio para desenvolvimento de projeto em IA Walter Carnielli
• [Logica-l] RECFIL e SBFA (Recife, 27-31/3) Marcos Silva
• [Logica-l] Fwd: Para difundir: XVII Congreso Dr. Antonio Monteiro Joao Marcos
• [Logica-l] e por falar em números grandes... Joao Marcos
  • Re: [Logica-l] e por falar em números grandes... Marcelo Finger
• [Logica-l] Numbers too big to imagine Joao Marcos
  • Re: [Logica-l] Numbers too big to imagine Valeria de Paiva
• [Logica-l] Divulgação: Peirce, Escritos sobre Acaso, Probabilidade e Indução Cassiano Terra Rodrigues
  • Re: [Logica-l] Divulgação: Peirce, Escritos sobre Acaso, Probabilidade e Indução Itala Maria Loffredo D'Ottaviano
• [Logica-l] lógica auditiva Joao Marcos
• [Logica-l] Fwd: Critérios do CA-MA para avaliação das solicitações no CNPq Hugo Luiz Mariano
  • Re: [Logica-l] Fwd: Critérios do CA-MA para avaliação das solicitações no CNPq Walter Carnielli
  • Re: [Logica-l] Fwd: Critérios do CA-MA para avaliação das solicitações no CNPq Hugo Luiz Mariano
  • Re: [Logica-l] Fwd: Critérios do CA-MA para avaliação das solicitações no CNPq 'Samuel Gomes da Silva' via LOGICA-L
  • Re: [Logica-l] Fwd: Critérios do CA-MA para avaliação das solicitações no CNPq Hugo Luiz Mariano
  • Re: [Logica-l] Fwd: Critérios do CA-MA para avaliação das solicitações no CNPq 'Samuel Gomes da Silva' via LOGICA-L
  • Re: [Logica-l] Fwd: Critérios do CA-MA para avaliação das solicitações no CNPq Itala Maria Loffredo D'Ottaviano
  • Re: [Logica-l] Fwd: Critérios do CA-MA para avaliação das solicitações no CNPq Joao Marcos
  • Re: [Logica-l] Fwd: Critérios do CA-MA para avaliação das solicitações no CNPq Jorge Petrucio Viana
  • Re: [Logica-l] Fwd: Critérios do CA-MA para avaliação das solicitações no CNPq Joao Marcos
• [Logica-l] Final CFP Post-Proceedings - Linearity & TLLA 2022 (Open Call) D. Ventura
• [Logica-l] Logical Thought in India - LUW, March 22, 2023 4pm CET jean-yves beziau
• [Logica-l] II Dia Carol Blasio Evelyn Erickson
  • Re: [Logica-l] II Dia Carol Blasio Thiago Nascimento da Silva
  • Re: [Logica-l] II Dia Carol Blasio Evelyn E.
  • Re: [Logica-l] II Dia Carol Blasio valeria.depaiva
  • Re: [Logica-l] II Dia Carol Blasio Thiago Nascimento da Silva
  • Re: [Logica-l] II Dia Carol Blasio Itala Maria Loffredo D'Ottaviano
• [Logica-l] Coletivo Lógica Viva: LIVE Logica e Ensino de Libras (21/3, 18hs) Marcos Silva
  • Re: [Logica-l] Coletivo Lógica Viva: LIVE Logica e Ensino de Libras (21/3, 18hs) Elaine Pimentel
• [Logica-l] Fwd: IP (London) Call for Applications | Institute of Philosophy Collaborative Visiting Fellowships 2023/24 Elaine Pimentel
• [Logica-l] Desafios do ChatGPT Marcos Silva
  • [Logica-l] Re: Desafios do ChatGPT Marcos Silva
  • Re: [Logica-l] Desafios do ChatGPT Joao Marcos
• [Logica-l] um pouquinho de lógica todos os dias Joao Marcos
• [Logica-l] [off]- Baixo nível conhecimento matemático da sociedade. yuri lumer
  • Re: [Logica-l] [off]- Baixo nível conhecimento matemático da sociedade. Davi da Silva San Gil
  • Re: [Logica-l] [off]- Baixo nível conhecimento matemático da sociedade. Joao Marcos
• [Logica-l] Indian in Spirit? Karl Krause's Panentheism and the Vedic Tradiction by Benedikt Göcke / LARAW March 16, 2023, 4pm CET (Paris, Geneva, Rome) jean-yves beziau
• [Logica-l] Postdoc positions in Prague Bruno Bentzen
• [Logica-l] Fwd: LPAR 2023 Deadline extension David Fuenmayor
• [Logica-l] É possível definir operadores involutivos não triviais em algebras de Heyting? Juan Carlos Agudelo Agudelo
  • Re: [Logica-l] É possível definir operadores involutivos não triviais em algebras de Heyting? Eduardo Ochs
  • Re: [Logica-l] É possível definir operadores involutivos não triviais em algebras de Heyting? Juan Carlos Agudelo Agudelo
  • Re: [Logica-l] É possível definir operadores involutivos não triviais em algebras de Heyting? Joao Marcos
  • Re: [Logica-l] É possível definir operadores involutivos não triviais em algebras de Heyting? Juan Carlos Agudelo Agudelo
• [Logica-l] Fwd: Conference Announcement: "What Can Philosophy Do For Set Theory?" Joao Marcos
• [Logica-l] Serie de videos "Mujeres en la lógica" 2023 Joao Marcos
  • Re: [Logica-l] Serie de videos "Mujeres en la lógica" 2023 Maria Martinez-Ordaz
• [Logica-l] PhD or Postdoc Position at LMU Munich about Verified Modal Logics Walter Carnielli
• [Logica-l] Proceedings of ThEdu 2022 Joao Marcos
• [Logica-l] Re: [Lógica Viva] Há limites para a Inteligência Artificial? Sobre a filosofia no caso ChatGPT, com Walter Carnielli Joao Marcos
  • Re: [Logica-l] Re: [Lógica Viva] Há limites para a Inteligência Artificial? Sobre a filosofia no caso ChatGPT, com Walter Carnielli Joao Marcos
• [Logica-l] Uma consulta à comunidade Walter Carnielli
  • Re: [Logica-l] Uma consulta à comunidade Elaine Pimentel
  • Re: [Logica-l] Uma consulta à comunidade Joao Marcos
  • Re: [Logica-l] Uma consulta à comunidade Walter Carnielli
  • Re: [Logica-l] Uma consulta à comunidade Joao Marcos
  • Re: [Logica-l] Uma consulta à comunidade Cassiano Terra Rodrigues
  • [Logica-l] Uma consulta à comunidade: Ponto final Walter Carnielli
  • Re: [Logica-l] Uma consulta à comunidade: Ponto final Valeria de Paiva
  • Re: [Logica-l] Uma consulta à comunidade: Ponto final Joao Marcos
  • [Logica-l] Re: Uma consulta à comunidade: Ponto final Joao Marcos
  • Re: [Logica-l] Re: Uma consulta à comunidade: Ponto final Valeria de Paiva
  • [Logica-l] Re: Uma consulta à comunidade: Ponto final Walter Carnielli
  • [Logica-l] Re: Uma consulta à comunidade: Ponto final Joao Marcos
  • [Logica-l] Re: Uma consulta à comunidade: Ponto final Mauricio Ayala-Rincón
  • [Logica-l] Re: Uma consulta à comunidade: Ponto final Joao Marcos
  • [Logica-l] Re: Uma consulta à comunidade: Ponto final Joao Marcos
  • [Logica-l] Re: Uma consulta à comunidade: Ponto final Joao Marcos
• [Logica-l] LSFA 2023 / First CFPs Mauricio Ayala Rincon
• [Logica-l] Summer school : Proof Assistants for Teaching Joao Marcos
• [Logica-l] PhD opportunities at Chapman University Walter Carnielli
• [Logica-l] novo prazo de envio das submissões para o WBL 2023 Jorge Petrucio Viana
  • [Logica-l] Fwd: novo prazo de envio das submissões para o WBL 2023 Jorge Petrucio Viana
  • [Logica-l] Fwd: novo prazo de envio das submissões para o WBL 2023 Jorge Petrucio Viana
• [Logica-l] 2a Chamada de artigos - número especial da Cognitio "Peirce e a lógica" Cassiano Terra Rodrigues
• [Logica-l] Carnaval dos Lógicos do Brasil - 2023 - Google Scholar jean-yves beziau
• [Logica-l] Second Call for Papers: Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP'23) Carlos Olarte
• [Logica-l] SPLogIC, um evento bem sucedido jean-yves beziau
• [Logica-l] Turing, um filósofo (Live no Lógica Viva, 01/03, 18hs) Marcos Silva
  • [Logica-l] Re: Turing, um filósofo (Live no Lógica Viva, 01/03, 18hs) Marcos Silva
  • [Logica-l] Turing, um filósofo (Live no Lógica Viva, 01/03, 18hs) Walter Carnielli
• [Logica-l] 1st Call For Papers: Logical and Semantic Frameworks with Applications (LSFA 2023) D. Ventura
• [Logica-l] CTD – Concurso de Teses e Dissertações Bruno Lopes
• [Logica-l] 3rd Volume of Logic PhDs / Investigations into the Predicate Calculus by Oiva Ketonen jean-yves beziau
• [Logica-l] Fwd: [PlanetKR] PhD Position in TCS @ University of Amsterdam Camilo Thorne
• [Logica-l] The Lost World of Genesis One / John Walton / LARAW Febr 23 at 4pm CET jean-yves beziau
• [Logica-l] CADE-29 - Second Call for Papers Haniel Barbosa
• [Logica-l] 1st Call for Contributions - Women in Logic Workshop (WiL 2023) Daniele Nantes
• [Logica-l] Abstract Categorical Logic / Isabelle Bloch / LUW February 22 jean-yves beziau
• [Logica-l] LPAR-24 (Logic for Programming, Artificial Intelligence and Reasoning) Deadlines: 6/03a, 13/04p Mauricio Ayala Rincon
• [Logica-l] 2nd Call for Papers, Conference on Intelligent Computer Mathematics (CICM 2023) deadline: 27/03a, 03/04p Mauricio Ayala Rincon
• [Logica-l] 29th WoLLIC 2023 - Final Call for Papers (>>DEADLINE EXTENDED<<) Ruy Jose Guerra Barretto de Queiroz
• [Logica-l] 1st Ecumenical meeting @UCL Elaine Pimentel
• [Logica-l] Entrevistas na SP Logic Walter Carnielli
  • Re: [Logica-l] Entrevistas na SP Logic Itala Maria Loffredo D'Ottaviano
  • Re: [Logica-l] Entrevistas na SP Logic Joao Marcos
  • Re: [Logica-l] Entrevistas na SP Logic Walter Carnielli
  • Re: [Logica-l] Entrevistas na SP Logic Joao Marcos
• [Logica-l] 29th WoLLIC 2023 - 3rd Call for Papers (DEADLINE APPROACHING) Ruy Jose Guerra Barretto de Queiroz
• [Logica-l] 13th Conference of the IAVS-AISV Visual Semiotics & Agency Cassiano Terra Rodrigues
• [Logica-l] Francisco Antonio Dória, Professor Emérito da UFRJ Adolfo Neto
• [Logica-l] LPAR-24- Manizales, Colombia Walter Carnielli
• [Logica-l] [OFF TOPIC] Walter Carnielli
• [Logica-l] Mathematicians Complete Quest to Build ‘Spherical Cubes’ | Quanta Magazine Ruy de Queiroz
• [Logica-l] Adolf Lindenbaum jean-yves beziau
• [Logica-l] LUW Feb 15 - Lindenbaum-type Logical Structures by Sayantan Roy jean-yves beziau
• [Logica-l] Fwd: [Folli] 3rd Call for Papers: LOGIC COLLOQUIUM 2023, University of Milan (Italy) Joao Marcos
• [Logica-l] CfP: Third International Workshop on Logics for New-Generation Artificial Intelligence (LNGAI 2023), Hangzhou, China Bruno Bentzen
• [Logica-l] Book club com a Eugenia Cheng? Valeria de Paiva
• [Logica-l] Fwd: [Proof Complexity] Postdoc position in Prague Camilo Thorne
• [Logica-l] FroCoS 2023 Call for Papers Haniel Barbosa
• [Logica-l] SPLogIC - Newton da Costa 90 anos- CLE 45 anos jean-yves beziau
• [Logica-l] SPLogic! Marcos Silva
  • Re: [Logica-l] SPLogic! João Ferrari
  • Re: [Logica-l] SPLogic! Itala Maria Loffredo D'Ottaviano
  • Re: [Logica-l] SPLogic! Karina Roggia
  • Re: [Logica-l] SPLogic! Walter Carnielli
  • Re: [Logica-l] SPLogic! Elaine Pimentel
  • Re: [Logica-l] SPLogic! Raoni Arroyo
• [Logica-l] Ecumenical meeting @ UCL Elaine Pimentel
• [Logica-l] Enc: RAMiCS 2023 - Call for participation 'Samuel Gomes da Silva' via LOGICA-L
• [Logica-l] infinity explained at five levels of increasing complexity Joao Marcos
• [Logica-l] CFP Post-Proceedings - Linearity & TLLA 2022 (Open Call) D. Ventura
• [Logica-l] Arthur Schopenhauer: Logic and Dialectic / Internet Encyclopedia of Philosophy jean-yves beziau
• [Logica-l] CfP: Special Issue of Australasian Journal of Logic on Women in/and Logic Joao Marcos
• [Logica-l] Perspectiva Filosófica - v. 46, n. 2 Epistemologia Contemporânea Marcos Silva
• [Logica-l] Fwd: categories: CALCO 2023: First Call for Papers Valeria de Paiva
• [Logica-l] Fwd: TbiLLC 2023: Call for Papers Camilo Thorne
• [Logica-l] Nova diretoria SBFA Marcos Silva
  • Re: [Logica-l] Nova diretoria SBFA Elaine Pimentel
  • [Logica-l] Nova diretoria SBFA Marcos Silva
  • Re: [Logica-l] Nova diretoria SBFA Itala Maria Loffredo D'Ottaviano
• [Logica-l] Museu de Matemática em Paris deverá abrir as portas no verão de 2023 Elaine Pimentel
  • Re: [Logica-l] Museu de Matemática em Paris deverá abrir as portas no verão de 2023 Marcelo Finger
• [Logica-l] F. William Lawvere (February 9, 1937 – January 23, 2023) Joao Marcos
  • Re: [Logica-l] F. William Lawvere (February 9, 1937 – January 23, 2023) Valeria de Paiva
  • Re: [Logica-l] F. William Lawvere (February 9, 1937 – January 23, 2023) Walter Carnielli
  • [Logica-l] Re: F. William Lawvere (February 9, 1937 – January 23, 2023) Joao Marcos
• [Logica-l] EBL 2022 Post-Proceedings Bruno Lopes
• [Logica-l] Universal Algebraic Logic - Dedicated to the Unity of Science / LUW January 25, 2023 at 4pm CET jean-yves beziau
  • [Logica-l] Recording: Universal Algebraic Logic - Dedicated to the Unity of Science / LUW January 25, 2023 at 4pm CET jean-yves beziau
• [Logica-l] divulgação do 2o Encontro Brasileiro em Teoria das Categorias, 20-24 de março, IME-USP Hugo Luiz Mariano
• [Logica-l] [OFF] ruído branco entre Herzog e Zizek Joao Marcos
  • Re: [Logica-l] [OFF] ruído branco entre Herzog e Zizek Julio Stern
  • Re: [Logica-l] [OFF] ruído branco entre Herzog e Zizek Jorge Petrucio Viana
• [Logica-l] Newton da Costa Prize 2022 / Prêmio Newton da Costa 2022 Walter Carnielli
  • Re: [Logica-l] Newton da Costa Prize 2022 / Prêmio Newton da Costa 2022 Marcelo Esteban Coniglio
  • Re: [Logica-l] Newton da Costa Prize 2022 / Prêmio Newton da Costa 2022 Itala Maria Loffredo D'Ottaviano
  • Re: [Logica-l] Newton da Costa Prize 2022 / Prêmio Newton da Costa 2022 Julio Stern
  • Re: [Logica-l] Newton da Costa Prize 2022 / Prêmio Newton da Costa 2022 Juan Carlos Agudelo Agudelo
• [Logica-l] Is Logic Exceptional? Yes Soeur ! jean-yves beziau
• [Logica-l] Workshop Brasileiro de Lógica: Chamada para trabalhos Bruno Lopes
  • [Logica-l] Re: Workshop Brasileiro de Lógica: Chamada para trabalhos Bruno Lopes
• [Logica-l] 14 de Janeiro : Dia de Vestir Logicamente o Seu Animal de Estimação jean-yves beziau
• [Logica-l] ICLP 2023: Logic Programming, London (UK), 9-15 July 2023 (FINAL CFP) Guilherme Paulino-Passos
• [Logica-l] Já é Dia Mundial da Lógica na Austrália! Elaine Pimentel
  • Re: [Logica-l] Já é Dia Mundial da Lógica na Austrália! Jorge Petrucio Viana
• [Logica-l] World Lógica Day-Centre for Logic '23 Walter Carnielli
  • Re: [Logica-l] World Lógica Day-Centre for Logic '23 Elaine Pimentel
  • Re: [Logica-l] World Lógica Day-Centre for Logic '23 Walter Carnielli
• [Logica-l] Fwd: PhD position in Theoretical Philosophy at Stockholm University Joao Marcos
• [Logica-l] A IMPORTÂNCIA DA LÓGICA PARA A HUMANIDADE - 5ª edição do Dia Mundial da Lógica na LUA - Meio dia em Brasília jean-yves beziau
• [Logica-l] CADE-29 - Call for Papers Haniel Barbosa
• [Logica-l] Call for Papers: Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP'23) Carlos Olarte
• [Logica-l] LARA / SPECIAL SESSION IN CELEBRATION OF THE WORLD LOGIC DAY 2023 / TWO TYPES OF CRITIQUE OF RELIGION jean-yves beziau
• [Logica-l] Fwd: Non-Classical Mathematics Symposium at CLMPST: Call for Abstracts Joao Marcos
• [Logica-l] Google Researcher, Long Out of Math, Cracks Devilish Problem About Sets Ruy Jose Guerra Barretto de Queiroz
• [Logica-l] Evento: Las Lógicas y sus Motivaciones Prensa SEPLO
• [Logica-l] Martin Davis (1928-2023) Joao Marcos
  • [Logica-l] Re: Martin Davis (1928-2023) Joao Marcos
• [Logica-l] Qualis 2017-2020 Julio Stern
• [Logica-l] lógica nos começos de romances Jorge Petrucio Viana
• [Logica-l] Divulgação do 2o Encontro Brasileiro em Teoria das Categorias Hugo Luiz Mariano
• [Logica-l] wishing you all a HoTT Xmas Joao Marcos
• [Logica-l] Um plot twist: Lógica no Verão do IMPA (???) 'Samuel Gomes da Silva' via LOGICA-L
  • Re: [Logica-l] Um plot twist: Lógica no Verão do IMPA (???) Clodomir Neto
  • Re: [Logica-l] Um plot twist: Lógica no Verão do IMPA (???) Walter Carnielli
  • Re: [Logica-l] Um plot twist: Lógica no Verão do IMPA (???) Clodomir Neto
  • Re: [Logica-l] Um plot twist: Lógica no Verão do IMPA (???) Walter Carnielli
  • Re: [Logica-l] Um plot twist: Lógica no Verão do IMPA (???) Eduardo Ochs
  • Re: [Logica-l] Um plot twist: Lógica no Verão do IMPA (???) 'Samuel Gomes da Silva' via LOGICA-L
• [Logica-l] Fwd: Seleção de substitutos - Instituto de Computação (IC-UFRJ) Jorge Petrucio Viana
• [Logica-l] ‘Nasty’ Geometry Breaks Decades-Old Tiling Conjecture | Quanta Magazine Ruy de Queiroz
• [Logica-l] Fwd: RAMiCS 2023 - Call for short contributions / posters 'Samuel Gomes da Silva' via LOGICA-L
• [Logica-l] RAMiCS 2023 - Call for short contributions / posters Marcelo Esteban Coniglio

• Mensagens anteriores
• Mensagens posteriores