logica-l  

Índice temático

• [Logica-l] 2nd RatioLog Workshop: caderno de resumos e início das atividades Walter Carnielli
• [Logica-l] Fwd: 2nd CFP (extended deadline): Non-Classical Logics. Theory and Applications XI, Lodz, Poland, September 5-8, 2024 - Michał Zawidzki Joao Marcos
• [Logica-l] Inteligência Artificial, Einstein e Direito: saiba o que é a lógica paraconsistente, criada por matemático brasileiro jean-yves beziau
• [Logica-l] resources on AI to assist mathematical reasoning Joao Marcos
  • [Logica-l] Re: resources on AI to assist mathematical reasoning Joao Marcos
• [Logica-l] Newton da Costa (1929-2024) Walter Carnielli
• [Logica-l] Newton da Costa: 90 anos, prêmio, WLD, livros e artigos jean-yves beziau
  • [Logica-l] Newton da Costa / CfP Book and Congress / ici-Rio-2024 jean-yves beziau
• [Logica-l] Re: Newton da Costa [1929-2024] Mauricio Ayala Rincon
• [Logica-l] Fwd: Women in formal Mathematics Joao Marcos
• [Logica-l] WiL 2024: 8th Women in Logic Workshop -- last cfp Elaine Pimentel
• [Logica-l] CfP 8th World Congress on the Square of Opposition jean-yves beziau
• [Logica-l] Logic and Religion Webinar: The Love Commandments - Robert Audi, April 18 Assis
• [Logica-l] Nota de Falecimento - Prof. Newton Carneiro Affonso da Costa Walter Carnielli
  • Re: [Logica-l] Nota de Falecimento - Prof. Newton Carneiro Affonso da Costa Adolfo Neto
  • Re: [Logica-l] Nota de Falecimento - Prof. Newton Carneiro Affonso da Costa Adolfo Neto
  • Re: [Logica-l] Nota de Falecimento - Prof. Newton Carneiro Affonso da Costa Adolfo Neto
• [Logica-l] [PPGFIL/UPFE] XII Ciclo de Palestras Consciência e Cognição Mateus Alves
• [Logica-l] Newton da Costa [1929-2024] Joao Marcos
  • Re: [Logica-l] Newton da Costa [1929-2024] Julio Stern
  • Re: [Logica-l] Newton da Costa [1929-2024] Marcelo Finger
  • [Logica-l] Re: Newton da Costa [1929-2024] Joao Marcos
  • Re: [Logica-l] Re: Newton da Costa [1929-2024] Hugo Luiz Mariano
  • Re: [Logica-l] Re: Newton da Costa [1929-2024] Ana Teresa
  • [Logica-l] Re: Newton da Costa [1929-2024] Cassiano Terra Rodrigues
  • [Logica-l] Re: Newton da Costa [1929-2024] Luis Bartolo
  • Re: [Logica-l] Re: Newton da Costa [1929-2024] Itala Maria Loffredo D'Ottaviano
