logica-l  

Índice temático

• [Logica-l] Sessão Especial do Seminário de Lógica - Dia CBDL (Carol Blasio pela Diversidade da Lógica) 'Samuel Gomes da Silva' via LOGICA-L
  • Re: [Logica-l] Sessão Especial do Seminário de Lógica - Dia CBDL (Carol Blasio pela Diversidade da Lógica) Adolfo Neto
  • Re: [Logica-l] Sessão Especial do Seminário de Lógica - Dia CBDL (Carol Blasio pela Diversidade da Lógica) 'Samuel Gomes da Silva' via LOGICA-L
• [Logica-l] Call for 10 PhD Positions in Computer Science at TU Wien, Vienna, Austria Elaine Pimentel
• [Logica-l] LARAW, dia 16 ao meio dia: PANENTEÍSMO E PANPSIQUISMO / Billimoria jean-yves beziau
• [Logica-l] hora de tirar suas dúvidas sobre assistentes de demonstração Joao Marcos
  • Re: [Logica-l] hora de tirar suas dúvidas sobre assistentes de demonstração Eduardo Ochs
• [Logica-l] Bill McCune PhD Award in Automated Reasoning 2021, Call for Nominations Claudia Nalon
• [Logica-l] Logica Universalis Webinar, March 16, Eunsuk Yang (joint work with Mike Dunn) jean-yves beziau
• [Logica-l] XX EBL Call for Contributions Ciro Russo
• [Logica-l] Johan Van Benthem's talk in the Cairo Webinar tomorrow March 15 at 5 pm Cairo time jean-yves beziau
• [Logica-l] CSL’23 -- CALL FOR WORKSHOPS Elaine Pimentel
• [Logica-l] Lógica Viva: "Moro acredita que Lula é corrupto" Marcos Silva
  • Re: [Logica-l] Lógica Viva: "Moro acredita que Lula é corrupto" Itala Maria Loffredo D'Ottaviano
• [Logica-l] "On the missing diagrams in Category Theory" Eduardo Ochs
  • Re: [Logica-l] "On the missing diagrams in Category Theory" Valeria de Paiva
  • Re: [Logica-l] "On the missing diagrams in Category Theory" Eduardo Ochs
• [Logica-l] Artigo Introdutório ao número especial sobre o segundo concurso mundial de prêmios de lógicas jean-yves beziau
• [Logica-l] CfP: SMT2022 David Deharbe
• [Logica-l] WBL 2022 -- última chamada! (com prazo para submissões estendido) Elaine Pimentel
• [Logica-l] PhD Positions at Huawei Vivek Nigam
• [Logica-l] VII BRAZILIAN SOCIETY FOR ANALYTIC PHILOSOPHY CONFERENCE [CALL OF PAPERS] André Pontes
• [Logica-l] Fwd: Open Position: Assistant Professor in Logic for AI (Fixed-term, three years), Milan Joao Marcos
• [Logica-l] máquinas que jogam o jogo da Matemática Joao Marcos
• [Logica-l] mulheres na logica / 8 de março dia mundial da mulher da UNESCO: jean-yves beziau
  • Re: [Logica-l] mulheres na logica / 8 de março dia mundial da mulher da UNESCO: Joao Marcos
  • Re: [Logica-l] mulheres na logica / 8 de março dia mundial da mulher da UNESCO: jean-yves beziau
• [Logica-l] 2º Concurso Mundial de Prémios de Lógica: LUW 9 de Março ao meio dia jean-yves beziau
  • [Logica-l] 5 mulheres ganhadoras de prêmios de lógica / 2º Concurso Mundial de Prémios de Lógica: LUW 9 de Março ao meio dia jean-yves beziau
• [Logica-l] Carnaval dos Lógicos do Brasil - 2022 jean-yves beziau
• [Logica-l] Fwd: LogTeach-22, First Call for Papers Joao Marcos
• [Logica-l] CfP: 3rd Joint Workshop Linearity & TLLA [FLoC 2022] D. Ventura
• [Logica-l] Lógicos na Lista "Latin America Top 100 History, Philosophy, Theology Scientists 2022" Fábio Bertato
  • Re: [Logica-l] Lógicos na Lista "Latin America Top 100 History, Philosophy, Theology Scientists 2022" Itala Maria Loffredo D'Ottaviano
  • Re: [Logica-l] Lógicos na Lista "Latin America Top 100 History, Philosophy, Theology Scientists 2022" Joao Marcos
  • Re: [Logica-l] Lógicos na Lista "Latin America Top 100 History, Philosophy, Theology Scientists 2022" Julio Stern
  • Re: [CAROL / UFRN] Fwd: [Logica-l] Lógicos na Lista "Latin America Top 100 History, Philosophy, Theology Scientists 2022" Joao Marcos
