logica-l  

Índice temático

• [Logica-l] Logica Universalis - ToC Alert - Volume 17, Issue 3 - 2023 jean-yves beziau
• [Logica-l] Fwd: Call for a Researcher Position at the Slovak Academy of Sciences Joao Marcos
• [Logica-l] CiE 2024: FIRST CALL FOR PAPERS Elaine Pimentel
• [Logica-l] OFF-topic: "Style, Method and Philosophy in Wittgenstein" Cassiano Terra Rodrigues
• [Logica-l] OFF-TOPIC : Chamada de artigos Cassiano Terra Rodrigues
• [Logica-l] 30th WoLLIC 2024 - 1st Call for Papers Ruy Jose Guerra Barretto de Queiroz
• [Logica-l] Lógica Carioca 21-09-2023 - Maria Martinez + Michael Burton jean-yves beziau
• [Logica-l] Fwd: [LOGIC] CfA: PostDoc 2y/ defeasible reasoning/ deontic logic, Bochum (Germany), deadline: 9 October 2023 Camilo Thorne
• [Logica-l] Fwd: [LOGIC] CfA: 3 postdocs in mathematics (including logic), Turin (Italy), Deadline: 29 September 2023 - 13:00 CEST Camilo Thorne
• [Logica-l] LUW Sept 20, 2023 - On Consequence and Rejection as Operators by Alexei Muravitsky jean-yves beziau
  • [Logica-l] LUW Oct 4, 2023 - Complementary Proof Nets for Classical Logic by Gabriele Pulcini jean-yves beziau
• [Logica-l] [OFF] Fwd: Uma Análise Comparativa da Ciência Aberta, do Acesso Aberto e da Circulação de Conhecimento na América Latina e na África Joao Marcos
• [Logica-l] Fwd: CfA: 2 Tenure track positions available to logicians (2nd call, deadline change), Prague (Czech Republic), Deadline: 20 November 2023 Joao Marcos
• [Logica-l] Fwd: [LOGIC] CfA: Expressions of interests for two postdoctoral positions in Logic and Computer Science , Cagliari & Urbino (Italy), deadline 22 October 2023 Camilo Thorne
• [Logica-l] Fwd: [LOGIC] CfA: Expression of interest for up to 6 postdocs in Logic at the Logic Uncertainty Computation and Information (LUCI) Lab, Milan (Italy) Camilo Thorne
• [Logica-l] 94 anos de Newton da Costa jean-yves beziau
• [Logica-l] Fwd: Expressions of interests for two postdoctoral positions in Logic and Computer Science (Cagliari & Urbino, Italy) Joao Marcos
• [Logica-l] Faculty positions at Carnegie Mellon University in Qatar Giselle Reis
• [Logica-l] a serious disease Jorge Petrucio Viana
• [Logica-l] Fwd: Postdoc at the University of Cagliari Joao Marcos
• [Logica-l] Fwd: Expression of interest for several postdoctoral positions in Logic Joao Marcos
• [Logica-l] SALOME 1 - Cusco, Peru, January 12-15, 2024 jean-yves beziau
• [Logica-l] Livro em homenagem à obra de Décio Krause Raoni Wohnrath Arroyo
  • Re: [Logica-l] Livro em homenagem à obra de Décio Krause Marcelo Esteban Coniglio
  • Re: [Logica-l] Livro em homenagem à obra de Décio Krause João Ferrari
  • Re: [Logica-l] Livro em homenagem à obra de Décio Krause Elaine Pimentel
  • Re: [Logica-l] Livro em homenagem à obra de Décio Krause Joao Marcos
  • Re: [Logica-l] Livro em homenagem à obra de Décio Krause josé carlos cifuentes
  • Re: [Logica-l] Livro em homenagem à obra de Décio Krause Ricardo Grande
  • Re: [Logica-l] Livro em homenagem à obra de Décio Krause Evandro L. Gomes
• [Logica-l] Alan Turing and the Power of Negative Thinking Joao Marcos
• [Logica-l] Why Mathematical Proof Is a Social Compact Ruy Jose Guerra Barretto de Queiroz
  • Re: [Logica-l] Why Mathematical Proof Is a Social Compact Joao Marcos
  • [Logica-l] math and AI Joao Marcos