• [Logica-l] CfP Hybrid 68th Annual Meeting of the International Society for Systems Sciences Maria Martinez-Ordaz
• [Logica-l] Conversação como investigação - Waldomiro J. Silva Filho - Seminário de Lógica Carioca - 17 de abril de 2024 - 17h30 jean-yves beziau
• [Logica-l] Avi Wigderson, Complexity Theory Pioneer, Wins Turing Award Joao Marcos
• [Logica-l] Fwd: CfNominations: Beth Dissertation Prize 2024 for dissertations in Logic / Language and Information, deadline: 30 April 2024 Joao Marcos
• [Logica-l] Fwd: CfNomination: 'Dov Gabbay Prize" for Logic and Foundation, deadline: 30 April 2024 Joao Marcos
• [Logica-l] Fwd: CfNominations: Ackermann Award 2024 PhD Dissertation in Logic in CS, deadline: 1 July 2024. Joao Marcos
• [Logica-l] vaga para Docente Permanente no Instituto de Computação da UFRJ Joao Marcos
• [Logica-l] evento: Monism vs. Pluralism in Logic, Metaphysics, and Philosophical Methodology Joao Marcos
• [Logica-l] FroCoS-ITP-TABLEAUX 2025 Elaine Pimentel
• [Logica-l] [CFP] Perspectiva Filosófica: Filósofas analíticas brasileiras Evelyn Erickson
• [Logica-l] Fwd: [LAST CALL] C-FORS Graduate Conference (Oslo): Constructional Approaches in the Foundations of Mathematics and Philosophy Joao Marcos
• [Logica-l] vaga para Professor Visitante Júnior na UFSC Joao Marcos
• [Logica-l] Beth Dissertation Prize Aldo Figallo-Orellano
• [Logica-l] Divulgação de lançamento Escritos da Série Cognitiva, de Peirce. Cassiano Terra Rodrigues
• [Logica-l] UZH to No Longer Provide Data for THE Ranking Bruno Lopes
• [Logica-l] Quinto Workshop Brasileiro de Lógica (WBL’24) DEADLINE AMANHÃ (03/abril/2024) Flavio Leonardo Cavalcanti De Moura
• [Logica-l] Palestra sobre Librationist cum classical theories of sets Frode Alfson Bjørdal
  • [Logica-l] Re: Palestra sobre Librationist cum classical theories of sets Frode Alfson Bjørdal
• [Logica-l] Women in Logic -- 2nd call for papers Elaine Pimentel
• [Logica-l] Will machines change mathematics? Joao Marcos
• [Logica-l] nota: bit de moderação localmente acionável em casos recalcitrantes O Administrador da LOGICA-L
  • Re: [Logica-l] nota: bit de moderação localmente acionável em casos recalcitrantes Carlos Márquez
• [Logica-l] Shani Louk: ouf topics, não é? jean-yves beziau
• [Logica-l] Eu não sou da sua rua jean-yves beziau
• [Logica-l] Outra hora se passou jean-yves beziau
• [Logica-l] LogicaMx e Otávio Bueno sobre a obra e o legado de Décio Krause Maria Martinez-Ordaz
• [Logica-l] um genocídio altamente televisionado jean-yves beziau
• [Logica-l] Another Hour of madness jean-yves beziau
• [Logica-l] [Deadline April 1] CfA 7th World Congress of Paraconsistency Maria Martinez-Ordaz
• [Logica-l] [OUF ! ] [OUF ! ] jean-yves beziau
• [Logica-l] Leibniz era o filósofo favorito de Gödel porque ele achava que Leibniz estava 100% errado. jean-yves beziau
• [Logica-l] Os enigmas não são tão radicais Cassiano Terra Rodrigues
  • Re: [Logica-l] Os enigmas não são tão radicais Julio Stern
  • Re: [Logica-l] Os enigmas não são tão radicais Cassiano Terra Rodrigues