• [Logica-l] WCP 6 + SQUARE7 + DIAGRAMS2002 = WInning Combo ! jean-yves beziau
• [Logica-l] Fwd: Call for papers WCP6 Joao Marcos
• [Logica-l] [OUF] O Brasil na Terceira Guerra Mundial jean-yves beziau
• [Logica-l] Philosophy in Lviv (Ukraine), Intellectual Capital of Central Europe (1900-1939) – online seminar, March 3, 2022, 19:00 CET. jean-yves beziau
• [Logica-l] Fwd: [diagrams-list] CORRECTION to Second Call For Papers | DIAGRAMS 2022 Jorge Petrucio Viana
• [Logica-l] Fwd: [diagrams-list] Second Call For Papers | DIAGRAMS 2022 Jorge Petrucio Viana
• [Logica-l] Fwd: [diagrams-list] Call for Tutorials & Workshops | DIAGRAMS 2022 Jorge Petrucio Viana
• [Logica-l] SAJL - Tribute to Andrea Loparic (1941-2021) - Deadline Approaching jean-yves beziau
• [Logica-l] Vídeo no blog etc Gisele Secco
• [Logica-l] Scholarpedia Julio Stern
• [Logica-l] Chamada de trabalhos -- WBL 2022 Elaine Pimentel
• [Logica-l] Três Vezes Não - um estudo sobre as negações clássica, paraconsistente e paracompleta jean-yves beziau
• [Logica-l] Professor Marcia Demby
• [Logica-l] "People are burnt out and overburdened" Marcos Silva
• [Logica-l] [CfP: Visões estruturalistas sobre a ciência: Reflexões sobre a obra de Adolfo García de la Sienra Guajardo Maria Martinez-Ordaz
• [Logica-l] [CALL FOR PAPERS] KRR@EPIA2022 Rafael Testa
• [Logica-l] Contrary-to-Duty Paradox jean-yves beziau
• [Logica-l] Logicas Brasileiras na LogicaMx Maria Martinez-Ordaz
  • Re: [Logica-l] Logicas Brasileiras na LogicaMx Valeria de Paiva
• [Logica-l] UNILOG'2022 na ilha de Creta: realização 100% presencial confirmada jean-yves beziau
• [Logica-l] Mathematics Professor Position at CMU Qatar Giselle Reis
• [Logica-l] LUWebinar Feb 16, Palestra Espacial ! Órbitas Paraconsistentes de Lógicas jean-yves beziau
• [Logica-l] pedido de artigo Ricardo Grande
• [Logica-l] Proceedings of the 10th ThEdu Joao Marcos
• [Logica-l] Demonstrações e Curry-Howard Regivan Hugo Nunes Santiago
  • Re: [Logica-l] Demonstrações e Curry-Howard Marcelo Finger
  • Re: [Logica-l] Demonstrações e Curry-Howard Regivan Hugo Nunes Santiago
  • Re: [Logica-l] Demonstrações e Curry-Howard Elaine Pimentel
  • Re: [Logica-l] Demonstrações e Curry-Howard Marcelo Finger
  • Re: [Logica-l] Demonstrações e Curry-Howard Regivan Hugo Nunes Santiago
• [Logica-l] CFP: Argumentation and Advocacy, Argumentação nas Américas Hugo Mota
• [Logica-l] LSFA 2022 - First Call for Papers Daniele Nantes
• [Logica-l] A Lógica do Paraíso / 10-02-2022 meio dia jean-yves beziau
• [Logica-l] Material sobre substituição em português Eduardo Ochs
  • Re: [Logica-l] Material sobre substituição em português Joao Marcos
• [Logica-l] Gerador de tabelas de verdade robusto Daniel Durante
  • Re: [Logica-l] Gerador de tabelas de verdade robusto Adolfo Neto
  • Re: [Logica-l] Gerador de tabelas de verdade robusto Thiago Nascimento da Silva
  • Re: [Logica-l] Gerador de tabelas de verdade robusto Diego Leite de Oliveira
  • Re: [Logica-l] Gerador de tabelas de verdade robusto Daniel Durante
• [Logica-l] LUW Fev 09 2022 An Intuitionist Reasoning Upon Formal Intuitionist Logic: Logical Analysis of Kolmogorov’s 1932 Paper jean-yves beziau
• [Logica-l] Fwd: [PT] CFP : Logical Frameworks and Meta-Languages: Theory and Practice + Frank Pfenning's 60th birthday @ FLOC 2022 Vivek Nigam
• [Logica-l] ∃x <-> x=x <-> x∈x Léo Mota
  • Re: [Logica-l] ∃x <-> x=x <-> x∈x Eduardo Ochs
  • Re: [Logica-l] ∃x <-> x=x <-> x∈x Léo Mota
  • Re: [Logica-l] ∃x <-> x=x <-> x∈x Eduardo Ochs
  • Re: [Logica-l] ∃x <-> x=x <-> x∈x Léo Mota
  • Re: [Logica-l] ∃x <-> x=x <-> x∈x Eduardo Ochs
  • Re: [Logica-l] ∃x <-> x=x <-> x∈x Joao Marcos
  • Re: [Logica-l] ∃x <-> x=x <-> x∈x Eduardo Ochs
  • Re: [Logica-l] ∃x <-> x=x <-> x∈x Léo Mota
  • Re: [Logica-l] ∃x <-> x=x <-> x∈x Eduardo Ochs
  • Re: [Logica-l] ∃x <-> x=x <-> x∈x Thiago Nascimento da Silva
  • Re: [Logica-l] ∃x <-> x=x <-> x∈x Joao Marcos
  • Re: [Logica-l] ∃x <-> x=x <-> x∈x Alex Deiwison
  • Re: [Logica-l] ∃x <-> x=x <-> x∈x Léo Mota
• [Logica-l] UFRJ abre processo seletivo com 152 vagas para professor substituto jean-yves beziau
• [Logica-l] CfP: Deadline extension for Trends in Logic XXII Trends In Logic 2022 - U. Caglari Workshop
• [Logica-l] FoIKS 2022 4th call for papers varzinczak
  • [Logica-l] FoIKS 2022 fifth call for papers varzinczak
  • [Logica-l] FoIKS 2022 last call for papers Ivan Varzinczak
  • [Logica-l] FoIKS 2022: abstract submission deadline extended to *25 Feb 2022* Ivan Varzinczak
• [Logica-l] Concurso na UERJ Cassiano Terra Rodrigues
• [Logica-l] Fwd: JOB: 6-Month Visiting Fellowship at the Complutense University of Madrid Marcelo Esteban Coniglio
• [Logica-l] Resultado do Prêmio de Lógica "Newton da Costa" 2021 Petrucio Viana
  • Re: [Logica-l] Resultado do Prêmio de Lógica "Newton da Costa" 2021 Bruno Lopes
  • Re: [Logica-l] Resultado do Prêmio de Lógica "Newton da Costa" 2021 Elaine Pimentel
  • Re: [Logica-l] Resultado do Prêmio de Lógica "Newton da Costa" 2021 Marcelo Esteban Coniglio
  • Re: [Logica-l] Resultado do Prêmio de Lógica "Newton da Costa" 2021 Marcelo Finger
  • Re: [Logica-l] Resultado do Prêmio de Lógica "Newton da Costa" 2021 Alfredo Roque Freire
  • Re: [Logica-l] Resultado do Prêmio de Lógica "Newton da Costa" 2021 Evandro L. Gomes
  • [Logica-l] Re: Resultado do Prêmio de Lógica "Newton da Costa" 2021 Cassiano Terra Rodrigues
  • Re: [Logica-l] Re: Resultado do Prêmio de Lógica "Newton da Costa" 2021 Henrique Antunes
  • Re: [Logica-l] Re: Resultado do Prêmio de Lógica "Newton da Costa" 2021 Abilio Rodrigues Filho
  • Re: [Logica-l] Re: Resultado do Prêmio de Lógica "Newton da Costa" 2021 Ciro Russo
  • Re: [Logica-l] Re: Resultado do Prêmio de Lógica "Newton da Costa" 2021 Ciro Russo
• [Logica-l] Paper available Regivan Hugo Nunes Santiago
  • [Logica-l] Re: [CAROL / UFRN] Paper available Regivan Hugo Nunes Santiago
• [Logica-l] Fwd: [Proof Complexity] a position in the Insitute of Mathematics Camilo Thorne
  • [Logica-l] Fwd: [Proof Complexity] a position in the Insitute of Mathematics Camilo Thorne
• [Logica-l] Fwd: Postdoc position in Logic in Prague Joao Marcos
• [Logica-l] Entrevista João Marcos - Noções de consequência - Ad Infinitum Alfredo Roque Freire
  • Re: [Logica-l] Entrevista João Marcos - Noções de consequência - Ad Infinitum Joao Marcos
  • Re: [Logica-l] Entrevista João Marcos - Noções de consequência - Ad Infinitum Alfredo Roque Freire
• [Logica-l] MANY 1 - A Transversal Imaginative Journey across the Realm of Mathematics jean-yves beziau
• [Logica-l] Anais do EBL 2019 Petrucio Viana
  • Re: [Logica-l] Anais do EBL 2019 Elaine Pimentel
  • Re: [Logica-l] Anais do EBL 2019 Valeria de Paiva
  • Re: [Logica-l] Anais do EBL 2019 C. Mortari
• [Logica-l] Call for papers, Studia Logica special issue "Frontiers of connexive logic" 'Heinrich Wansing' via LOGICA-L
• [Logica-l] Fwd: Encontro de Teoria da Computação - ETC/CSBC Ruy Jose Guerra Barretto de Queiroz
• [Logica-l] Convite para submissão de artigo Mario Roberto Folhadela Benevides
• [Logica-l] Turnstile Figures of Opposition / 6 relações possíveis entre uma proposição e uma teoria jean-yves beziau
• [Logica-l] Explanatory Inference seminar - Sara Ayhan João Daniel Dantas
• [Logica-l] Fwd: SLALM Pedro H. Zambrano
  • Re: [Logica-l] Fwd: SLALM Petrucio Viana
  • Re: [Logica-l] Fwd: SLALM Joao Marcos
• [Logica-l] Palestras: Prof. Manfred Schmidt-Schauss e Prof. Christopher Lynch Daniele Nantes
• [Logica-l] Fwd: [sbc-l] Processo Seletivo PPGCC/UFMG - Mestrado/Doutorado - 2022.1 Haniel Barbosa
• [Logica-l] Mesa redonda "Logica nas e para as ciências" Maria Martinez-Ordaz
• [Logica-l] Palestras de Itala D'Ottaviano e Evandro Gomes Prensa SPEL
• [Logica-l] Fwd: [SBL-Sócios] Falando em lógica... Mesa redonda! Elaine Pimentel
• [Logica-l] Fwd: [sbc-l] Integridade cientifica - leitura recomendada Ruy Jose Guerra Barretto de Queiroz
  • Re: [Logica-l] Fwd: [sbc-l] Integridade cientifica - leitura recomendada Joao Marcos
  • Re: [Logica-l] Fwd: [sbc-l] Integridade cientifica - leitura recomendada Marcelo Finger
  • Re: [Logica-l] Fwd: [sbc-l] Integridade cientifica - leitura recomendada Carlos Augusto Prolo
• [Logica-l] Dia Mundial da Lógica - Peirce y la lógica Cassiano Terra Rodrigues
• [Logica-l] Re: Southern Summer Logic Day (WLD 2022), Virtual, 14 Jan 2022 Joao Marcos
  • Re: [Logica-l] Re: Southern Summer Logic Day (WLD 2022), Virtual, 14 Jan 2022 josé carlos cifuentes
  • Re: [Logica-l] Re: Southern Summer Logic Day (WLD 2022), Virtual, 14 Jan 2022 josé carlos cifuentes
• [Logica-l] Logic for the Friendship of Nations, on the World Logic Day Frode Bjørdal
• [Logica-l] Fwd: World Logic Day - CLE '22 Marcelo Esteban Coniglio
• [Logica-l] World Logic Day at CLE/Unicamp Marcelo Esteban Coniglio
• [Logica-l] WoLLIC 2022, Iasi (Romania), 20-23 Sep 2022 Elaine Pimentel
• [Logica-l] Falando em Lógica ... WLD@SBL Elaine Pimentel
  • [Logica-l] Re: Falando em Lógica ... WLD@SBL Elaine Pimentel
• [Logica-l] Convite 19o Seminário Informal (+Formal!) GTC UnB Mauricio Ayala Rincon
• [Logica-l] Conversa "Lógica e Metafísica das Propriedades" (en espanhol) Maria Martinez-Ordaz
• [Logica-l] A LÓGICA DO AMOR BÍBLICO / Dia Mundial da Lógica da UNESCO jean-yves beziau
• [Logica-l] Dia mundial da lógica na Lua ! jean-yves beziau
• [Logica-l] Bolsas de mestrado e doutorado na UFMG Haniel Barbosa
  • [Logica-l] Bolsas de mestrado e doutorado na UFMG Haniel Barbosa
• [Logica-l] This paradoxical life Joao Marcos
• [Logica-l] History of logic in Latin America: the case of Ayda Ignez Arruda Joao Marcos
  • Re: [Logica-l] History of logic in Latin America: the case of Ayda Ignez Arruda Gisele Secco
  • Re: [Logica-l] History of logic in Latin America: the case of Ayda Ignez Arruda Elaine Pimentel
  • Re: [Logica-l] History of logic in Latin America: the case of Ayda Ignez Arruda Itala Maria Loffredo D'Ottaviano
  • Re: [Logica-l] History of logic in Latin America: the case of Ayda Ignez Arruda Cassiano Terra Rodrigues
  • Re: [Logica-l] History of logic in Latin America: the case of Ayda Ignez Arruda Ricardo Grande
• [Logica-l] Academia Mexicana de Lógica, Jornadas en torno al Día Mundial de la Lógica jean-yves beziau
• [Logica-l] Introduction to Philosophy: Logic Joao Marcos
  • [Logica-l] Re: Introduction to Philosophy: Logic Cassiano Terra Rodrigues
• [Logica-l] Fwd: Logic for the Friendship of Nations (Jan 14-15, 2022) Joao Marcos
• [Logica-l] SC-square Workshop 2022: First Call for Papers Haniel Barbosa
• [Logica-l] [puzzle] The two tribes of If Joao Marcos
• [Logica-l] Día Mundial da Lógica / Inceptiones et Receptiones 2022 Prensa SPEL
• [Logica-l] The paradox at the heart of mathematics Joao Marcos
• [Logica-l] The Reasoner v16 n1 - Maria Martinez / Tomasz Jarmuzeck jean-yves beziau
  • Re: [Logica-l] The Reasoner v16 n1 - Maria Martinez / Tomasz Jarmuzeck Marcelo Finger
  • Re: [Logica-l] The Reasoner v16 n1 - Maria Martinez / Tomasz Jarmuzeck Maria Martinez-Ordaz
• [Logica-l] Reasoning in Text / Logic and Ethical Reasoning = Novos Workshops no UNILOG'2022 jean-yves beziau
• [Logica-l] o resultado das somas Joao Marcos
  • Re: [Logica-l] o resultado das somas Itala Maria Loffredo D'Ottaviano
  • Re: [Logica-l] o resultado das somas Valeria de Paiva
  • Re: [Logica-l] o resultado das somas Marcelo Finger
  • Re: [Logica-l] o resultado das somas Gisele Secco
  • Re: [Logica-l] o resultado das somas Elaine Pimentel
  • Re: [Logica-l] o resultado das somas C. Mortari
  • [Logica-l] Re: o resultado das somas Mauricio Ayala-Rincón
  • Re: [Logica-l] Re: o resultado das somas Vivek Nigam
  • Re: [Logica-l] Re: o resultado das somas Daniel Durante
• [Logica-l] IS LOGIC EXCEPTIONAL? Dia Mundial da Lógica - 4ª edição jean-yves beziau
• [Logica-l] Fwd: Female Logicians: Their Impact on Modern Logic (UNESCO World Logic Day Hagen 2022) Joao Marcos
• [Logica-l] Fwd: Nordic Online Logic Seminar: next talk, on January 24, by Johan van Benthem Joao Marcos
• [Logica-l] All of Wittgenstein is now public domain (wittgensteinproject.org) Eduardo Ochs
• [Logica-l] Fwd: New Book on the Lvov-Warsaw School Joao Marcos
• [Logica-l] Coletivo Lógica Viva: "eu sou mentiroso!" sobre o paradoxo do mentiroso Marcos Silva
• [Logica-l] CFP: ThEdu'22 Joao Marcos
• [Logica-l] The Meaning of Proofs, 14 Jan 2022 (WLD event, virtual) Elaine Pimentel
• [Logica-l] coisas quânticas Joao Marcos
• [Logica-l] Fwd: Minicursos do programa de verão em Matemática (IME-USP) Joao Marcos

• Mensagens posteriores