• [Logica-l] Vitor Greati @ VCLA International Student Awards 2023 Joao Marcos
  • Re: [Logica-l] Vitor Greati @ VCLA International Student Awards 2023 Marcelo Finger
  • Re: [Logica-l] Vitor Greati @ VCLA International Student Awards 2023 Aldo Figallo-Orellano
  • Re: [Logica-l] Vitor Greati @ VCLA International Student Awards 2023 Walter Carnielli
  • Re: [Logica-l] Vitor Greati @ VCLA International Student Awards 2023 Itala Maria Loffredo D'Ottaviano
• [Logica-l] Fwd: Call for Participation: ANU Logic Summer School, Dec 4 -- 15, 2023 Joao Marcos
• [Logica-l] Józef Maria Bocheński: celebration of his birthday at the Logica Universalis Webinar, August 30 at 4pm CET jean-yves beziau
• [Logica-l] Nova live sobre Conjuntos e Matemática 'samuel' via LOGICA-L
• [Logica-l] Propositions as types: explained (and debunked) Joao Marcos
• [Logica-l] Fwd: [SBL-Sócios] Fwd: CHAMADO para a luta pela ciência e pela democracia Hugo Luiz Mariano
• [Logica-l] Mensagem inicial da diretoria eleita da SBL (7/2023-6/2025) Hugo Luiz Mariano
• [Logica-l] An Old Conjecture Falls, Making Spheres a Lot More Complicated Ruy Jose Guerra Barretto de Queiroz
• [Logica-l] Meta-Complexity Theory Joao Marcos
• [Logica-l] LUW August 23, Chai Wah Wu. On rearrangement inequalities for triangular norms and co-norms in multi-valued logic jean-yves beziau
• [Logica-l] Fwd: [members-philmathpractice] Call for Papers: APMP 2024 in Pavia, Italy, June 18-21, 2024 Gisele Secco
• [Logica-l] Please, check my P=NP proof for errors Victor Porton
• [Logica-l] [OFF TOPIC} -Símbolos lógicos no LibreOffice Walter Carnielli
  • Re: [Logica-l] [OFF TOPIC} -Símbolos lógicos no LibreOffice benevidesh.
• [Logica-l] Fwd: ACM SIGLOG Research Highlights call for nominations Joao Marcos
• [Logica-l] CONTRADICTION IN ISLAMIC PHILOSOPHY AND MYSTICISM / LARAWebinar August 17 at 4pm CET jean-yves beziau
• [Logica-l] [Final reminder] CfA: New Perspectives on Anomalies in the Sciences Maria Martinez-Ordaz
• [Logica-l] Fwd: [Agda] Postdoc position, Logic and Semantics Group in Tallinn E. Rivas
• [Logica-l] [CfA Deadline approaching] New Perspectives on Anomalies in the Sciences Maria Martinez-Ordaz
• [Logica-l] Ferramentas de Ensino: NADIA e ANITA Davi Romero
  • Re: [Logica-l] Ferramentas de Ensino: NADIA e ANITA Elaine Pimentel
• [Logica-l] academic publishing Valeria de Paiva
• [Logica-l] (SILFS-L) CfP - Philosophy of Mathematics: Models, Methods, and Applications - 3rd FilMat Graduate Conference - Rome, January 11-12, 2024 Walter Carnielli
• Re: [Logica-l] Coluna sobre IA no Rádio Walter Carnielli
  • Re: [Logica-l] Coluna sobre IA no Rádio Itala Maria Loffredo D'Ottaviano
  • Re: [Logica-l] Coluna sobre IA no Rádio Elaine Pimentel
  • Re: [Logica-l] Coluna sobre IA no Rádio 'Aline Andrade' via LOGICA-L
  • Re: [Logica-l] Coluna sobre IA no Rádio Adolfo Neto
  • Re: [Logica-l] Coluna sobre IA no Rádio Adolfo Neto
• [Logica-l] Lógica em tempos de guerra --- para reflexão Joao Marcos
  • Re: [Logica-l] Lógica em tempos de guerra --- para reflexão Walter Carnielli
  • Re: [Logica-l] Lógica em tempos de guerra --- para reflexão Julio Stern
  • Fwd: [Logica-l] Lógica em tempos de guerra --- para reflexão Wagner de Campos Sanz
  • Re: [Logica-l] Lógica em tempos de guerra --- para reflexão Itala Maria Loffredo D'Ottaviano
  • Re: [Logica-l] Lógica em tempos de guerra --- para reflexão Gisele Secco
  • Re: [Logica-l] Lógica em tempos de guerra --- para reflexão Valeria de Paiva
  • Re: [Logica-l] Lógica em tempos de guerra --- para reflexão Itala Maria Loffredo D'Ottaviano
  • Re: [Logica-l] Lógica em tempos de guerra --- para reflexão João Ferrari
  • Re: [Logica-l] Lógica em tempos de guerra --- para reflexão Wagner de Campos Sanz
  • Re: [Logica-l] Lógica em tempos de guerra --- para reflexão Valeria de Paiva
  • Re: [Logica-l] Lógica em tempos de guerra --- para reflexão Eduardo Ochs
  • [Logica-l] Re: Lógica em tempos de guerra --- para reflexão Joao Marcos