• [Logica-l] LSFA 2024: CALL FOR PAPERS D. Ventura
• [Logica-l] [OUF!] seis milhões de judeos exterminados durante a segunda guerra mundial jean-yves beziau
  • Re: [Logica-l] [OUF!] seis milhões de judeos exterminados durante a segunda guerra mundial Frode Alfson Bjørdal
  • Re: [Logica-l] [OUF!] seis milhões de judeos exterminados durante a segunda guerra mundial Eduardo Ochs
  • Re: [Logica-l] [OUF!] seis milhões de judeos exterminados durante a segunda guerra mundial jean-yves beziau
  • Re: [Logica-l] [OUF!] seis milhões de judeos exterminados durante a segunda guerra mundial Frode Alfson Bjørdal
  • Re: [Logica-l] [OUF!] seis milhões de judeos exterminados durante a segunda guerra mundial Mayk Alves de Andrade
  • Re: [Logica-l] [OUF!] seis milhões de judeos exterminados durante a segunda guerra mundial Frode Alfson Bjørdal
  • Re: [Logica-l] [OUF!] seis milhões de judeos exterminados durante a segunda guerra mundial jean-yves beziau
  • Re: [Logica-l] [OUF!] seis milhões de judeos exterminados durante a segunda guerra mundial Mayk Alves de Andrade
  • Re: [Logica-l] [OUF!] seis milhões de judeos exterminados durante a segunda guerra mundial Walter Carnielli
  • Re: [Logica-l] [OUF!] seis milhões de judeos exterminados durante a segunda guerra mundial Marcelo Finger
  • Re: [Logica-l] [OUF!] seis milhões de judeos exterminados durante a segunda guerra mundial jean-yves beziau
  • Re: [Logica-l] [OUF!] seis milhões de judeos exterminados durante a segunda guerra mundial Eduardo Ochs
  • Re: [Logica-l] [OUF!] seis milhões de judeos exterminados durante a segunda guerra mundial Walter Carnielli
  • [Logica-l] [OUF!] Boycott Norway to Stop Rampant Antisemitism jean-yves beziau
  • Re: [Logica-l] [OUF!] Boycott Norway to Stop Rampant Antisemitism Joao Marcos
  • Re: Re: [Logica-l] [OUF!] Boycott Norway to Stop Rampant Antisemitism Juan F. Meleiro
  • [Logica-l] a maioridade / maturidade da LOGICA-L O Administrador da LOGICA-L
  • Re: [Logica-l] a maioridade / maturidade da LOGICA-L Adolfo Neto
  • Re: [Logica-l] a maioridade / maturidade da LOGICA-L Jorge Petrucio Viana
  • Re: [Logica-l] a maioridade / maturidade da LOGICA-L Walter Carnielli
  • Re: [Logica-l] a maioridade / maturidade da LOGICA-L Marcelo Finger
  • Re: [Logica-l] a maioridade / maturidade da LOGICA-L Frode Alfson Bjørdal
  • Re: [Logica-l] a maioridade / maturidade da LOGICA-L Valeria de Paiva
  • Re: [Logica-l] a maioridade / maturidade da LOGICA-L Itala Maria Loffredo D'Ottaviano
  • Re: [Logica-l] [OUF!] seis milhões de judeos exterminados durante a segunda guerra mundial yuri lumer
  • Re: [Logica-l] [OUF!] seis milhões de judeos exterminados durante a segunda guerra mundial yuri lumer
  • Re: [Logica-l] [OUF!] seis milhões de judeos exterminados durante a segunda guerra mundial Aldo Figallo-Orellano
  • Re: [Logica-l] [OUF!] seis milhões de judeos exterminados durante a segunda guerra mundial jean-yves beziau
  • Re: [Logica-l] [OUF!] seis milhões de judeos exterminados durante a segunda guerra mundial Eduardo Ochs
  • Re: [Logica-l] [OUF!] seis milhões de judeos exterminados durante a segunda guerra mundial Eduardo Ochs
  • [Logica-l] [OUF!] seis milhões de judeos exterminados durante a segunda guerra mundial Cassiano Terra Rodrigues
  • Re: [Logica-l] [OUF!] seis milhões de judeos exterminados durante a segunda guerra mundial Gisele Secco
  • Re: [Logica-l] [OUF!] seis milhões de judeos exterminados durante a segunda guerra mundial Cassiano Terra Rodrigues
  • Re: [Logica-l] [OUF!] seis milhões de judeos exterminados durante a segunda guerra mundial Itala Maria Loffredo D'Ottaviano
• [Logica-l] [CFP] Reminder - KRR@EPIA2024 Rafael Testa
• [Logica-l] Re: CFP: REACTS'24 - International Workshop on Reconfigurable Transition Systems, Aveiro, Nov 5, 2024 Aldo Figallo-Orellano
• [Logica-l] Seminário de Lógica Carioca - 27-03-2024 "Square of Opposition: Past, Present, Future" jean-yves beziau
  • [Logica-l] Seminário de Lógica Carioca - 15 de maio de 2024 - "A concepção aristotélica de acaso na física" / Luis Felipe Bellintani Ribeiro jean-yves beziau
