logica-l

Índice cronológico

2023/11/23 [Logica-l] 286.386.577.668.298.411.128.469.151.667.598.498.812.366 Joao Marcos
2023/11/22 Re: [Logica-l] Concurso Filosofia UFFS Walter Carnielli
2023/11/22 [Logica-l] Concurso Filosofia UFFS Newton Peron
2023/11/21 [Logica-l] Fwd: [LOGIC] CfR: Wittgenstein and the formal sciences 3, 10 January 2024, Online [World Logic Day Event] Camilo Thorne
2023/11/21 [Logica-l] Re: tradução entre linguagem natural e linguagem formal Joao Marcos
2023/11/21 [Logica-l] Re: tradução entre linguagem natural e linguagem formal Joao Marcos
2023/11/21 Re: [Logica-l] "Impossible to understand" / "nada justifica" Wagner de Campos Sanz
2023/11/21 [Logica-l] "Impossible to understand" / "nada justifica" Eduardo Ochs
2023/11/20 [Logica-l] Palestras dos professores Marcelo Finger e Alfredo Goldman na UTFPR (Ponta Grossa) Gleifer Vaz Alves
2023/11/19 Re: [Logica-l] Re: [OFF] Fwd: Fw: Open letter Eduardo Ochs
2023/11/19 Re: [Logica-l] Re: [OFF] Fwd: Fw: Open letter Cassiano Terra Rodrigues
2023/11/19 Re: [Logica-l] Re: [OFF] Fwd: Fw: Open letter Joao Marcos
2023/11/19 Re: [Logica-l] tradução entre linguagem natural e linguagem formal Anderson Nakano
2023/11/19 Re: [Logica-l] Re: [OFF] Fwd: Fw: Open letter Márcio Palmares
2023/11/19 [Logica-l] Re: [OFF] Fwd: Fw: Open letter Cassiano Terra Rodrigues
2023/11/18 Re: [Logica-l] [OFF] Fwd: Fw: Open letter Martín Figallo
2023/11/18 [Logica-l] [OFF] Arnon Avron vs. pacotão de livros e artigos Eduardo Ochs
2023/11/18 [Logica-l] [OFF] Fwd: Fw: Open letter Joao Marcos
2023/11/17 Re: [Logica-l] tradução entre linguagem natural e linguagem formal Valeria de Paiva
2023/11/17 Re: [Logica-l] tradução entre linguagem natural e linguagem formal Alexandre Rademaker
2023/11/17 [Logica-l] 30th WoLLIC 2024 - Second Call for Papers Ruy Jose Guerra Barretto de Queiroz
2023/11/17 Re: [Logica-l] tradução entre linguagem natural e linguagem formal Alexandre Rademaker
2023/11/17 Re: [Logica-l] tradução entre linguagem natural e linguagem formal Alexandre Rademaker
2023/11/17 Re: [Logica-l] tradução entre linguagem natural e linguagem formal Joao Marcos
2023/11/17 Re: [Logica-l] tradução entre linguagem natural e linguagem formal Marcelo Finger
2023/11/16 [Logica-l] Special Issue: Rejection Logic - Logica Universalis. Volume 17, Issue 4 is now available online. jean-yves beziau
2023/11/16 [Logica-l] The Astonishing Behavior of Recursive Sequences | Quanta Magazine Ruy de Queiroz
2023/11/16 Re: [Logica-l] tradução entre linguagem natural e linguagem formal Alexandre Rademaker
2023/11/16 Re: [Logica-l] tradução entre linguagem natural e linguagem formal Alexandre Rademaker
2023/11/16 Re: [Logica-l] tradução entre linguagem natural e linguagem formal Adolfo Neto
2023/11/16 Re: [Logica-l] tradução entre linguagem natural e linguagem formal Alexandre Rademaker
2023/11/16 Re: [Logica-l] tradução entre linguagem natural e linguagem formal Marcelo Finger
2023/11/16 Re: [Logica-l] tradução entre linguagem natural e linguagem formal Vivek Nigam
2023/11/16 Re: [Logica-l] tradução entre linguagem natural e linguagem formal Adolfo Neto
2023/11/16 Re: [Logica-l] tradução entre linguagem natural e linguagem formal Eduardo Ochs
2023/11/16 Re: [Logica-l] tradução entre linguagem natural e linguagem formal Elaine Pimentel
2023/11/16 Re: [Logica-l] tradução entre linguagem natural e linguagem formal Francisco Miraglia Neto
2023/11/16 [Logica-l] tradução entre linguagem natural e linguagem formal Joao Marcos
2023/11/15 Re: [Logica-l] Episódio 41: Lean e Verificação de Software, com Leonardo de Moura (AWS) Joao Marcos
2023/11/14 [Logica-l] Episódio 41: Lean e Verificação de Software, com Leonardo de Moura (AWS) Adolfo Neto
2023/11/13 [Logica-l] Morphisms between Aristotelian Diagrams by Alex De Klerck, LUWebinar, Nov 15, 4pm, Paris-Geneva-Rome jean-yves beziau
2023/11/12 [Logica-l] Lógica Carioca 16-11-2023 - Décio Krause: "O que é a identidade?" jean-yves beziau
2023/11/09 [Logica-l] Fwd: POST-DOC POSITION in Logic and Philosophy of Science (Turin) Joao Marcos
2023/11/09 [Logica-l] PhD opportunities at the University of Birmingham Elaine Pimentel
2023/11/08 [Logica-l] Re: SBFA: Equilíbrio Reflexivo na Lógica (ter, 7/11, 18hs) Marcos Silva
2023/11/08 [Logica-l] SBFA, 10/11, 18hs: A linguagem no Logical Forms, com Ana Polakof (UDELAR) Marcos Silva
2023/11/08 [Logica-l] Fwd: [WiL] Helmut Veith Stipend for Female Master’s Students in Computer Science - Deadline Nov 30 Elaine Pimentel
2023/11/06 Re: [Logica-l] sobre os fundamentos da matemática 'samuel' via LOGICA-L
2023/11/05 Re: [Logica-l] sobre os fundamentos da matemática Joao Marcos
2023/11/05 Re: [Logica-l] sobre os fundamentos da matemática Frode Bjørdal
2023/11/04 [Logica-l] new interdisciplinary PhD program in CA Valeria de Paiva
2023/11/04 [Logica-l] post-doc position Fred Freitas
2023/11/03 [Logica-l] Pos-Doc em Roma, Universidade Tor Vergata Walter Carnielli
2023/11/03 Re: [Logica-l] sobre os fundamentos da matemática Walter Carnielli
2023/11/03 [Logica-l] sobre os fundamentos da matemática Joao Marcos
2023/11/03 [Logica-l] Fwd: Postdoc position in Rome Tor Vergata (deadline, November 18th) Marcelo Esteban Coniglio
2023/11/03 [Logica-l] SBFA: Equilíbrio Reflexivo na Lógica (ter, 7/11, 18hs) Marcos Silva
2023/11/02 [Logica-l] Fwd: CFA postdoctoral researcher in Logic at LUCI Lab, Milano Joao Marcos
2023/11/01 Re: [Logica-l] "Can the Collatz conjecture be proven, or not?" Walter Carnielli
2023/11/01 [Logica-l] "Can the Collatz conjecture be proven, or not?" Eduardo Ochs
2023/11/01 [Logica-l] MESTRADO e DOUTORADO em COMPUTAÇÃO na UFF - 2024.1 Bruno Lopes
2023/11/01 [Logica-l] Um argumento de ponto fixo em Lógica: o Teorema da Reflexão de Lévy 'samuel' via LOGICA-L
2023/10/31 [Logica-l] Fwd: CfParticipation: Announcing a new monthly online seminar on the topic of first-order modal logic, starting 6 November 2023 Joao Marcos
2023/10/30 Re: [Logica-l] Dov Gabbay continua alargando os horizontes da Lógica Formal Julio Stern
2023/10/30 Re: [Logica-l] Dov Gabbay continua alargando os horizontes da Lógica Formal Walter Carnielli
2023/10/30 [Logica-l] Dov Gabbay continua alargando os horizontes da Lógica Formal Marcelo Finger
2023/10/27 [Logica-l] PhD Studentship in Proof-theoretic Semantics at UCL Elaine Pimentel
2023/10/26 [Logica-l] Fwd: PhD position Toruń Joao Marcos
2023/10/23 Re: [Logica-l] Re: curiosidades (equivocadas) sobre Russell Marcelo Finger
2023/10/23 [Logica-l] Re: curiosidades (equivocadas) sobre Russell Joao Marcos
2023/10/23 Re: [Logica-l] What came first, math or computing? Haniel Barbosa
2023/10/22 [Logica-l] curiosidades (equivocadas) sobre Russell Joao Marcos
2023/10/22 [Logica-l] What came first, math or computing? Joao Marcos
2023/10/20 [Logica-l] Multiple Faculty Positions in Computer Science, Computational Biology, and Human-Computer Interaction Giselle Reis
2023/10/19 [Logica-l] Fwd: Call for Papers: Advances in Non-Classical Mathematics (Special Issue of the Logic Journal of the IGPL) Joao Marcos
2023/10/18 [Logica-l] Why doesn't Candomblé have a Problem of Evil? The Logic and Religion Webinar Assis
2023/10/18 [Logica-l] A noção de antilogia jean-yves beziau
2023/10/18 [Logica-l] LUW October 18 / A Study of the Metatheory of Assertoric Syllogistic jean-yves beziau
2023/10/18 [Logica-l] Fwd: CFP extended - Special Issue on Non-Classical Reasoning for Contemporary AI Applications Joao Marcos
2023/10/17 [Logica-l] Fwd: Postdoctoral fellowship at Stockholm University Joao Marcos
2023/10/16 [Logica-l] Fwd: [LOGIC] CfParticipation: Dov Gabbay Prize 2023 - Online Ceremony, October 25 Elaine Pimentel
2023/10/11 Re: [Logica-l] Mesa de Filosofia da lógica: Consequência lógica Henrique Antunes
2023/10/11 Re: [Logica-l] Mesa de Filosofia da lógica: Consequência lógica Henrique Antunes
2023/10/11 Fwd: [Logica-l] Mesa de Filosofia da lógica: Consequência lógica Juan Carlos Agudelo Agudelo
2023/10/11 Re: [Logica-l] Mesa de Filosofia da lógica: Consequência lógica Joao Marcos
2023/10/11 [Logica-l] Códigos de cobertura: um tópico antigo, ainda muito quente Walter Carnielli
2023/10/11 [Logica-l] Fwd: Call for Applications: 2 PhD Positions Elaine Pimentel
2023/10/11 [Logica-l] [SBFA] II EBFA Marcos Silva
2023/10/11 Re: [Logica-l] Mesa de Filosofia da lógica: Consequência lógica Anderson Nakano
2023/10/10 Re: [Logica-l] Mesa de Filosofia da lógica: Consequência lógica Joao Marcos
2023/10/10 Re: [Logica-l] Mesa de Filosofia da lógica: Consequência lógica 'Samuel Gomes da Silva' via LOGICA-L
2023/10/10 Re: [Logica-l] Mesa de Filosofia da lógica: Consequência lógica Juan Carlos Agudelo Agudelo
2023/10/09 Re: [Logica-l] Mesa de Filosofia da lógica: Consequência lógica Daniel Durante
2023/10/09 Re: [Logica-l] Re: Mesa de Filosofia da lógica: Consequência lógica Henrique Antunes
2023/10/09 Re: [Logica-l] Re: Mesa de Filosofia da lógica: Consequência lógica 'Samuel Gomes da Silva' via LOGICA-L
2023/10/09 Re: [Logica-l] Re: Mesa de Filosofia da lógica: Consequência lógica Henrique Antunes
2023/10/09 Re: [Logica-l] Re: Mesa de Filosofia da lógica: Consequência lógica 'Samuel Gomes da Silva' via LOGICA-L
2023/10/09 Re: [Logica-l] Re: Mesa de Filosofia da lógica: Consequência lógica Walter Carnielli
2023/10/09 [Logica-l] Re: Mesa de Filosofia da lógica: Consequência lógica 'samuel' via LOGICA-L
2023/10/05 Re: [Logica-l] já peço desculpas... Cleyton Slaviero
2023/10/05 Re: [Logica-l] já peço desculpas... Joao Marcos
2023/10/05 [Logica-l] já peço desculpas... Jorge Petrucio Viana
2023/10/04 [Logica-l] Mesa de Filosofia da lógica: Consequência lógica Joao Marcos
2023/10/04 Re: [Logica-l] Des manuscrits inédits du génie des maths Alexandre Grothendieck à la BnF Walter Carnielli
2023/10/04 Re: [Logica-l] Des manuscrits inédits du génie des maths Alexandre Grothendieck à la BnF Cassiano Terra Rodrigues
2023/10/03 Re: [Logica-l] Des manuscrits inédits du génie des maths Alexandre Grothendieck à la BnF Joao Marcos
2023/10/03 Re: [Logica-l] Des manuscrits inédits du génie des maths Alexandre Grothendieck à la BnF Gisele Secco
2023/10/03 Re: [Logica-l] Des manuscrits inédits du génie des maths Alexandre Grothendieck à la BnF Joao Marcos
2023/10/03 Re: [Logica-l] Des manuscrits inédits du génie des maths Alexandre Grothendieck à la BnF Hugo Luiz Mariano
2023/10/03 [Logica-l] Um framework lógico para raciocínio sobre sistemas críticos, Bruno Lopes (UFF) Adolfo Neto
2023/10/02 Re: [Logica-l] Des manuscrits inédits du génie des maths Alexandre Grothendieck à la BnF Gisele Secco
2023/10/02 [Logica-l] Des manuscrits inédits du génie des maths Alexandre Grothendieck à la BnF Ruy Jose Guerra Barretto de Queiroz
2023/10/02 [Logica-l] Carnap’s Problem for Intuitionistic Propositional Logic jean-yves beziau
2023/10/02 [Logica-l] ETMF 2023 (co-located with SBMF 2023) - Call for participation Haniel Barbosa
2023/10/02 [Logica-l] LUW Oct 4, 2023 - Complementary Proof Nets for Classical Logic by Gabriele Pulcini jean-yves beziau
2023/09/30 [Logica-l] What’s a Qubit? 3 Ways Scientists Build Quantum Computers - Scientific American Ruy Jose Guerra Barretto de Queiroz
2023/09/29 [Logica-l] Ciclo de palestras, SBFA, Feyerabend Marcos Silva
2023/09/28 [Logica-l] [Convite | Registro] Workshop "New Perspectives on Anomalies in the Sciences" Maria Martinez-Ordaz
2023/09/28 [Logica-l] Automated Reasoning Call for Proposals — Fall 2023 Adolfo Neto
2023/09/28 [Logica-l] A Home for Proof-Theoretic Semanticists Joao Marcos
2023/09/27 [Logica-l] SALOME 1 - The 1st South American Logic Meeting - Extended Deadline: October 4th jean-yves beziau
2023/09/25 [Logica-l] Logica Universalis - ToC Alert - Volume 17, Issue 3 - 2023 jean-yves beziau
2023/09/25 [Logica-l] Fwd: Call for a Researcher Position at the Slovak Academy of Sciences Joao Marcos
2023/09/24 [Logica-l] CiE 2024: FIRST CALL FOR PAPERS Elaine Pimentel
2023/09/20 [Logica-l] OFF-topic: "Style, Method and Philosophy in Wittgenstein" Cassiano Terra Rodrigues
2023/09/19 [Logica-l] OFF-TOPIC : Chamada de artigos Cassiano Terra Rodrigues
2023/09/19 [Logica-l] 30th WoLLIC 2024 - 1st Call for Papers Ruy Jose Guerra Barretto de Queiroz
2023/09/19 [Logica-l] Lógica Carioca 21-09-2023 - Maria Martinez + Michael Burton jean-yves beziau
2023/09/19 [Logica-l] Fwd: [LOGIC] CfA: PostDoc 2y/ defeasible reasoning/ deontic logic, Bochum (Germany), deadline: 9 October 2023 Camilo Thorne
2023/09/19 [Logica-l] Fwd: [LOGIC] CfA: 3 postdocs in mathematics (including logic), Turin (Italy), Deadline: 29 September 2023 - 13:00 CEST Camilo Thorne
2023/09/19 [Logica-l] LUW Sept 20, 2023 - On Consequence and Rejection as Operators by Alexei Muravitsky jean-yves beziau
2023/09/18 [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
2023/09/18 [Logica-l] Fwd: CfA: 2 Tenure track positions available to logicians (2nd call, deadline change), Prague (Czech Republic), Deadline: 20 November 2023 Joao Marcos
2023/09/18 [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
2023/09/18 [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
2023/09/16 [Logica-l] 94 anos de Newton da Costa jean-yves beziau
2023/09/16 [Logica-l] Fwd: Expressions of interests for two postdoctoral positions in Logic and Computer Science (Cagliari & Urbino, Italy) Joao Marcos
2023/09/16 [Logica-l] Faculty positions at Carnegie Mellon University in Qatar Giselle Reis
2023/09/16 [Logica-l] a serious disease Jorge Petrucio Viana
2023/09/15 [Logica-l] Fwd: Postdoc at the University of Cagliari Joao Marcos
2023/09/15 [Logica-l] Fwd: Expression of interest for several postdoctoral positions in Logic Joao Marcos
2023/09/14 [Logica-l] SALOME 1 - Cusco, Peru, January 12-15, 2024 jean-yves beziau
2023/09/11 Re: [Logica-l] Livro em homenagem à obra de Décio Krause Evandro L. Gomes
2023/09/07 Re: [Logica-l] Livro em homenagem à obra de Décio Krause Ricardo Grande
2023/09/07 Re: [Logica-l] Livro em homenagem à obra de Décio Krause josé carlos cifuentes
2023/09/07 Re: [Logica-l] Livro em homenagem à obra de Décio Krause Joao Marcos
2023/09/07 Re: [Logica-l] Livro em homenagem à obra de Décio Krause Elaine Pimentel
2023/09/07 Re: [Logica-l] Livro em homenagem à obra de Décio Krause João Ferrari
2023/09/07 Re: [Logica-l] Livro em homenagem à obra de Décio Krause Marcelo Esteban Coniglio
2023/09/07 [Logica-l] Livro em homenagem à obra de Décio Krause Raoni Wohnrath Arroyo
2023/09/05 [Logica-l] Alan Turing and the Power of Negative Thinking Joao Marcos
2023/09/05 [Logica-l] math and AI Joao Marcos
2023/09/05 Re: [Logica-l] Why Mathematical Proof Is a Social Compact Joao Marcos
2023/09/01 [Logica-l] Why Mathematical Proof Is a Social Compact Ruy Jose Guerra Barretto de Queiroz
2023/08/30 Re: [Logica-l] Vitor Greati @ VCLA International Student Awards 2023 Itala Maria Loffredo D'Ottaviano
2023/08/30 Re: [Logica-l] Vitor Greati @ VCLA International Student Awards 2023 Walter Carnielli
2023/08/30 Re: [Logica-l] Re: ao Mayk Alves de Andrade
2023/08/30 Re: [Logica-l] Vitor Greati @ VCLA International Student Awards 2023 Aldo Figallo-Orellano
2023/08/30 Re: [Logica-l] Vitor Greati @ VCLA International Student Awards 2023 Marcelo Finger
2023/08/30 [Logica-l] Vitor Greati @ VCLA International Student Awards 2023 Joao Marcos
2023/08/29 [Logica-l] Fwd: Call for Participation: ANU Logic Summer School, Dec 4 -- 15, 2023 Joao Marcos
2023/08/29 [Logica-l] Józef Maria Bocheński: celebration of his birthday at the Logica Universalis Webinar, August 30 at 4pm CET jean-yves beziau
2023/08/26 [Logica-l] Nova live sobre Conjuntos e Matemática 'samuel' via LOGICA-L
2023/08/23 [Logica-l] Propositions as types: explained (and debunked) Joao Marcos
2023/08/23 [Logica-l] Fwd: [SBL-Sócios] Fwd: CHAMADO para a luta pela ciência e pela democracia Hugo Luiz Mariano
2023/08/23 [Logica-l] Mensagem inicial da diretoria eleita da SBL (7/2023-6/2025) Hugo Luiz Mariano
2023/08/22 [Logica-l] An Old Conjecture Falls, Making Spheres a Lot More Complicated Ruy Jose Guerra Barretto de Queiroz
2023/08/22 [Logica-l] Meta-Complexity Theory Joao Marcos
2023/08/21 [Logica-l] LUW August 23, Chai Wah Wu. On rearrangement inequalities for triangular norms and co-norms in multi-valued logic jean-yves beziau
2023/08/21 [Logica-l] Fwd: [members-philmathpractice] Call for Papers: APMP 2024 in Pavia, Italy, June 18-21, 2024 Gisele Secco
2023/08/17 [Logica-l] Please, check my P=NP proof for errors Victor Porton
2023/08/17 Re: [Logica-l] [OFF TOPIC} -Símbolos lógicos no LibreOffice benevidesh.
2023/08/17 [Logica-l] [OFF TOPIC} -Símbolos lógicos no LibreOffice Walter Carnielli
2023/08/17 [Logica-l] Fwd: ACM SIGLOG Research Highlights call for nominations Joao Marcos
2023/08/15 [Logica-l] CONTRADICTION IN ISLAMIC PHILOSOPHY AND MYSTICISM / LARAWebinar August 17 at 4pm CET jean-yves beziau
2023/08/14 [Logica-l] [Final reminder] CfA: New Perspectives on Anomalies in the Sciences Maria Martinez-Ordaz
2023/08/11 [Logica-l] Fwd: [Agda] Postdoc position, Logic and Semantics Group in Tallinn E. Rivas
2023/08/11 Re: [Logica-l] Coluna sobre IA no Rádio Adolfo Neto
2023/08/11 [Logica-l] [CfA Deadline approaching] New Perspectives on Anomalies in the Sciences Maria Martinez-Ordaz
2023/08/11 Re: [Logica-l] Ferramentas de Ensino: NADIA e ANITA Elaine Pimentel
2023/08/11 [Logica-l] Ferramentas de Ensino: NADIA e ANITA Davi Romero
2023/08/10 [Logica-l] academic publishing Valeria de Paiva
2023/08/08 Re: [Logica-l] Re: ao Ruy Jose Guerra Barretto de Queiroz
2023/08/08 [Logica-l] Re: ao 'Samuel Gomes da Silva' via LOGICA-L
2023/08/08 [Logica-l] Re: ao Daniel Durante
2023/08/08 [Logica-l] Re: ao Daniel Durante
2023/08/08 [Logica-l] Re: ao Julio Stern
2023/08/07 [Logica-l] Re: ao Cassiano Terra Rodrigues
2023/08/07 [Logica-l] Re: ao Márcio Palmares
2023/08/07 [Logica-l] Re: ao 'Samuel Gomes da Silva' via LOGICA-L
2023/08/07 Re: [Logica-l] Re: ao Joao Marcos
2023/08/07 [Logica-l] Re: ao Daniel Durante
2023/08/07 [Logica-l] Re: ao Márcio Palmares
2023/08/07 [Logica-l] Re: Lógica em tempos de guerra --- para reflexão Joao Marcos
2023/08/07 [Logica-l] ao Cassiano Terra Rodrigues
2023/08/06 Re: [Logica-l] Homenagem da SBPC a Newton da Costa - 25/07/2023 18h30 Itala Maria Loffredo D'Ottaviano
2023/08/06 Re: [Logica-l] Coletivo Lógica Viva: sobre infinitos, números e provas Márcio Palmares
2023/08/06 Re: [Logica-l] Re: Coletivo Lógica Viva: sobre infinitos, números e provas Itala Maria Loffredo D'Ottaviano
2023/08/06 Re: [Logica-l] Coletivo Lógica Viva: sobre infinitos, números e provas Itala Maria Loffredo D'Ottaviano
2023/08/06 Re: [Logica-l] Coletivo Lógica Viva: sobre infinitos, números e provas Valeria de Paiva