• [Logica-l] CFP: WEIT 2023 Joao Marcos
  • Re: [Logica-l] CFP: WEIT 2023 Gleifer Vaz Alves
• [Logica-l] Concurso para Professor na UFLA Newton Peron
• [Logica-l] SALOME 1 jean-yves beziau
• [Logica-l] Fwd: Novo Número da Revista Analytica - Volume 25, número 2: 100 ANOS DO TRACTATUS LOGICO-PHILOSOPHICUS Marcos Silva
• [Logica-l] Fwd: Tenure track positions in Prague (available to logicians) Joao Marcos
• [Logica-l] How the Four-Color Map Problem Was Finally Solved Ruy Jose Guerra Barretto de Queiroz
• [Logica-l] 34o colóquio brasileiro de matemática Renata de Freitas
  • [Logica-l] Re: 34o colóquio brasileiro de matemática 'samuel' via LOGICA-L
• [Logica-l] [OFF] The true cost of science’s language barrier for non-native English speakers Joao Marcos
• [Logica-l] SBMF 2023 - Final Call for Papers with *** Deadline Extensions *** Haniel Barbosa
• [Logica-l] Homenagem da SBPC a Newton da Costa - 25/07/2023 18h30 Cesar Serbena
  • Re: [Logica-l] Homenagem da SBPC a Newton da Costa - 25/07/2023 18h30 Itala Maria Loffredo D'Ottaviano
  • Re: [Logica-l] Homenagem da SBPC a Newton da Costa - 25/07/2023 18h30 Cesar Serbena
  • Re: [Logica-l] Homenagem da SBPC a Newton da Costa - 25/07/2023 18h30 Walter Carnielli
  • Re: [Logica-l] Homenagem da SBPC a Newton da Costa - 25/07/2023 18h30 Julio Stern
  • Re: [Logica-l] Homenagem da SBPC a Newton da Costa - 25/07/2023 18h30 Itala Maria Loffredo D'Ottaviano
• [Logica-l] ainda sobre o tópico do gênero em Lógica Joao Marcos
• [Logica-l] Trends in Logic conference- Torun,2023 Walter Carnielli
  • Re: [Logica-l] Trends in Logic conference- Torun,2023 Gisele Secco
  • Re: [Logica-l] Trends in Logic conference- Torun,2023 Valeria de Paiva
  • Re: [Logica-l] Trends in Logic conference- Torun,2023 Elaine Pimentel
  • Re: [Logica-l] Trends in Logic conference- Torun,2023 Hermógenes Oliveira
  • Re: [Logica-l] Trends in Logic conference- Torun,2023 Valeria de Paiva
  • Re: [Logica-l] Trends in Logic conference- Torun,2023 Jorge Petrucio Viana
  • Re: [Logica-l] Trends in Logic conference- Torun,2023 Walter Carnielli
  • Re: [Logica-l] Trends in Logic conference- Torun,2023 Joao Marcos
  • Re: [Logica-l] Trends in Logic conference- Torun,2023 Valeria de Paiva
  • Re: [Logica-l] Trends in Logic conference- Torun,2023 Jorge Petrucio Viana
  • Re: [Logica-l] Trends in Logic conference- Torun,2023 Gisele Secco
  • Re: [Logica-l] Trends in Logic conference- Torun,2023 Walter Carnielli
  • Re: [Logica-l] Trends in Logic conference- Torun,2023 Maria Martinez-Ordaz
  • Re: [Logica-l] Trends in Logic conference- Torun,2023 Gisele Secco
  • Re: [Logica-l] Trends in Logic conference- Torun,2023 Joao Marcos
  • Re: [Logica-l] Trends in Logic conference- Torun,2023 Gisele Secco
  • Re: [Logica-l] Trends in Logic conference- Torun,2023 'Ciro Russo' via LOGICA-L
  • Re: [Logica-l] Trends in Logic conference- Torun, 2023 Hermógenes Oliveira
  • Re: [Logica-l] Trends in Logic conference- Torun, 2023 Marcos Silva
  • Re: [Logica-l] Trends in Logic conference- Torun, 2023 Valeria de Paiva
  • Re: [Logica-l] Trends in Logic conference- Torun, 2023 Mayk Alves de Andrade