• [Logica-l] EXTENDED DEADLINE! (03/abril/2024) - Quinto Workshop Brasileiro de Lógica (WBL’24) Flavio Leonardo Cavalcanti De Moura
• [Logica-l] The philosophy of logic of John Corcoran - LUW March 27, 4pm CET jean-yves beziau
• [Logica-l] Beth Dissertation Prize 2024 Elaine Pimentel
• [Logica-l] 2024 Abel prize: Michel Talagrand wins maths award for making sense of randomness | New Scientist Ruy de Queiroz
• [Logica-l] on the formalization of mathematical proofs Joao Marcos
• [Logica-l] Fwd: [BLC] Conference announcement: 120 Years of Choice Valeria de Paiva
• [Logica-l] CfP - 1st Pan African Logic Congress - Cairo, Egypt, April 28-30, 2024 jean-yves beziau
  • [Logica-l] 1st Pan African Logic Congress - Cairo, Egypt, April 28-30, 2024 jean-yves beziau
• [Logica-l] The Open Future Argument: The Logic and Religion Webinar, March 21 (Thursday) Assis
• [Logica-l] Paraconsistent Newsletter Winter-Summer 2024 jean-yves beziau
• [Logica-l] Fwd: Reminder – Women in Logic Online with Valeria de Paiva, March 20, virtual event Joao Marcos
• [Logica-l] Fwd: Call for applications: Summer School on Mathematical Philosophy for Female Students 2024 Joao Marcos
• [Logica-l] Off-topic (really?): manifestación en solidariedad a la comunidad científica argentina Cassiano Terra Rodrigues
• [Logica-l] SBFA: Olinda 2024 - Prazo prorrogado para submissões (22/03) Marcos Silva
• [Logica-l] Re: XX SLALM - 20th Latin American Symposium on Mathematical Logic Aldo Figallo-Orellano
• [Logica-l] Becas de Posdoctorado Aldo Figallo-Orellano
  • [Logica-l] Re: Becas de Posdoctorado Aldo Figallo-Orellano
• [Logica-l] on math as art, math as language, and math as abstract thought Joao Marcos
  • [Logica-l] Re: on math as art, math as language, and math as abstract thought Joao Marcos
  • Re: [Logica-l] Re: on math as art, math as language, and math as abstract thought Valeria de Paiva
  • Re: [Logica-l] Re: on math as art, math as language, and math as abstract thought Clodomir Neto
  • Re: [Logica-l] Re: on math as art, math as language, and math as abstract thought João Mendes
• [Logica-l] [EXTENDED deadline] CfA 7th World Congress of Paraconsistency Maria Martinez-Ordaz
  • [Logica-l] [EXTENDED deadline] CfA 7th World Congress of Paraconsistency Maria Martinez-Ordaz
• [Logica-l] E hoje tem mais SOL!! Elaine Pimentel
• [Logica-l] Fwd: [PHILOS-L] Rolf Schock prize in Logic and philosophy 2024 Joao Marcos
• [Logica-l] Hoje é o Dia do Pi ! jean-yves beziau
• [Logica-l] lógicas & química Alexandre Rademaker
  • Re: [Logica-l] lógicas & química Julio Stern
  • Re: [Logica-l] lógicas & química Marcelo Finger
