logica-l

Índice cronológico

2024/02/08 [Logica-l] CiE 2024 -- extended deadline Elaine Pimentel
2024/02/08 [Logica-l] CfP: Logica Frameworks and Meta Languages: Theory and Practice (LFMTP24) Claudio Sacerdoti Coen
2024/02/08 [Logica-l] Posição de professor Universidade de Aveiro Alfredo Roque Freire
2024/02/08 [Logica-l] [SBFA-CFA] VIII Conferência da SBFA (Olinda, 22-26/07/2024) Marcos Silva
2024/02/07 [Logica-l] Track in Logic and Computation - XVL Summer Workshop in Mathematics UnB 7-9/Fev/2024 Mauricio Ayala Rincon
2024/02/06 [Logica-l] 2o Encontro USP-UFBA em Lógica e Fundamentos: 21-23 de fevereiro Hugo Luiz Mariano
2024/02/02 [Logica-l] some preprint Łukasz S .
2024/02/02 [Logica-l] CfA 7th World Congress of Paraconsistency Maria Martinez-Ordaz
2024/02/01 [Logica-l] Geometria e lógica / Inteligência artificial 'samuel' via LOGICA-L
2024/01/31 Re: [Logica-l] Re: calcular é fazer dobraduras Juan Carlos Agudelo Agudelo
2024/01/31 Re: [Logica-l] Re: calcular é fazer dobraduras 'samuel' via LOGICA-L
2024/01/31 Re: [Logica-l] Re: calcular é fazer dobraduras 'samuel' via LOGICA-L
2024/01/31 Re: [Logica-l] Re: calcular é fazer dobraduras Juan Carlos Agudelo Agudelo
2024/01/31 Re: [Logica-l] Re: "Funções são conjuntos" 'samuel' via LOGICA-L
2024/01/31 Re: [Logica-l] Logic puzzle: CLIMATE JOURNEY Joao Marcos
2024/01/31 Re: [Logica-l] Logic puzzle: CLIMATE JOURNEY Walter Carnielli
2024/01/31 Re: [Logica-l] Re: "Funções são conjuntos" Joao Marcos
2024/01/31 [Logica-l] Re: calcular é fazer dobraduras 'samuel' via LOGICA-L
2024/01/31 Re: [Logica-l] Re: "Funções são conjuntos" 'samuel' via LOGICA-L
2024/01/31 Re: [Logica-l] Logic puzzle: CLIMATE JOURNEY Walter Carnielli
2024/01/31 [Logica-l] Re: calcular é fazer dobraduras Joao Marcos
2024/01/31 Re: [Logica-l] Re: "Funções são conjuntos" Joao Marcos
2024/01/31 [Logica-l] Re: calcular é fazer dobraduras 'samuel' via LOGICA-L
2024/01/31 [Logica-l] Re: calcular é fazer dobraduras Joao Marcos
2024/01/31 Re: [Logica-l] Re: "Funções são conjuntos" 'samuel' via LOGICA-L
2024/01/31 [Logica-l] Re: calcular é fazer dobraduras 'samuel' via LOGICA-L
2024/01/30 [Logica-l] Logic puzzle: CLIMATE JOURNEY Joao Marcos
2024/01/30 [Logica-l] calcular é fazer dobraduras Joao Marcos
2024/01/30 [Logica-l] Fwd: SUBJECT: Last Call (deadline Jan 31): School of Formalized Mathematics (May 13 - 17, 2024) Valeria de Paiva
2024/01/30 Re: [Logica-l] Re: "Funções são conjuntos" Juan Carlos Agudelo Agudelo
2024/01/30 Re: [Logica-l] Re: "Funções são conjuntos" Joao Marcos
2024/01/30 Re: [Logica-l] Re: "Funções são conjuntos" Joao Marcos
2024/01/30 Re: [Logica-l] Re: "Funções são conjuntos" Joao Marcos
2024/01/30 Re: [Logica-l] Re: "Funções são conjuntos" 'samuel' via LOGICA-L
2024/01/29 Re: [Logica-l] Re: "Funções são conjuntos" Eduardo Ochs
2024/01/29 Re: [Logica-l] "Funções são conjuntos" Juan F. Meleiro
2024/01/29 Re: [Logica-l] Re: "Funções são conjuntos" Juan Carlos Agudelo Agudelo
2024/01/29 [Logica-l] Intuicionismo e racismo? (Clickbait) Hermógenes Oliveira
2024/01/28 [Logica-l] Re: "Funções são conjuntos" Joao Marcos
2024/01/25 [Logica-l] SALOME 1 - UNILOG 2025 - SALOME 2 jean-yves beziau
2024/01/24 [Logica-l] Sobre uns assuntos divinos Frode Alfson Bjørdal
2024/01/24 [Logica-l] "Funções são conjuntos" Joao Marcos
2024/01/24 [Logica-l] LARA CELEBRATION OF THE WORLD LOGIC DAY - January 25, 2024, 4pm CET (Paris - Geneva - Rome) jean-yves beziau
2024/01/24 [Logica-l] ThEdu'24 - Call for Extended Abstracts & Demonstrations Joao Marcos
2024/01/23 [Logica-l] Re: What came first, math or computing? Joao Marcos
2024/01/22 [Logica-l] Fwd: [SBL-Sócios] anuidades da SBL e descontos Hugo Luiz Mariano
2024/01/19 Re: [Logica-l] Concurso de Lógica / Fil. da Linguagem na UFU Joao Marcos
2024/01/19 [Logica-l] Concurso de Lógica / Fil. da Linguagem na UFU Newton Peron
2024/01/19 [Logica-l] A,lógica /n|d/+as aulas de matemática Walter Carnielli
2024/01/19 [Logica-l] Instruçoes para Participaçao - Semana Temática de Lógica UFBA + II Encontro USP UFBA de Lógica e Fundamentos da Matemática 'samuel' via LOGICA-L
2024/01/18 Re: [Logica-l] a lógica /n|d/+as aulas de matemática Itala Maria Loffredo D'Ottaviano
2024/01/18 Re: [Logica-l] Re: Vem aí os Seminários de Orientação extra-Lógica (SOL) João Mendes
2024/01/18 [Logica-l] Indicación de lectura: "Synthetic Philosophy of Contemporary Mathematics" Walter Carnielli
2024/01/16 Re: [Logica-l] Re: Vem aí os Seminários de Orientação extra-Lógica (SOL) Evandro L. Gomes
2024/01/16 Re: [Logica-l] a lógica /n|d/+as aulas de matemática Valeria de Paiva
2024/01/16 Re: [Logica-l] a lógica /n|d/+as aulas de matemática Walter Carnielli
2024/01/16 Re: [Logica-l] a lógica /n|d/+as aulas de matemática Valeria de Paiva
2024/01/16 [Logica-l] Re: Vem aí os Seminários de Orientação extra-Lógica (SOL) 'samuel' via LOGICA-L
2024/01/16 [Logica-l] Fwd: Postdoctoral Research Fellowship (4 years): Arché, University of St Andrews Joao Marcos
2024/01/16 Re: [Logica-l] a lógica /n|d/+as aulas de matemática 'samuel' via LOGICA-L
2024/01/15 [Logica-l] Vem aí os Seminários de Orientação extra-Lógica (SOL) João Mendes
2024/01/15 [Logica-l] Re: para ensinar recursão é preciso ensinar recursão leonormaiasantos
2024/01/14 [Logica-l] SALOME 1 - celebration of the 6th edition of the World Logic Day - Sunday 14 at 4pm CET jean-yves beziau
2024/01/13 [Logica-l] Acontecendo: SALOME 1 - the 1st South American LOgic MEeting jean-yves beziau
2024/01/12 [Logica-l] UFMG World Logic Day Irina Starikova
2024/01/11 [Logica-l] para ensinar recursão é preciso ensinar recursão Joao Marcos
2024/01/11 [Logica-l] Concurso na UFBA - Possibilidades em Lógica Matemática 'samuel' via LOGICA-L
2024/01/10 Re: [Logica-l] Café com Lógica (12/01/2024): evento em comemoração ao Dia Mundial da Lógica (WLD) Aldo Figallo-Orellano
2024/01/10 Re: [Logica-l] Café com Lógica (12/01/2024): evento em comemoração ao Dia Mundial da Lógica (WLD) Rafael Ongaratto
2024/01/10 Re: [Logica-l] Café com Lógica (12/01/2024): evento em comemoração ao Dia Mundial da Lógica (WLD) Aldo Figallo-Orellano
2024/01/10 [Logica-l] Café com Lógica (12/01/2024): evento em comemoração ao Dia Mundial da Lógica (WLD) Rafael Ongaratto
2024/01/10 [Logica-l] 30th WoLLIC 2024 - Third Call for Papers Ruy Jose Guerra Barretto de Queiroz
2024/01/10 [Logica-l] 5 X seguidas no nivel mais baixo do CNPq / prêmio Nobel no Brasil jean-yves beziau
2024/01/10 [Logica-l] [OUF] Porque negar a possibilidade de Israel existir ? jean-yves beziau
2024/01/10 [Logica-l] [cfp] Perspectivas Contemporâneas em Filosofia da Lógica EDERSON SAFRA MELO
2024/01/09 [Logica-l] Eventos em Barcelona e Coimbra (Inìcio de Julho 2024) - TACL + Summer Conference on Topology 'samuel' via LOGICA-L
2024/01/09 [Logica-l] talk: Formalising 21st-Century Mathematics Joao Marcos
2024/01/08 Re: [Logica-l] [SBL] Mesa redonda: o ensino de lógica no ensino médio Thiago Nascimento da Silva
2024/01/08 Re: [Logica-l] Caso de vira-latismo e misoginia no CNPq será o primeiro???? Marcelo Finger
2024/01/08 [Logica-l] [SBL] Mesa redonda: o ensino de lógica no ensino médio Evelyn Erickson
2024/01/08 Re: [Logica-l] Caso de vira-latismo e misoginia no CNPq será o primeiro???? Hermógenes Oliveira
2024/01/07 Re: [Logica-l] Caso de vira-latismo e misoginia no CNPq- será o primeiro???? Joao Marcos
2024/01/07 Re: [Logica-l] Caso de vira-latismo e misoginia no CNPq- será o primeiro???? Joao Marcos
2024/01/07 Re: [Logica-l] Caso de vira-latismo e misoginia no CNPq- será o primeiro???? Elaine Pimentel
2024/01/07 Re: [Logica-l] Caso de vira-latismo e misoginia no CNPq- será o primeiro???? Hermógenes Oliveira
2024/01/07 Re: [Logica-l] Caso de vira-latismo e misoginia no CNPq- será o primeiro???? Elaine Pimentel
2024/01/07 Re: [Logica-l] Caso de vira-latismo e misoginia no CNPq- será o primeiro???? Julio Stern
2024/01/07 Re: [Logica-l] Caso de vira-latismo e misoginia no CNPq- será o primeiro???? Elaine Pimentel
2024/01/07 Re: [Logica-l] Caso de vira-latismo e misoginia no CNPq- será o primeiro???? Julio Stern
2024/01/07 [Logica-l] Nicholas Rescher (1928-2024) Joao Marcos
2024/01/06 Re: [Logica-l] Caso de vira-latismo e misoginia no CNPq- será o primeiro???? Itala Maria Loffredo D'Ottaviano
2024/01/06 Re: [Logica-l] Caso de vira-latismo e misoginia no CNPq- será o primeiro???? Walter Carnielli
2024/01/06 Re: [Logica-l] Caso de vira-latismo e misoginia no CNPq- será o primeiro???? Joao Marcos
2024/01/05 Re: [Logica-l] Textos Newton da Costa Abilio Rodrigues Filho
2024/01/05 Re: [Logica-l] Textos Newton da Costa Joao Marcos
2024/01/05 Re: [Logica-l] Textos Newton da Costa Evandro L. Gomes
2024/01/05 [Logica-l] Textos Newton da Costa Abilio Rodrigues Filho
2024/01/03 [Logica-l] Курт Гьодель: Помер у Всесвітній день логіки! jean-yves beziau
2024/01/03 Re: Re: [Logica-l] Consultinha rápida: "Odds" Walter Carnielli
2024/01/03 Re: Re: [Logica-l] Consultinha rápida: "Odds" Julio Stern
2024/01/03 Re: Re: [Logica-l] Consultinha rápida: "Odds" Julio Stern
2024/01/03 Re: Re: [Logica-l] Consultinha rápida: "Odds" Vinícius Litvinoff Justus
2024/01/03 Re: Re: [Logica-l] Consultinha rápida: "Odds" Matheus de Lima Rui
2024/01/03 Re: Re: [Logica-l] Consultinha rápida: "Odds" Marcelo Finger
2024/01/03 Re: Re: [Logica-l] Consultinha rápida: "Odds" Walter Carnielli
2024/01/03 Re: Re: [Logica-l] Consultinha rápida: "Odds" Marcelo Finger
2024/01/03 Re: Re: [Logica-l] Consultinha rápida: "Odds" Walter Carnielli
2024/01/02 Re: Re: [Logica-l] Consultinha rápida: "Odds" Julio Stern
2024/01/02 Re: Re: [Logica-l] Consultinha rápida: "Odds" Joao Marcos
2024/01/02 Re: Re: [Logica-l] Consultinha rápida: "Odds" Walter Carnielli
2024/01/02 Re: Re: [Logica-l] Consultinha rápida: "Odds" Juan F. Meleiro
2024/01/02 Re: [Logica-l] Consultinha rápida: "Odds" Walter Carnielli
2024/01/02 Re: [Logica-l] Consultinha rápida: "Odds" Marcelo Finger
2023/12/30 Re: [Logica-l] Fwd: [SBFA] Resultado do Prêmio 2023 Mahan Vaz
2023/12/29 [Logica-l] Qeios(?) Julio Stern
2023/12/29 Re: [Logica-l] Caso de vira-latismo e misoginia no CNPq- será o primeiro???? Joao Marcos
2023/12/29 Re: [Logica-l] Caso de vira-latismo e misoginia no CNPq- será o primeiro???? Julio Stern
2023/12/29 Re: [Logica-l] Caso de vira-latismo e misoginia no CNPq- será o primeiro???? Eduardo Ochs
2023/12/29 [Logica-l] Re: Caso de vira-latismo e misoginia no CNPq- será o primeiro???? Cassiano Terra Rodrigues
2023/12/29 Re: [Logica-l] Caso de vira-latismo e misoginia no CNPq- será o primeiro???? Elaine Pimentel
2023/12/29 Re: [Logica-l] Caso de vira-latismo e misoginia no CNPq- será o primeiro???? Julio Stern
2023/12/29 Re: [Logica-l] Caso de vira-latismo e misoginia no CNPq- será o primeiro???? Wagner de Campos Sanz
2023/12/29 Re: [Logica-l] Caso de vira-latismo e misoginia no CNPq- será o primeiro???? Elaine Pimentel
2023/12/29 Re: [Logica-l] Caso de vira-latismo e misoginia no CNPq- será o primeiro???? Wagner de Campos Sanz
2023/12/29 Re: [Logica-l] Caso de vira-latismo e misoginia no CNPq- será o primeiro???? Elaine Pimentel
2023/12/28 [Logica-l] Caso de vira-latismo e misoginia no CNPq- será o primeiro???? Walter Carnielli
2023/12/28 Fwd: [Logica-l] a lógica /n|d/+as aulas de matemática Walter Carnielli
2023/12/28 Re: [Logica-l] a lógica /n|d/+as aulas de matemática Thiago Nascimento da Silva
2023/12/28 Re: [Logica-l] a lógica /n|d/+as aulas de matemática Joao Marcos
2023/12/28 Re: [Logica-l] a lógica /n|d/+as aulas de matemática Joao Marcos
2023/12/27 Re: [Logica-l] a lógica /n|d/+as aulas de matemática Walter Carnielli
2023/12/27 Re: [Logica-l] a lógica /n|d/+as aulas de matemática Joao Marcos
2023/12/27 Re: [Logica-l] a lógica /n|d/+as aulas de matemática Joao Marcos
2023/12/27 Re: [Logica-l] a lógica /n|d/+as aulas de matemática Adolfo Neto
2023/12/26 [Logica-l] a lógica /n|d/+as aulas de matemática Joao Marcos
2023/12/23 [Logica-l] Mathematical Proof Between Generations Joao Marcos
2023/12/23 [Logica-l] Fwd: QPL 2024 - Second Call for Papers Joao Marcos
2023/12/22 Re: [Logica-l] Fwd: [SBFA] Resultado do Prêmio 2023 Itala Maria Loffredo D'Ottaviano
2023/12/22 Re: [Logica-l] Consultinha rápida: "Odds" Walter Carnielli
2023/12/22 Re: [Logica-l] Consultinha rápida: "Odds" Eduardo Ochs
2023/12/22 [Logica-l] Consultinha rápida: "Odds" Walter Carnielli
2023/12/22 Re: [Logica-l] Fwd: [SBFA] Resultado do Prêmio 2023 Marlo Souza
2023/12/22 Re: [Logica-l] Fwd: [SBFA] Resultado do Prêmio 2023 'José Eduardo Moura' via LOGICA-L
2023/12/22 [Logica-l] Fwd: Logics, Volume 1, Issue 4 (December 2023) Released Joao Marcos
2023/12/21 [Logica-l] Fwd: CfA: 2 Postdocs Logic (1 year each), University of Cagliari (Italy), deadline: 19 Jan 2024 Joao Marcos
2023/12/21 [Logica-l] Fwd: [SBFA] Retrospectiva do Ciclo da SBFA Mateus Alves
2023/12/21 [Logica-l] Fwd: [SBFA-CFA] Call for Abstracts - VIII Conference of the Brazilian Society for Analytical Philosophy Mateus Alves
2023/12/20 [Logica-l] Paraconsistent Newsletter Fall-Spring 2023 jean-yves beziau
2023/12/20 [Logica-l] Fwd: [members-philmathpractice] 18-month Postdoc (IUSS Pavia): Epistemology / Philosophy of Mathematics Gisele Secco
2023/12/20 Re: [Logica-l] Códigos de ética e conduta em sociedades científicas Hermógenes Oliveira
2023/12/20 [Logica-l] CiE 2024 -- 2nd call for papers Elaine Pimentel
2023/12/20 [Logica-l] Fwd: [PF]Call for Papers: Contemporary perspectives in philosophy of logic Mateus Alves
2023/12/20 Re: [Logica-l] Códigos de ética e conduta em sociedades científicas Marcos Silva
2023/12/20 [Logica-l] Fwd: CfR: Workshop 'Proofs, Rules, and Meanings', 11-12 April 2024, University of St Andrews (Scotland) Joao Marcos
2023/12/19 [Logica-l] argumentos de categoricidade em Filosofia Joao Marcos
2023/12/18 [Logica-l] Fwd: Announcement: MCMP Summer School for Widening Participation in Mathematical Philosophy Joao Marcos
2023/12/17 Re: [Logica-l] Google DeepMind used a large language model to discover new math | MIT Technology Review Walter Carnielli
2023/12/17 [Logica-l] Google DeepMind used a large language model to discover new math | MIT Technology Review Ruy de Queiroz
2023/12/16 Re: [Logica-l] Códigos de ética e conduta em sociedades científicas Valeria de Paiva
2023/12/16 Re: [Logica-l] Códigos de ética e conduta em sociedades científicas Walter Carnielli
2023/12/16 [Logica-l] Concursos para professor na área de computação para a Unilab Márcia Roberta Falcão de Farias
2023/12/16 [Logica-l] Remembering Gödel - Sami Al-Suwailem jean-yves beziau
2023/12/15 Re: [Logica-l] Códigos de ética e conduta em sociedades científicas Itala Maria Loffredo D'Ottaviano
2023/12/15 [Logica-l] TEFILLA (SHMOR NA ALEINU) jean-yves beziau
2023/12/15 [Logica-l] Incas 3 commandments - SALOME 1 jean-yves beziau
2023/12/15 [Logica-l] Auxílios para participação de estudantes no II Encontro USP UFBA de Lógica e Fundamentos/Semana Temática de Lógica da UFBA (Verão 2024) 'Samuel Gomes da Silva' via LOGICA-L
2023/12/14 Re: [Logica-l] Hoje, dia 14 de dezembro, é o dia mundial dos macacos! Walter Carnielli
2023/12/14 [Logica-l] Códigos de ética e conduta em sociedades científicas Elaine Pimentel
2023/12/14 [Logica-l] V Colóquio UnB-USP de Lógica e Filosofia da Lógica Alfredo Roque Freire
2023/12/14 [Logica-l] Hoje, dia 14 de dezembro, é o dia mundial dos macacos! jean-yves beziau
2023/12/14 [Logica-l] Mozi’s Philosophy of Universal Love and Analogical Reasoning: The Logic and Religion Webinar, Dec 14 (Thursday) Assis
2023/12/13 [Logica-l] Hoje ao meio-dia : Julio Stern no LUW - Dynamic Oppositional Symmetries for Color, Jungian and Kantian Categories jean-yves beziau
2023/12/12 [Logica-l] LUW December 13 - Julio Stern - Dynamic Oppositional Symmetries for Color, Jungian and Kantian Categories jean-yves beziau
2023/12/11 [Logica-l] Café com Lógica: um evento em comemoração ao Dia Mundial da Lógica Rafael Ongaratto
2023/12/10 [Logica-l] artigo - homenagem à professora Ítala Ricardo Grande
2023/12/10 [Logica-l] Fwd: Postdoc at U of Oslo Joao Marcos
2023/12/07 [Logica-l] ‘A-Team’ of Math Proves a Critical Link Between Addition and Sets Joao Marcos
2023/12/07 [Logica-l] Joao Marcos
2023/12/05 Re: [Logica-l] IA Matemática Joao Marcos
2023/12/05 Re: [Logica-l] Episódio 41: Lean e Verificação de Software, com Leonardo de Moura (AWS) Joao Marcos
2023/12/05 [Logica-l] IA Matemática Clodomir Neto
2023/12/04 Re: [Logica-l] Sobre a prova matemática mais ousada da existência de Deus Itala Maria Loffredo D'Ottaviano
2023/12/04 [Logica-l] The Logical Nature of Paradise / Visions of the Afterlife jean-yves beziau
2023/12/04 [Logica-l] Call for Workshops: Diagrams 2024 Jorge Petrucio Viana
2023/12/02 Re: [Logica-l] P vs. NP - The Greatest Unsolved Problem in Computer Science Walter Carnielli
2023/12/02 [Logica-l] Sobre a prova matemática mais ousada da existência de Deus Walter Carnielli
2023/12/01 Re: [Logica-l] P vs. NP - The Greatest Unsolved Problem in Computer Science Rafael Santos Coelho
2023/12/01 Re: [Logica-l] P vs. NP - The Greatest Unsolved Problem in Computer Science Marcelo Finger
2023/12/01 [Logica-l] P vs. NP - The Greatest Unsolved Problem in Computer Science Joao Marcos
2023/11/30 [Logica-l] Fwd: 3-year postdoctoral position in formal semantics+philosophy - U. Oslo Joao Marcos
2023/11/29 [Logica-l] Colóquio "O que é o Pensamento?" - PPGF/UFRJ jean-yves beziau
2023/11/28 [Logica-l] Resultado do Censo de estudantes de Lógica de anos iniciais João Mendes
2023/11/28 [Logica-l] William Troiani - The internal logic and finite colimits - LUWebinar - November 29 at 4pm CET jean-yves beziau
2023/11/28 [Logica-l] Fwd: Curso remoto - Filósofas da matemática Joao Marcos
2023/11/27 [Logica-l] Kurt Gödel: Morreu no Dia Mundial da Lógica ! jean-yves beziau
2023/11/26 [Logica-l] Fwd: [FOM] CPF: Diagrams 2024 Jorge Petrucio Viana
2023/11/24 [Logica-l] concursos para substituto no Depto de Filosofia da UFSC Joao Marcos
2023/11/24 [Logica-l] Fwd: Southern Summer Logic Day (January 12 in AU/NZ) Joao Marcos
2023/11/23 Re: [Logica-l] Concurso Filosofia UFFS Newton Peron
2023/11/23 [Logica-l] 286.386.577.668.298.411.128.469.151.667.598.498.812.366 Joao Marcos