• [Logica-l] 286386577668298411128469151667598498812366 ... Joao Marcos
  • [Logica-l] Re: 286386577668298411128469151667598498812366 ... Joao Marcos
  • Fwd: [Logica-l] Re: 286386577668298411128469151667598498812366 ... Joao Marcos
• [Logica-l] 2nd CFP 1st Workshop on Contradictory Logics, December 6-8, 2023, Ruhr University Bochum + Additional Information 'Daniel Skurt' via LOGICA-L
• [Logica-l] LUW session, July 19, G.Shtakser, Odessa, Epistemic Logics with Quantification Over Epistemic Operators jean-yves beziau
• [Logica-l] Fwd: [TYPES/announce] Undone Computer Science — Call for contributions Elaine Pimentel
• [Logica-l] An Infinite Dilemma of Bliss and Suffering Joao Marcos
• [Logica-l] "INTELIGÊNCIA ARTIFICIAL: TUDO O QUE VOCÊ PRECISA SABER - MIGUEL NICOLELIS - Programa 20 Minutos" no YouTube Walter Carnielli
  • Re: [Logica-l] "INTELIGÊNCIA ARTIFICIAL: TUDO O QUE VOCÊ PRECISA SABER - MIGUEL NICOLELIS - Programa 20 Minutos" no YouTube Adolfo Neto
• [Logica-l] "How to Build a Big Prime Number" Ruy Jose Guerra Barretto de Queiroz
• [Logica-l] SBMF 2023 - Second Call for Papers Haniel Barbosa
• [Logica-l] pets desculpas por possível repetição de informação Jorge Petrucio Viana
• [Logica-l] Defesa de tese de doutorado Mario Roberto Folhadela Benevides
• [Logica-l] LUW July 12 - Rooted Hypersequent Calculus for Modal Logic S5 by Hamzeh Mohammad jean-yves beziau
• [Logica-l] Logic Courseware, Surveyed Elaine Pimentel
• [Logica-l] LOGIC JOURNALS - SCOPUS 2-YEAR IMPACT FACTOR – JULY 2023 jean-yves beziau
• [Logica-l] v. 47, n. 2 (2020) Número Especial sobre Filosofia da Lógica Marcos Silva
• [Logica-l] computer proof checking Joao Marcos
• [Logica-l] Why Logics? jean-yves beziau
• [Logica-l] THE ULTIMATE-UNSPEAKABLE PARADOX AND THE PRINCIPLE OF NON-CONTRADICTION jean-yves beziau
• [Logica-l] Master program "History, Philosophy and Culture of Science" (HPS+) 'Daniel Skurt' via LOGICA-L
• [Logica-l] Mathematicians Discover The Ninth Dedekind Number, After 32 Years of Searching : ScienceAlert Ruy de Queiroz
• [Logica-l] CfA Workshop: New Perspectives on Anomalies in the Sciences Maria Martinez-Ordaz
• [Logica-l] Coletivo Lógica Viva: sobre infinitos, números e provas Marcos Silva
  • [Logica-l] Re: Coletivo Lógica Viva: sobre infinitos, números e provas Daniel Durante
  • [Logica-l] Re: Coletivo Lógica Viva: sobre infinitos, números e provas 'samuel' via LOGICA-L
  • [Logica-l] Re: Coletivo Lógica Viva: sobre infinitos, números e provas Daniel Durante
  • [Logica-l] Re: Coletivo Lógica Viva: sobre infinitos, números e provas Daniel Durante
  • Re: [Logica-l] Re: Coletivo Lógica Viva: sobre infinitos, números e provas Valeria de Paiva
  • Re: [Logica-l] Re: Coletivo Lógica Viva: sobre infinitos, números e provas 'Samuel Gomes da Silva' via LOGICA-L
  • Re: [Logica-l] Re: Coletivo Lógica Viva: sobre infinitos, números e provas Jorge Petrucio Viana
  • Re: [Logica-l] Re: Coletivo Lógica Viva: sobre infinitos, números e provas 'Samuel Gomes da Silva' via LOGICA-L
  • Re: [Logica-l] Re: Coletivo Lógica Viva: sobre infinitos, números e provas Jorge Petrucio Viana
  • Re: [Logica-l] Coletivo Lógica Viva: sobre infinitos, números e provas Márcio Palmares
  • Re: [Logica-l] Coletivo Lógica Viva: sobre infinitos, números e provas Valeria de Paiva
  • Re: [Logica-l] Coletivo Lógica Viva: sobre infinitos, números e provas Itala Maria Loffredo D'Ottaviano
  • Re: [Logica-l] Coletivo Lógica Viva: sobre infinitos, números e provas Márcio Palmares
  • [Logica-l] ao Cassiano Terra Rodrigues
  • [Logica-l] Re: ao Márcio Palmares
  • [Logica-l] Re: ao Daniel Durante
  • Re: [Logica-l] Re: ao Joao Marcos
  • [Logica-l] Re: ao 'Samuel Gomes da Silva' via LOGICA-L
  • [Logica-l] Re: ao Márcio Palmares
  • [Logica-l] Re: ao Cassiano Terra Rodrigues
  • [Logica-l] Re: ao Julio Stern
  • [Logica-l] Re: ao Daniel Durante
  • [Logica-l] Re: ao Daniel Durante
  • [Logica-l] Re: ao 'Samuel Gomes da Silva' via LOGICA-L
  • Re: [Logica-l] Re: ao Ruy Jose Guerra Barretto de Queiroz
  • Re: [Logica-l] Re: ao Mayk Alves de Andrade
  • Re: [Logica-l] Re: Coletivo Lógica Viva: sobre infinitos, números e provas Itala Maria Loffredo D'Ottaviano