• [Logica-l] off-topic Argentina Cassiano Terra Rodrigues
• [Logica-l] CNPq corta 200 bolsas de pós da UFRJ jean-yves beziau
• [Logica-l] Fwd: SBPC - sobre grave situação de C&T na Argentina Hugo Luiz Mariano
  • Re: [Logica-l] Fwd: SBPC - sobre grave situação de C&T na Argentina Joao Marcos
  • Re: [Logica-l] Fwd: SBPC - sobre grave situação de C&T na Argentina Hugo Luiz Mariano
  • Re: [Logica-l] Fwd: SBPC - sobre grave situação de C&T na Argentina Marcos Silva
  • Re: [Logica-l] Fwd: SBPC - sobre grave situação de C&T na Argentina Joao Marcos
  • Re: [Logica-l] Fwd: SBPC - sobre grave situação de C&T na Argentina Hugo Luiz Mariano
  • Re: [Logica-l] Fwd: SBPC - sobre grave situação de C&T na Argentina Julio Stern
• [Logica-l] Stoic Sign-Inference and Their Lore of Fate / Andrew.Schumann/ LUW March 13, 4pm CET jean-yves beziau
• [Logica-l] AiML 2024: Third call for papers and deadline extension Elaine Pimentel
• [Logica-l] [XX SLALM] Call for Contributions, Registration and Grant Application Joao Marcos
• [Logica-l] [CFP] EPIA 2024 Rafael Testa
• [Logica-l] Fwd: [forumppg] +1café: agenda de março 'Michel Viana Smykalla' via LOGICA-L
• [Logica-l] Quinto Workshop Brasileiro de Lógica (WBL’24) Flavio Leonardo Cavalcanti De Moura
• [Logica-l] XX SLALM Elaine Pimentel
• [Logica-l] Extended deadline: Tutorial proposals for Diagrams 2024 Jorge Petrucio Viana
• [Logica-l] regras induzindo um conjunto Joao Marcos
  • [Logica-l] Re: regras induzindo um conjunto Joao Marcos
• [Logica-l] Terceiro Prêmio SBFA 2024 Marcos Silva
• [Logica-l] קורט גדל: מת ביום ההיגיון העולמי jean-yves beziau
• [Logica-l] CFP: Non-Classical Logics: Theory and Applications 2024 Joao Marcos
• [Logica-l] Fwd: Logic Colloquium 2024, Gothenburg, 24-28 June 2024 Joao Marcos
• [Logica-l] Fwd: [DL] Postdoctoral position in neural-symbolic KRR in University of Manchester Camilo Thorne
• [Logica-l] Fwd: [diagrams-list] DIAGRAMS 2024| Extended deadline Jorge Petrucio Viana
• [Logica-l] WiL 2024: first call for papers Elaine Pimentel
• [Logica-l] On the transitivity of Logical Consequence without Assuming Monotonicity - Lin Chen and Xuefeng Wen - Logica Universalis Webinar. February 28, 2024 at 4pm CET jean-yves beziau
• [Logica-l] Fwd: CFA: MCMP Summer School for Widening Participation in Mathematical Philosophy Joao Marcos
• [Logica-l] X Congresso Latino-Americano de Semiótica - 2 a 5 de julho de 2024, São Paulo jean-yves beziau
• [Logica-l] Never-Repeating Tiles Can Safeguard Quantum Information | Quanta Magazine Ruy de Queiroz
• [Logica-l] Logotipo e Símbolo do Grupo de Lógica da UFBA 'samuel' via LOGICA-L
  • Re: [Logica-l] Logotipo e Símbolo do Grupo de Lógica da UFBA Elaine Pimentel
  • Re: [Logica-l] Logotipo e Símbolo do Grupo de Lógica da UFBA Walter Carnielli
  • Re: [Logica-l] Logotipo e Símbolo do Grupo de Lógica da UFBA 'Samuel Gomes da Silva' via LOGICA-L
