logica-l  

Índice temático

• [Logica-l] LUW April 16, Intensionality of consequence and identity of proofs in Prawitz’s Theory of Grounds - Antonio Piccolomini d’Aragona jean-yves beziau
  • Re: [Logica-l] LUW April 16, Intensionality of consequence and identity of proofs in Prawitz’s Theory of Grounds - Antonio Piccolomini d’Aragona josé carlos cifuentes
  • Re: [Logica-l] Primeiro aniversário da partida do nosso mestre e amigo Newton da Costa jean-yves beziau
  • Re: [Logica-l] Primeiro aniversário da partida do nosso mestre e amigo Newton da Costa Itala Maria Loffredo D'Ottaviano
• [Logica-l] Fwd: CFA: Graduate Workshop "Explaining Explaining" (University of Vienna) Joao Marcos
• Re: [Logica-l] IA ainda *muito* incompetente no que diz respeito ao raciocínio lógico Eduardo Ochs
  • Re: [Logica-l] IA ainda *muito* incompetente no que diz respeito ao raciocínio lógico Marcelo Finger
• [Logica-l] Final call for dissertations -- E.W. Beth Dissertation Prize 2025 Elaine Pimentel
• [Logica-l] [divulgação] sobre a hipótese do contínuo Joao Marcos
• [Logica-l] Adiantando informações sobre o Jantar do EBL 'samuel' via LOGICA-L
• [Logica-l] Fwd: CfA: Feminist Logic, Ruhr University Bochum, August 29-30, 2025 Joao Marcos
• [Logica-l] Call for Abstracts: Lógica e Significado: Colóquio sobre o Legado de Gottlob Frege Luis Felipe Bartolo Alegre
• [Logica-l] novo periódico (diamond access) da área de Lógica Joao Marcos
  • [Logica-l] Re: novo periódico (diamond access) da área de Lógica 'samuel' via LOGICA-L
  • [Logica-l] Re: novo periódico (diamond access) da área de Lógica Joao Marcos
  • [Logica-l] Re: novo periódico (diamond access) da área de Lógica 'samuel' via LOGICA-L
  • Re: [Logica-l] Re: novo periódico (diamond access) da área de Lógica Valeria de Paiva
  • Re: [Logica-l] Re: novo periódico (diamond access) da área de Lógica Valeria de Paiva
  • Re: [Logica-l] Re: novo periódico (diamond access) da área de Lógica 'Samuel Gomes da Silva' via LOGICA-L
  • Re: [Logica-l] Re: novo periódico (diamond access) da área de Lógica 'Ciro Russo' via LOGICA-L
• [Logica-l] teste de Turing Joao Marcos
• [Logica-l] Meninas se organizando para Serra Negra - Avisar suas orientandas !!! 'samuel' via LOGICA-L
• [Logica-l] Call for Post Doctoral Candidates – FAPESP funded. Marcelo Finger
• [Logica-l] [PPDP 25] Second Call for Papers Carlos Olarte
• [Logica-l] LoCa2025 - mesa redonda em homenagem a Newton da Costa - 10 de abril de 2025, 16h, IFCS-UFRJ jean-yves beziau
• [Logica-l] Apr 8, 2025: talk on Tools for teaching logic, by María Manzano Joao Marcos
  • [Logica-l] Re: Apr 8, 2025: talk on Tools for teaching logic, by María Manzano Joao Marcos
