logica-l

Índice cronológico

2021/11/14 [Logica-l] Viganò explicando security Elaine Pimentel
2021/11/11 [Logica-l] Georges Papy (1920-2011) jean-yves beziau
2021/11/11 [Logica-l] Andrea Loparic / numero especial SAJL jean-yves beziau
2021/11/11 Re: [Logica-l] a indução matemática como raiz da criatividade matemática? Marcelo Finger
2021/11/11 Re: [Logica-l] a indução matemática como raiz da criatividade matemática? Julio Stern
2021/11/10 Re: [Logica-l] It is dark before dawn na...@unb.br
2021/11/10 Re: [Logica-l] It is dark before dawn Itala Maria Loffredo D'Ottaviano
2021/11/10 [Logica-l] Hoje Nastassja Pugliesse "Nisia Floresta´s critique of colonialism" Maria Martinez-Ordaz
2021/11/10 Re: [Logica-l] It is dark before dawn Haniel Barbosa
2021/11/10 [Logica-l] a indução matemática como raiz da criatividade matemática? Joao Marcos
2021/11/10 [Logica-l] Re: It is dark before dawn Cassiano Terra Rodrigues
2021/11/10 Re: [Logica-l] It is dark before dawn Marcelo Finger
2021/11/09 Re: [Logica-l] It is dark before dawn Walter Carnielli
2021/11/09 Re: [Logica-l] It is dark before dawn Vivek Nigam
2021/11/09 Re: [Logica-l] It is dark before dawn Elaine Pimentel
2021/11/09 Re: [Logica-l] It is dark before dawn Valeria de Paiva
2021/11/09 Re: [Logica-l] LUW - 10 de Novembro, meio dia, horário de Brasília - Calculi for Many Many-Valued Logics Joao Marcos
2021/11/09 Re: [Logica-l] LUW - 10 de Novembro, meio dia, horário de Brasília - Calculi for Many Many-Valued Logics jean-yves beziau
2021/11/09 [Logica-l] It is dark before dawn Joao Marcos
2021/11/09 [Logica-l] Entrevista Rodrigo Freire - Ad Infinitum Alfredo Roque Freire
2021/11/09 Re: [Logica-l] LUW - 10 de Novembro, meio dia, horário de Brasília - Calculi for Many Many-Valued Logics Joao Marcos
2021/11/09 Re: [Logica-l] LUW - 10 de Novembro, meio dia, horário de Brasília - Calculi for Many Many-Valued Logics Joao Marcos
2021/11/09 [Logica-l] LUW - 10 de Novembro, meio dia, horário de Brasília - Calculi for Many Many-Valued Logics jean-yves beziau
2021/11/09 [Logica-l] Fwd: Southern Summer Logic Day (WLD 2022), Virtual, 14 Jan 2022 Joao Marcos
2021/11/08 [Logica-l] Logica Universalis Webinar - November 10 - Calculi for Many-Valued Logics by Michael Kaminski and Nissim Francez jean-yves beziau
2021/11/08 [Logica-l] 7th World Congress on Universal Logic - Crete April 2022 jean-yves beziau
2021/11/08 [Logica-l] CFP: Trends in Logic XXII (18–20 July 2022) Trends In Logic 2022 - U. Caglari Workshop
2021/11/07 [Logica-l] Prorrogação do prazo do CFA: Inceptiones et Receptiones (Online, Dia Mundial da Lógica Peruano) Prensa SPEL
2021/11/06 Re: [Logica-l] Andrea Loparic Itala Maria Loffredo D'Ottaviano
2021/11/06 Re: [Logica-l] Andrea Loparic Joao Marcos
2021/11/05 [Logica-l] MESTRADO e DOUTORADO em COMPUTAÇÃO na UFF Bruno Lopes
2021/11/04 Re: [Logica-l] TALK: Who's Afraid of Bilateralism? Fabien Schang
2021/11/04 [Logica-l] TALK: Who's Afraid of Bilateralism? Joao Marcos
2021/11/04 [Logica-l] this is Carolina Blasio da Silva (por Lógica MX) Joao Marcos
2021/11/03 Re: [Logica-l] Re: on the Synthese special issue on *Varieties of Entailment*, dedicated to the memory of Carolina Blasio Valeria de Paiva
2021/11/03 Re: [Logica-l] Re: on the Synthese special issue on *Varieties of Entailment*, dedicated to the memory of Carolina Blasio Gisele Secco
2021/11/03 [Logica-l] Re: on the Synthese special issue on *Varieties of Entailment*, dedicated to the memory of Carolina Blasio Joao Marcos
2021/11/03 [Logica-l] FoIKS 2022 first call for papers Ivan José Varzinczak
2021/11/03 [Logica-l] Call for participation, Trends in Logic XXI, Frontiers of connexive logic 'Heinrich Wansing' via LOGICA-L
2021/11/03 [Logica-l] Fwd: DEADLINE EXTENSION: Non-Classical Logics. Theory and Applications 2022 Joao Marcos
2021/11/02 [Logica-l] Seminário remoto "Lógicos em Quarentena" 04/11/2021 (quinta-feira) 16:00h Bruno Lopes
2021/10/31 Re: [Logica-l] Valuation Tables for Minimal and Intuitionistic Propositional Calculus Valeria de Paiva
2021/10/31 Re: [Logica-l] Andrea Loparic Elaine Pimentel
2021/10/31 Re: [Logica-l] Andrea Loparic Claus Akira Horodynski Matsushigue
2021/10/30 Re: [Logica-l] Andrea Loparic Joao Marcos
2021/10/30 [Logica-l] Re: [OUF] CHEGA DE MAMATA DOS REFRIGERANTES. APOIE AGORA! jyb
2021/10/30 [Logica-l] "Compreender a ciência" (Desidério Murcho ) Walter Carnielli
2021/10/30 [Logica-l] The 50-year-old problem that eludes theoretical computer science Joao Marcos
2021/10/29 [Logica-l] Palestra online de Lluis Godo - "Simplified Kripke semantics for K45 and KD45 Gödel fuzzy modal logics" Marcelo Esteban Coniglio
2021/10/29 [Logica-l] [OUF] CHEGA DE MAMATA DOS REFRIGERANTES. APOIE AGORA! jean-yves beziau
2021/10/29 [Logica-l] O que significa "ser construtivo"? Joao Marcos
2021/10/29 [Logica-l] Fwd: PhD Scholarship, University of Queensland, Australia Joao Marcos
2021/10/28 [Logica-l] Valuation Tables for Minimal and Intuitionistic Propositional Calculus Joao Marcos
2021/10/28 [Logica-l] NCMPL 2021: Call for Participation 'Heinrich Wansing' via LOGICA-L
2021/10/28 [Logica-l] Fwd: [TYPES/announce] Call for Applications: Helmut Veith Stipend for Female Master’s Students in Computer Science_DL: November 30 Elaine Pimentel
2021/10/27 [Logica-l] Fwd: Postdoc opportunity at the Institute of Philosophy and Sociology, PAS Joao Marcos
2021/10/27 [Logica-l] O que é uma negação? Joao Marcos
2021/10/27 [Logica-l] Andrea Loparic Walter Carnielli
2021/10/26 Re: [Logica-l] Andrea Loparic Elaine Pimentel
2021/10/26 Re: [Logica-l] What is Logic? Joao Marcos
2021/10/26 [Logica-l] Re: What is Logic? Joao Marcos
2021/10/26 Re: [Logica-l] What is Logic? Walter Carnielli
2021/10/26 [Logica-l] What is Logic? Joao Marcos
2021/10/26 Re: [Logica-l] Andrea Loparic Joao Marcos
2021/10/25 [Logica-l] Coletivo Logica Viva: Deus existe? Argumento Ontológico Marcos Silva
2021/10/25 [Logica-l] Re: Andrea Loparic Daniel Durante
2021/10/25 Re: [Logica-l] Andrea Loparic Ana Teresa
2021/10/25 Re: [Logica-l] Andrea Loparic Walter Carnielli
2021/10/25 Re: [Logica-l] Andrea Loparic josé carlos cifuentes
2021/10/25 Re: [Logica-l] Andrea Loparic Famadoria
2021/10/25 Re: [Logica-l] Andrea Loparic Valeria de Paiva
2021/10/25 Re: [Logica-l] Andrea Loparic josé carlos cifuentes
2021/10/25 Re: [Logica-l] Andrea Loparic 'José Eduardo Moura' via LOGICA-L
2021/10/25 Re: [Logica-l] Andrea Loparic 'José Eduardo Moura' via LOGICA-L
2021/10/25 Re: [Logica-l] Andrea Loparic Marcelo Esteban Coniglio
2021/10/25 Re: [Logica-l] Andrea Loparic Joao Marcos
2021/10/25 Re: [Logica-l] Andrea Loparic C. Mortari
2021/10/25 Re: [Logica-l] Andrea Loparic Marcelo Finger
2021/10/25 Re: [Logica-l] Andrea Loparic Francisco Miraglia Neto
2021/10/25 Re: [Logica-l] Andrea Loparic Elaine Pimentel
2021/10/25 Re: [Logica-l] Andrea Loparic Itala Maria Loffredo D'Ottaviano
2021/10/25 Re: [Logica-l] Andrea Loparic Adolfo Neto
2021/10/25 [Logica-l] Andrea Loparic Gisele Secco
2021/10/24 [Logica-l] Fwd: Invitación a workshop.... Elaine Pimentel
2021/10/24 [Logica-l] Recordatorio CFA: Inceptiones et Receptiones (Online, Dia Mundial da Lógica Peruano) Prensa SPEL
2021/10/22 Re: [Logica-l] Association for Symbolic Logic - Associação "Outreach" 2022 Elaine Pimentel
2021/10/22 [Logica-l] Association for Symbolic Logic - Associação "Outreach" 2022 'samuel' via LOGICA-L
2021/10/22 Re: [Logica-l] Série Ideias brasileiras - Newton da Costas e as lógicas para consistentes - Canal ad infinitum Alfredo Roque Freire
2021/10/21 Re: [Logica-l] Entrevista - Walter Carnielli -Ad Infinitum Elaine Pimentel
2021/10/21 Re: [Logica-l] Série Ideias brasileiras - Newton da Costas e as lógicas para consistentes - Canal ad infinitum Joao Marcos
2021/10/21 Re: [Logica-l] Série Ideias brasileiras - Newton da Costas e as lógicas para consistentes - Canal ad infinitum Alfredo Roque Freire
2021/10/21 Re: [Logica-l] Série Ideias brasileiras - Newton da Costas e as lógicas para consistentes - Canal ad infinitum Walter Carnielli
2021/10/21 Re: [Logica-l] Entrevista - Walter Carnielli -Ad Infinitum Walter Carnielli
2021/10/21 Re: [Logica-l] Série Ideias brasileiras - Newton da Costas e as lógicas para consistentes - Canal ad infinitum Luiza Ramos
2021/10/21 Re: [Logica-l] Entrevista - Walter Carnielli -Ad Infinitum Alfredo Roque Freire
2021/10/21 Re: [Logica-l] Entrevista - Walter Carnielli -Ad Infinitum Itala Maria Loffredo D'Ottaviano
2021/10/21 [Logica-l] Série Ideias brasileiras - Newton da Costas e as lógicas para consistentes - Canal ad infinitum Alfredo Roque Freire
2021/10/21 [Logica-l] CFP: IEEE Intelligent Systems - Special Issue on Reasoning with Inconsistent, Incomplete, and Uncertain Knowledge Joao Marcos
2021/10/20 [Logica-l] Fwd: TACL 2022: First announcement Marcelo Esteban Coniglio
2021/10/19 [Logica-l] Mathematical Incompleteness Results in First-Order Peano Arithmetic: A Revisionist View of the Early History jean-yves beziau
2021/10/19 [Logica-l] Re: CFP: 100 anos de Tractatus Marcos Silva
2021/10/19 [Logica-l] Open House on Category Theory 2021 Marcelo Esteban Coniglio
2021/10/18 [Logica-l] CFP: 100 anos de Tractatus Marcos Silva
2021/10/18 Re: [Logica-l] Off topic: Lançamento de livro de filosofia da matemática Itala Maria Loffredo D'Ottaviano
2021/10/18 [Logica-l] Re: Seminário remoto "Lógicos em Quarentena" 21/10/2021 (quinta-feira) 11:00h Bruno Lopes
2021/10/18 [Logica-l] da pressa em concluir (sistema 1 vs sistema 2) Joao Marcos
2021/10/18 [Logica-l] Seminário remoto "Lógicos em Quarentena" 21/10/2021 (quinta-feira) 11:00h Bruno Lopes
2021/10/17 Re: [Logica-l] a ciência precisa de pirataria? Julio Stern
2021/10/17 Re: [Logica-l] a ciência precisa de pirataria? Walter Carnielli
2021/10/17 [Logica-l] a ciência precisa de pirataria? Marcos Silva
2021/10/16 [Logica-l] Fwd: Call for submissions: Bilateralism and Proof-Theoretic Semantics, Ruhr University Bochum, March 17-18, 2022 Joao Marcos
2021/10/15 [Logica-l] Off topic: Lançamento de livro de filosofia da matemática Ricardo Grande
2021/10/14 [Logica-l] nova data para envio de artigos para o Prêmio Newton da Costa Petrucio Viana
2021/10/14 [Logica-l] Fwd: Mathematicians solve an old geometry problem on equiangular lines Mario Roberto Folhadela Benevides
2021/10/14 [Logica-l] [convite] Palestra sobre Generalized Algebraic Datatypes de OCaml para Coq Daniele Nantes
2021/10/14 [Logica-l] Fwd: Today at 2 pm (CEST): DEON Seminar Series – opening talk by Marek Sergot Joao Marcos
2021/10/13 [Logica-l] Fwd: PhD students Elaine Pimentel
2021/10/13 [Logica-l] Fwd: categories: Three PhD positions in Logic, Proof Theory and Coalgebra (Groningen) *29 Nov 2021 deadline* Valeria de Paiva
2021/10/13 [Logica-l] Outubro 14 - dois lógicos ateus no seminário de Lógica e Religião jean-yves beziau
2021/10/13 [Logica-l] Palestra sobre raciocínio abdutivo Renata Arruda
2021/10/13 Re: [Logica-l] in praise of rationality Marcelo Finger
2021/10/13 Re: [Logica-l] in praise of rationality João Pedro de Amorim Paula
2021/10/12 Re: [Logica-l] a lógica das crianças Eduardo Ochs
2021/10/12 [Logica-l] a lógica das crianças jean-yves beziau
2021/10/12 [Logica-l] Entrevista - Walter Carnielli -Ad Infinitum Alfredo Roque Freire
2021/10/11 [Logica-l] Fwd: CFP: Special Issue on Valerie Plumwood's Contributions to Logic Joao Marcos
2021/10/11 [Logica-l] o que é lógica modal? Joao Marcos
2021/10/11 [Logica-l] Lewis Carroll’s Symbolic Logic: Why Make Things Simple When You Can Make Them Complicated? jean-yves beziau
2021/10/11 [Logica-l] Fwd: [gdr-im] SIGACT CATCS: Soliciting information about Women in TCS Elaine Pimentel
2021/10/10 [Logica-l] Fwd: Supergroup Early Career Researcher Conference Joao Marcos
2021/10/09 [Logica-l] [HUMOR] como reagir frente aos paradoxos Joao Marcos
2021/10/09 Re: [Logica-l] in praise of rationality Eduardo Ochs
2021/10/09 Re: [Logica-l] in praise of rationality Walter Carnielli
2021/10/09 [Logica-l] in praise of rationality Joao Marcos
2021/10/08 [Logica-l] Venda de Livros de Lógica Antonio Carlos Aido de Almeida
2021/10/08 [Logica-l] Fwd: [WiL] Call for 20 PhD Positions in Computer Science at TU Wien,,Vienna, Austria Elaine Pimentel
2021/10/07 [Logica-l] Palestra [07/10]: Mario Florido (UPorto) Daniel Ventura
2021/10/06 Re: [Logica-l] motivações para (não-)classicalidade João Pedro de Amorim Paula
2021/10/06 Re: [Logica-l] motivações para (não-)classicalidade Joao Marcos
2021/10/06 Re: [Logica-l] motivações para (não-)classicalidade João Pedro de Amorim Paula
2021/10/06 [Logica-l] Fwd: Workshop on Decidability of Logics and Theories and Their Combinations Joao Marcos
2021/10/05 [Logica-l] motivações para (não-)classicalidade Joao Marcos
2021/10/04 [Logica-l] LUW October 6 : being provable in Peano Arithmetic with at most k steps jean-yves beziau
2021/10/03 [Logica-l] Is there an optimal logic system for choosing a romantic partner? jean-yves beziau
2021/10/02 [Logica-l] Coletivo Lógica Viva: Falácia Naturalista Marcos Silva
2021/09/30 [Logica-l] Decidability of Logics and Theories and their Combinations / workshop at UNILOG'2022 jean-yves beziau
2021/09/29 Re: [Logica-l] O canal "Ad Infinitum" de vento em popa Itala Maria Loffredo D'Ottaviano
2021/09/29 Re: [Logica-l] O canal "Ad Infinitum" de vento em popa Alfredo Roque Freire
2021/09/29 [Logica-l] Fwd: Proof Theory Seminar, Autumn 2021 Bruno Lopes
2021/09/28 Re: [Logica-l] O canal "Ad Infinitum" de vento em popa Itala Maria Loffredo D'Ottaviano
2021/09/28 Re: [Logica-l] O canal "Ad Infinitum" de vento em popa Alfredo Roque Freire
2021/09/28 Re: [Logica-l] O canal "Ad Infinitum" de vento em popa Adolfo Neto
2021/09/28 Re: [Logica-l] O canal "Ad Infinitum" de vento em popa Adolfo Neto
2021/09/28 Re: [Logica-l] O canal "Ad Infinitum" de vento em popa Marcos Silva
2021/09/28 Re: [Logica-l] O canal "Ad Infinitum" de vento em popa Alfredo Roque Freire
2021/09/28 Re: [Logica-l] O canal "Ad Infinitum" de vento em popa Elaine Pimentel
2021/09/28 Re: [Logica-l] O canal "Ad Infinitum" de vento em popa Joao Marcos
2021/09/28 Re: [Logica-l] O canal "Ad Infinitum" de vento em popa Fabien Schang
2021/09/28 [Logica-l] O canal "Ad Infinitum" de vento em popa Walter Carnielli
2021/09/25 Re: [Logica-l] Coletivo Lógica Viva: Gavagai! Itala Maria Loffredo D'Ottaviano
2021/09/25 [Logica-l] Coletivo Lógica Viva: Gavagai! Marcos Silva
2021/09/24 [Logica-l] Deadline extended Workshop "Logic(s) in Defective Science" Luis Felipe Bartolo Alegre
2021/09/24 [Logica-l] I Encontro Brasileiro de Filósofas Analíticas Gisele Secco
2021/09/23 [Logica-l] [OUF] inclusão da filosofia e da sociologia como componentes curriculares obrigatórios nos três anos do ensino médio jean-yves beziau
2021/09/22 Re: [Logica-l] 20 milhões de dólares para um projeto para formalização de matemática, proof assistants, etc. Joao Marcos
2021/09/22 Re: [Logica-l] 20 milhões de dólares para um projeto para formalização de matemática, proof assistants, etc. Joao Marcos
2021/09/22 Re: [Logica-l] 20 milhões de dólares para um projeto para formalização de matemática, proof assistants, etc. Carlos Augusto Prolo
2021/09/22 Re: [Logica-l] 20 milhões de dólares para um projeto para formalização de matemática, proof assistants, etc. Itala Maria Loffredo D'Ottaviano
2021/09/22 [Logica-l] 20 milhões de dólares para um projeto para formalização de matemática [...] Walter Carnielli
2021/09/22 [Logica-l] 20 milhões de dólares para um projeto para formalização de matemática, proof assistants, etc. 'samuel' via LOGICA-L
2021/09/22 [Logica-l] Posicao de Post-Doc na Polônia (36 meses) Walter Carnielli
2021/09/22 [Logica-l] Fwd: Six Postdoc Positions, Bochum Joao Marcos
2021/09/21 [Logica-l] Conference at The Institute for Interdisciplinary Research in Fundamental Sciences Frode Bjørdal
2021/09/21 [Logica-l] Fwd: PostDoc in Torun (Poland) Marcelo Esteban Coniglio
2021/09/21 [Logica-l] Fw: [LOGBOG: 1008] Deadline for contributions: Sept 24, 2021 - 1st Meeting Brazil-Colombia in Logic - December 14-17, 2021 'Samuel Gomes' via LOGICA-L
2021/09/20 [Logica-l] Fwd: CfR - Formalize!(?) 2, Virtual - January 15, 2022 Joao Marcos
2021/09/20 Re: [Logica-l] Re: XX EBL - 12 a 16/09 de 2022, Salvador, Bahia Elaine Pimentel
2021/09/20 Re: [Logica-l] Re: XX EBL - 12 a 16/09 de 2022, Salvador, Bahia Marcelo Finger
2021/09/20 [Logica-l] Seminário remoto "Lógicos em Quarentena" 23/09/2021 (quinta-feira) 16:00h Bruno Lopes
2021/09/19 [Logica-l] Logic and Love - Workshop at UNILOG'2022 - Crete jean-yves beziau
2021/09/19 [Logica-l] Barcelona Principles etc Walter Carnielli
2021/09/19 Re: [Logica-l] Re: XX EBL - 12 a 16/09 de 2022, Salvador, Bahia 'samuel' via LOGICA-L
2021/09/19 Re: [Logica-l] Re: XX EBL - 12 a 16/09 de 2022, Salvador, Bahia Julio Stern
2021/09/19 [Logica-l] Re: XX EBL - 12 a 16/09 de 2022, Salvador, Bahia 'samuel' via LOGICA-L
2021/09/19 [Logica-l] XX EBL - 12 a 16/09 de 2022, Salvador, Bahia 'samuel' via LOGICA-L
2021/09/18 Re: [Logica-l] [OUF] BARCELONA PRINCIPLES FOR A GLOBALLY INCLUSIVE PHILOSOPHY Claus Akira Horodynski Matsushigue
2021/09/18 Re: [Logica-l] Nota de profundo pesar (falecimento do Prof. Carlos Gustavo González) Claus Akira Horodynski Matsushigue
2021/09/18 Re: [Logica-l] [OUF] BARCELONA PRINCIPLES FOR A GLOBALLY INCLUSIVE PHILOSOPHY Jorge Alberto Molina
2021/09/18 Re: [Logica-l] [OUF] BARCELONA PRINCIPLES FOR A GLOBALLY INCLUSIVE PHILOSOPHY jean-yves beziau
2021/09/18 Re: [Logica-l] Nota de profundo pesar (falecimento do Prof. Carlos Gustavo González) josé carlos cifuentes
2021/09/18 Re: [Logica-l] Nota de profundo pesar (falecimento do Prof. Carlos Gustavo González) Jorge Alberto Molina
2021/09/18 [Logica-l] Nota de profundo pesar (falecimento do Prof. Carlos Gustavo González) Walter Carnielli
2021/09/18 [Logica-l] Fwd: [SBL-Sócios] Nota de profundo pesar (falecimento do Prof. Carlos Gustavo González) Joao Marcos
2021/09/18 [Logica-l] Infinity Category Theory Offers a Bird's-Eye View of Mathematics - Scientific American Ruy Jose Guerra Barretto de Queiroz
2021/09/18 Re: [Logica-l] [OUF] BARCELONA PRINCIPLES FOR A GLOBALLY INCLUSIVE PHILOSOPHY Cassiano Terra Rodrigues
2021/09/18 [Logica-l] Pesar Francisco Miraglia Neto
2021/09/18 Re: [Logica-l] [OUF] BARCELONA PRINCIPLES FOR A GLOBALLY INCLUSIVE PHILOSOPHY Julio Stern
2021/09/17 [Logica-l] [OUF] BARCELONA PRINCIPLES FOR A GLOBALLY INCLUSIVE PHILOSOPHY jean-yves beziau
2021/09/17 Re: [Logica-l] Divulgação científica sobre paraconsistência Itala Maria Loffredo D'Ottaviano
2021/09/16 [Logica-l] 7th World Congress and School on Universal Logic - Orthodox Academy of Crete, April 1 - 11, 2022 jean-yves beziau