• [Logica-l] Fwd: CfR: Lindström Lectures: Phokion G. Kolaitis, 15 & 17 April, Hybrid: Gothenburg and Online Joao Marcos
• [Logica-l] Sensible Animism: The Logic and Religion Webinar, Feb 22 (Thursday) Assis
• [Logica-l] Quantum annealers and the future of prime factorization Ruy de Queiroz
• [Logica-l] Link corrigido - evento UFBA 'Samuel Gomes da Silva' via LOGICA-L
• [Logica-l] Fwd: [WiL] Invitation – Women in Logic Online with Valeria de Paiva, March 20, virtual event Joao Marcos
• [Logica-l] Links das apresentações remotas - Temática UFBA + Encontro USP UFBA + Homenagem Andreas Brunner 'Samuel Gomes da Silva' via LOGICA-L
• [Logica-l] LoCa 2024 - Variety of Cubes of Opposition - Claudio Pizzi - 21/02/2024 17h30 jean-yves beziau
• [Logica-l] Fw: Semana Temática de Lógica, Conjuntos e Topologia do Programa de Verão do PGMAT e do II Encontro USP-UFBA de Lógica e Fundamentos Hugo Luiz Mariano
• [Logica-l] idiotas e picadas de abelhas Joao Marcos
  • Re: [Logica-l] idiotas e picadas de abelhas Walter Carnielli
• [Logica-l] Origens da Filosofia Contemporanea Marcos Silva
• [Logica-l] FroCoS+ITP+TABLEAUX call for location Elaine Pimentel
• [Logica-l] Fwd: [forumppg] +1café: podcast com matemáticos brasileiros 'Michel Viana Smykalla' via LOGICA-L
• [Logica-l] 1º Congresso Pan-africano de Lógica - Universidade Britânica no Egito, Cairo, 28 a 30 de abril de 2024 jean-yves beziau
  • [Logica-l] CfP - 1º Congresso Pan-Africano de Lógica - Universidade Britânica no Egito, Cairo, 28 a 30 de abril de 2024 jean-yves beziau
  • [Logica-l] CfP - 1º Congresso Pan-Africano de Lógica - Universidade Britânica no Egito, Cairo, 28 a 30 de abril de 2024 jean-yves beziau
• [Logica-l] [oqnfp] N. 53 Filosofia da Tecnologia Marcos Silva
• [Logica-l] Peter Schroeder-Heister on Proof-Theoretic Semantics Hermógenes Oliveira
• [Logica-l] Quando ensinar Lógica Formal, em um curso de graduação? Joao Marcos
• [Logica-l] DIAGRAMS 2024 | Final Call for Workshops and Tutorials Jorge Petrucio Viana
• [Logica-l] LUW Feb 14, 4pm CET - Should We Embrace Impossible Worlds Due to the Flaws of Normal Modal Logic? jean-yves beziau
• [Logica-l] artigo -Thought Experiments in Mathematics: From Fiction to Facts Irina Starikova
• [Logica-l] CiE 2024 -- extended deadline Elaine Pimentel
• [Logica-l] CfP: Logica Frameworks and Meta Languages: Theory and Practice (LFMTP24) Claudio Sacerdoti Coen
• [Logica-l] Posição de professor Universidade de Aveiro Alfredo Roque Freire
• [Logica-l] [SBFA-CFA] VIII Conferência da SBFA (Olinda, 22-26/07/2024) Marcos Silva
• [Logica-l] Track in Logic and Computation - XVL Summer Workshop in Mathematics UnB 7-9/Fev/2024 Mauricio Ayala Rincon
• [Logica-l] 2o Encontro USP-UFBA em Lógica e Fundamentos: 21-23 de fevereiro Hugo Luiz Mariano
• [Logica-l] some preprint Łukasz S .
• [Logica-l] CfA 7th World Congress of Paraconsistency Maria Martinez-Ordaz
• [Logica-l] Geometria e lógica / Inteligência artificial 'samuel' via LOGICA-L
• [Logica-l] Logic puzzle: CLIMATE JOURNEY Joao Marcos
  • Re: [Logica-l] Logic puzzle: CLIMATE JOURNEY Walter Carnielli
  • Re: [Logica-l] Logic puzzle: CLIMATE JOURNEY Walter Carnielli
  • Re: [Logica-l] Logic puzzle: CLIMATE JOURNEY Joao Marcos

• Mensagens anteriores
• Mensagens posteriores