• [Logica-l] Fwd: [SBL-Sócios] Chamada para o Prêmio Newton da Costa 2024/25 Hugo Luiz Mariano
• [Logica-l] Livro em homenagem a Newton da Costa - 16 de abril jean-yves beziau
• [Logica-l] Prêmio Brasileiro de Lógica 2025, Terceiro Concurso Mundial de Prêmios de Lógica, UNILOG'2025 jean-yves beziau
• [Logica-l] Fwd: [Diretoria-SBL] Esclarecimentos sobre o Prêmio Newton da Costa Hugo Luiz Mariano
• [Logica-l] Concursos de interesse geral Cassiano Terra Rodrigues
• [Logica-l] (Deadline extension) GT Lógica – Principia Symposium 2025 - Call for Abstracts Diego Fernandes
• [Logica-l] 2nd CFP - Workshop on Modality and Quantification in Natural Languages uiaranu...@gmail.com
• [Logica-l] LSFA 2025 Second Call for Papers Haniel Barbosa
• [Logica-l] LFMTP 2025 first call for papers - Birmingham, UK Daniele Nantes
• [Logica-l] Logic and Religion Webinar: The Only Possibility Argument of Kant: Gerhard Seel (This Thursday, Mar 27) jean-yves beziau
• [Logica-l] Logic and Religion Webinar: The Only Possibility Argument of Kant: Gerhard Seel (This Thursday, Mar 27) Assis
• [Logica-l] NOVA extensão de prazo para submissão – VI Workshop Brasileiro de Lógica (WBL'25) [5th CFP] Sandro Preto
• [Logica-l] [Deadline: March 31] Varieties of Understanding: Challenges and new Directions Maria Martinez-Ordaz
• [Logica-l] Fwd: Canal sobre Lógica Matemática/Matemática Discreta Adolfo Neto
• [Logica-l] Fwd: Third RatioLog Workshop: Logic, Rationality, and Probability [DEADLINE: March 31st][CALL FOR SUBMISSIONS] Rafael Ongaratto
• [Logica-l] LUW session March 26: Stephen Read, Consequence, Signification and Insolubles in Fourteenth-Century Logic - Arché presented by Simon Prosser jean-yves beziau
• [Logica-l] 19 anos O Administrador da LOGICA-L
  • Re: [Logica-l] 19 anos Adolfo Neto
  • Re: [Logica-l] 19 anos Walter Carnielli
• [Logica-l] possibilidade de auxilio a estudantes para participação no EBL Hugo Luiz Mariano
• [Logica-l] Palavras, Sabedoria, Entendimento - Colóquio, IFCS-UFRJ, 26 de março de 2025 jean-yves beziau
• [Logica-l] 4º Dia Carol Blasio por Diversidade na Lógica Evelyn Erickson
• [Logica-l] Logica na Suecia Valeria de Paiva
• [Logica-l] Pré-EBL: evento de extensão Evelyn Erickson
• [Logica-l] Fwd: CfA: PhD Positions in Computational Mathematics and Mathematics, Stockholm (Sweden), Deadline: 22 April 2025 Joao Marcos
• [Logica-l] Fwd: CFP - Volume: 'Studies in Lewis Carroll's Logic' Joao Marcos
• [Logica-l] 5 mil inscritos no AD INFINITUM Alfredo Roque Freire
  • Re: [Logica-l] 5 mil inscritos no AD INFINITUM Itala Maria Loffredo D'Ottaviano
  • [Logica-l] 5 mil inscritos no AD INFINITUM Walter Carnielli
  • Re: [Logica-l] 5 mil inscritos no AD INFINITUM Joao Marcos
  • Re: [Logica-l] 5 mil inscritos no AD INFINITUM Cloves Paiva
  • Re: [Logica-l] 5 mil inscritos no AD INFINITUM Joao Marcos
  • Re: [Logica-l] 5 mil inscritos no AD INFINITUM Marcelo Finger
  • Re: [Logica-l] 5 mil inscritos no AD INFINITUM Marcelo Esteban Coniglio
  • Re: [Logica-l] 5 mil inscritos no AD INFINITUM Abilio Rodrigues Filho
  • Re: [Logica-l] 5 mil inscritos no AD INFINITUM Evandro L. Gomes
  • Re: [Logica-l] 5 mil inscritos no AD INFINITUM Alfredo Roque Freire
• [Logica-l] Call for dissertations -- E.W. Beth Dissertation Prize 2025 Elaine Pimentel
• [Logica-l] Paraconsistent and Glut-Theoretic Approaches to Theology Ricardo Silvestre
  • [Logica-l] RE: Paraconsistent and Glut-Theoretic Approaches to Theology Ricardo Silvestre
  • Re: [Logica-l] RE: Paraconsistent and Glut-Theoretic Approaches to Theology O Administrador da LOGICA-L
• [Logica-l] Women in Logic 2025 -- 1st cfp Elaine Pimentel
• [Logica-l] PhD Position in Programming Semantics and Category Theory - Utrecht Eduardo Ochs
• [Logica-l] EBL2025: finalização do prazo para registro com desconto Hugo Luiz Mariano
• [Logica-l] 8th UNILOG, Cusco, Peru, December 4-14, 2025 jean-yves beziau
• [Logica-l] Novo livro de Rafael Mora: Lógica y Paradojas jean-yves beziau
• [Logica-l] Fwd: [Diretoria-SBL] Sobre os pedidos de auxílio da SBL para participação de estudantes no EBL Hugo Luiz Mariano
• [Logica-l] Extensão de prazo para submissão – VI Workshop Brasileiro de Lógica (WBL'25) [4th CFP] Sandro Preto
• [Logica-l] CFP: Workshop on Modality and Quantification in Natural Languages Evelyn Erickson
• [Logica-l] Links para as companhias de ônibus - na aba "Local info - Serra Negra" da página do EBL 'samuel' via LOGICA-L
• [Logica-l] Institution-independent Model Theory by R.Diaconescu, LUWebinar, March 12 - 16h CET jean-yves beziau
• [Logica-l] Pioneering Women in Israeli Electronic Computing (1953-1970) - Raya Leviathan & Leo Corry jean-yves beziau
• [Logica-l] Call for Papers - The Contradictory God: Paraconsistent and Glut-Theoretic Approaches to Theology Ricardo Silvestre
• [Logica-l] CfP 13th SIS Congress Symmetry - Art and Science jean-yves beziau
• [Logica-l] Cancelamento da edição de 2024 do Prêmio de Lógica Newton da Costa Hugo Luiz Mariano
• [Logica-l] David Miller (19 August 1942 – 20 November 2024) Joao Marcos
  • Re: [Logica-l] David Miller (19 August 1942 – 20 November 2024) Valeria de Paiva
  • Re: [Logica-l] David Miller (19 August 1942 – 20 November 2024) Walter Carnielli
  • Re: [Logica-l] David Miller (19 August 1942 – 20 November 2024) Julio Stern
  • [Logica-l] Re: David Miller (19 August 1942 – 20 November 2024) Joao Marcos
  • [Logica-l] David Miller (19 August 1942 – 20 November 2024) jean-yves beziau
• [Logica-l] monumental proof of Geometric Langlands Joao Marcos
• [Logica-l] Últimos dias para submissão – VI Workshop Brasileiro de Lógica (WBL'25) [3rd CFP] Sandro Preto
• [Logica-l] Terence Tao - Machine-assisted proofs 'Samuel Gomes' via LOGICA-L
• [Logica-l] Fw: Defesa de Mestrado de Marcelo Oliveira Dias - Quinta, 13 de março, 13h30 'Samuel Gomes' via LOGICA-L
  • [Logica-l] Re: Defesa de Mestrado de Marcelo Oliveira Dias - Quinta, 13 de março, 13h30 'Samuel Gomes' via LOGICA-L
• [Logica-l] Algumas dicas sobre o EBL (Hotel + Early Bird em 15 de Março) 'samuel' via LOGICA-L
  • [Logica-l] Re: Algumas dicas sobre o EBL (Hotel + Early Bird em 15 de Março) 'samuel' via LOGICA-L
• [Logica-l] GT Lógica – Principia Symposium 2025 - Call for Abstracts Diego Fernandes
• [Logica-l] Fwd: Convocatoria para contratar 3 investigadoras Marcos Silva
  • Re: [Logica-l] Fwd: Convocatoria para contratar 3 investigadoras Joao Marcos
  • Re: [Logica-l] Fwd: Convocatoria para contratar 3 investigadoras Marcos Silva
• [Logica-l] [2nd CPF] VI Workshop Brasileiro de Lógica (WBL'25) Sandro Preto
• [Logica-l] Fwd: Divulgação Edital processo de seleção simplificada Alfredo Roque Freire
• [Logica-l] Aniversário de Tarcisio Haroldo Cavalcante Pequeno. jean-yves beziau
• [Logica-l] Meio off-topic, meio não FRANK THOMAS SAUTTER
• [Logica-l] Divertimento lógico FRANK THOMAS SAUTTER
  • Re: [Logica-l] Divertimento lógico Carlos Augusto Prolo
  • Re: [Logica-l] Divertimento lógico Carlos Augusto Prolo
  • Re: [Logica-l] Divertimento lógico FRANK THOMAS SAUTTER
  • Re: [Logica-l] Divertimento lógico Joao Marcos
  • Re: [Logica-l] Divertimento lógico Thiago Nascimento da Silva
  • [Logica-l] Re: Divertimento lógico FRANK THOMAS SAUTTER
• [Logica-l] 31st WoLLIC 2025 - Call for Papers - DEADLINE APPROACHING Ruy Jose Guerra Barretto de Queiroz
• [Logica-l] Postdoctoral Positions in Logic at the ICS CAS (Prague, Czech Republic) Walter Carnielli
• [Logica-l] Fwd: Krister Segerberg (1936-2025) Joao Marcos
  • Re: [Logica-l] Fwd: Krister Segerberg (1936-2025) Valeria de Paiva
  • Re: [Logica-l] Fwd: Krister Segerberg (1936-2025) Walter Carnielli
• [Logica-l] Palestra da SBL: Raciocínio lógico na aprendizagem da matemática Evelyn Erickson
  • [Logica-l] Re: Palestra da SBL: Raciocínio lógico na aprendizagem da matemática Cassiano Terra Rodrigues
  • Re: [Logica-l] Palestra da SBL: Raciocínio lógico na aprendizagem da matemática Alexandre Rademaker
  • Re: [Logica-l] Palestra da SBL: Raciocínio lógico na aprendizagem da matemática Joao Marcos
  • Re: [Logica-l] Palestra da SBL: Raciocínio lógico na aprendizagem da matemática Evelyn Erickson
• [Logica-l] New Proofs Probe the Limits of Mathematical Truth Joao Marcos
• [Logica-l] PPDP'25 CFP Carlos Olarte
• [Logica-l] IV Colóquio NormAtiva UFPE 'THIAGO ANDRADE DE OLIVEIRA' via LOGICA-L
• [Logica-l] EBL 2025: Deadline for submissions: February 3 Hugo Luiz Mariano
  • [Logica-l] Re: EBL 2025: Deadline for submissions: February 3 Hugo Luiz Mariano
• [Logica-l] Como o Lema de Yoneda ajuda a extrair semântica dos Large Language Models Walter Carnielli
  • Re: [Logica-l] Como o Lema de Yoneda ajuda a extrair semântica dos Large Language Models João Paulo Cirineu de Jesus
  • Re: [Logica-l] Como o Lema de Yoneda ajuda a extrair semântica dos Large Language Models Márcio Palmares
  • Re: [Logica-l] Como o Lema de Yoneda ajuda a extrair semântica dos Large Language Models Marcelo Finger
  • Re: [Logica-l] Como o Lema de Yoneda ajuda a extrair semântica dos Large Language Models Walter Carnielli
• [Logica-l] Call for Papers - The Contradictory God: Paraconsistent and Glut-Theoretic Approaches to Theology Assis
• [Logica-l] Os links para submissão do EBL foram corrigidos. 'samuel' via LOGICA-L
• [Logica-l] XXI Brazilian Logic Meeeting (EBL 2025) --- ***DEADLINE APPROACHING*** 'samuel' via LOGICA-L
• [Logica-l] Zoe Chatzidakis 'samuel' via LOGICA-L
  • Re: [Logica-l] Zoe Chatzidakis Valeria de Paiva
• [Logica-l] Fwd: Divulgação - Novo Workshop sobre IA Generativa para Pesquisa Acadêmica Jorge Petrucio Viana
  • Re: [Logica-l] Fwd: Divulgação - Novo Workshop sobre IA Generativa para Pesquisa Acadêmica Walter Carnielli
• [Logica-l] Third RatioLog Workshop: Logic, Rationality, and Probability [CALL FOR SUBMISSIONS] Rafael Ongaratto
• [Logica-l] 31st WoLLIC 2025 - 3rd Call for Papers Ruy Jose Guerra Barretto de Queiroz
• [Logica-l] Can you solve it? Elaine Pimentel
  • Re: [Logica-l] Can you solve it? Walter Carnielli
  • Re: [Logica-l] Can you solve it? Carlos Augusto Prolo
  • Re: [Logica-l] Can you solve it? Walter Carnielli
  • Re: [Logica-l] Can you solve it? Walter Carnielli
• [Logica-l] VI Workshop Brasileiro de Lógica (WBL'25) Sandro Preto
• [Logica-l] Fwd: Paul Benacerraf (1930-2025) Joao Marcos
• [Logica-l] [humor] resolvedores SAT Joao Marcos
• [Logica-l] Logic and Religion Webinar: The Death of Omnipotence and Birth of Amipotence - Dr. Thomas Oord (This Thursday, Jan 16) Assis
• [Logica-l] Can AI Models Show Us How People Learn? Impossible Languages Point a Way. | Quanta Magazine Ruy Jose Guerra Barretto de Queiroz
• [Logica-l] Logic Symposium in Copacabana - 15 de janeiro 17h jean-yves beziau
• [Logica-l] WLD @ Daily Nous Joao Marcos
• [Logica-l] dia mundial da logica jean-yves beziau
• [Logica-l] Palestra REMOTA no dia Mundia da Lógica 15/01/2025 Marcelo Finger
• [Logica-l] Re : [LOGIC] World Logic Day 2025 + GRAPHIC DESIGN CHALLENGE FOR WLD 2026 - Happy UNESCO World Logic Day 2025! jean-yves beziau
• [Logica-l] Logic in All its Dimensions - LUA - 7th edition of the World Logic Day, January 14, 2025, 4pm CET jean-yves beziau
• [Logica-l] Russian - Brazilian Colloquium on Logical Pluralism "World Logic Day 2025" Marcelo Esteban Coniglio
• [Logica-l] Gravação da mesa redonda "Applicability of logic for the study of scientific reasoning" Maria Martinez-Ordaz
• [Logica-l] 7th edition of the World Logic Day: January 14, 2025 jean-yves beziau
• [Logica-l] Sobre o "South Florida Journal of Development" Walter Carnielli
• [Logica-l] Noticia triste: Wolfram Pohlers (1943-2024) Walter Carnielli
• [Logica-l] Sobre a(s) teoria(s) de conjuntos paraconsistentes e seus problemas Walter Carnielli
  • Re: [Logica-l] Sobre a(s) teoria(s) de conjuntos paraconsistentes e seus problemas Giorgio Venturi
• [Logica-l] Dúvida - Leibniz - curiosidade Ricardo Grande
• [Logica-l] Teoria dos Conjuntos paraconsistente e paracompleta 'samuel' via LOGICA-L
  • Re: [Logica-l] Teoria dos Conjuntos paraconsistente e paracompleta Walter Carnielli
  • Re: [Logica-l] Teoria dos Conjuntos paraconsistente e paracompleta Joao Marcos
• [Logica-l] AI & Mathematics Joao Marcos
• [Logica-l] TALK @ WLD: Machine Learning and Logic: Fast and Slow Thinking, por Moshe Y. Vardi Joao Marcos
• [Logica-l] 14th Principia International Symposium - Call for abstracts jonas.becker2
• [Logica-l] Feliz ano novo! Diego Almeida
• [Logica-l] Ici-Rio 2024 - UNILOG'2025, Cusco jean-yves beziau
• [Logica-l] Presente de Natal Walter Carnielli
• [Logica-l] Fwd: [SBL-Sócios] Mensagem de Fim de Ano – Sociedade Brasileira de Lógica Hugo Luiz Mariano
• [Logica-l] WLD Zoom Event: [Far Eastern-]Southern Summer Logic Day (January 14 in AU/NZ) Joao Marcos
• [Logica-l] [OFF] the well-succeeded GPT philosopher Joao Marcos
  • Re: [Logica-l] [OFF] the well-succeeded GPT philosopher Valeria de Paiva
  • Re: [Logica-l] [OFF] the well-succeeded GPT philosopher Walter Carnielli
• [Logica-l] AI and the Visualization of Paradise by Caroline Ting - LUW Wednesday December 18, 2024 - 4pm CET (Paris-Geneva-Rome) jean-yves beziau
  • [Logica-l] A Logical Consequence Informed by Probability - UNILOG'2025 - LUW Wednesday February 26, 2025 - 4pm CET (Paris-Geneva-Rome) jean-yves beziau
• [Logica-l] Dia Mundial da Lógica 2025 Evelyn Erickson
• [Logica-l] 7th edition of the World Logic Day jean-yves beziau
• [Logica-l] EXTENDED DEADLINE, XXI Brazilian Logic Conference (EBL 2025) 'samuel' via LOGICA-L
• [Logica-l] CICM 2024 Call for Papers Valeria de Paiva
• [Logica-l] Claus Akira Matsushigue (1965-2024) 'Samuel Gomes da Silva' via LOGICA-L
  • Re: [Logica-l] Claus Akira Matsushigue (1965-2024) Itala Maria Loffredo D'Ottaviano
  • Re: [Logica-l] Claus Akira Matsushigue (1965-2024) josé carlos cifuentes
  • Re: [Logica-l] Claus Akira Matsushigue (1965-2024) Francisco Miraglia Neto
  • Re: [Logica-l] Claus Akira Matsushigue (1965-2024) Joao Marcos
  • Re: [Logica-l] Claus Akira Matsushigue (1965-2024) Valeria de Paiva
  • Re: [Logica-l] Claus Akira Matsushigue (1965-2024) Walter Carnielli
  • Re: [Logica-l] Claus Akira Matsushigue (1965-2024) Ana Teresa
  • Re: [Logica-l] Claus Akira Matsushigue (1965-2024) Hugo Luiz Mariano
  • Re: [Logica-l] Claus Akira Matsushigue (1965-2024) Joao Marcos
  • Re: [Logica-l] Claus Akira Matsushigue (1965-2024) Marcelo Finger
  • Re: [Logica-l] Claus Akira Matsushigue (1965-2024) Marcelo Esteban Coniglio
  • Re: [Logica-l] Claus Akira Matsushigue (1965-2024) Mario Roberto Folhadela Benevides
  • Re: [Logica-l] Claus Akira Matsushigue (1965-2024) 'samuel' via LOGICA-L
  • Re: [Logica-l] Claus Akira Matsushigue (1965-2024) 'samuel' via LOGICA-L
  • Re: [Logica-l] Claus Akira Matsushigue (1965-2024) Vinicius Cifú Lopes
• [Logica-l] Last CfA: The Syntax and Semantics of Formalisations in Philosophy Luis Felipe Bartolo Alegre

• Mensagens anteriores