• [Logica-l] o ChatGPT sob as lentes da comunidade de Raciocínio Automatizado Joao Marcos
• [Logica-l] A.I. Is Coming for Mathematics, Too Joao Marcos
• [Logica-l] entender um "não" parece não ser tão fácil assim? Joao Marcos
• [Logica-l] Fwd: Boletim mensal: lógica Joao Marcos
• [Logica-l] Fwd: JOB: Two-year Postdoc in Philosophy of Logic and/or Science, Padova Joao Marcos
• [Logica-l] Fwd: Postdoc position in algebra and logic Elaine Pimentel
• [Logica-l] Vaga docente na área de lógica e teoria da computação na UFERSA Claudio Callejas
• [Logica-l] Recounting the History of Math’s Transcendental Numbers | Quanta Magazine Ruy de Queiroz
  • [Logica-l] re-contando números Joao Marcos
  • Re: [Logica-l] re-contando números Frode Bjørdal
  • Re: [Logica-l] re-contando números Frode Bjørdal
  • Re: [Logica-l] re-contando números Martín Figallo
  • Re: [Logica-l] re-contando números Joao Marcos
  • Re: [Logica-l] re-contando números 'samuel' via LOGICA-L
  • Re: [Logica-l] re-contando números Marcelo Finger
  • Re: [Logica-l] re-contando números 'samuel' via LOGICA-L
  • Re: [Logica-l] re-contando números Claudio Callejas
  • Re: [Logica-l] re-contando números Eduardo Ochs
  • Re: [Logica-l] re-contando números 'Samuel Gomes da Silva' via LOGICA-L
  • Re: [Logica-l] re-contando números Eduardo Ochs
• [Logica-l] Embracing change and resetting expectations | Microsoft Unlocked Ruy de Queiroz
  • Re: [Logica-l] Embracing change and resetting expectations | Microsoft Unlocked Walter Carnielli
• [Logica-l] Um "paradoxo verdadeiro" em Física 'samuel' via LOGICA-L
  • Re: [Logica-l] Um "paradoxo verdadeiro" em Física josé carlos cifuentes
  • Re: [Logica-l] Um "paradoxo verdadeiro" em Física 'Samuel Gomes da Silva' via LOGICA-L
• [Logica-l] Kherian Gracher - O que é uma negação? 29 de junho 17h IFCS-UFRJ - Seminário de Lógica Carioca jean-yves beziau
• [Logica-l] Ultravaluations and their Applications in Classical Propositional Logic - LUWebinar, June 28, 4pm CET jean-yves beziau
• [Logica-l] Fwd: Divulgação de concurso para professor Bruno Lopes
• [Logica-l] 29th WoLLIC 2023 - Final Call for Participation Ruy Jose Guerra Barretto de Queiroz

• Mensagens anteriores
• Mensagens posteriores