logica-l

Índice cronológico

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