[Logica-l] Provador de teoremas online

Oi a todos, Nossa colega Andrea Loparic (Departamento de Filosofia-FFLCH-USP) disponibilizou online um provador automático de teoremas da sua autoria para a lógica mimimal de Johanssen-Kolmogoroff, e para a lógica proposicional intuicionista. O endereço é:

[Logica-l] Concurso na Universidade Federal do ABC (Santo André - SP )

Estão abertas as inscrições para concurso docente na Universidade Federal do ABC (Santo André - SP), com 6 vagas na área de Filosofia, categoria Professor Adjunto I, no Centro de Ciências Naturais e Humanas, com as seguintes sub-áreas: Filosofia da Ciência - 2 vagas Epistemologia - 1 vaga Lógica

Re: [Logica-l] Mensagem do Committee for Logic in Latin America da ASL- apoio a estudantes (EBL 2011)

Parabens Walter! Marcelo 2011/1/19 Walter Carnielli walter.carnie...@gmail.com: Prezados  colegas e estudantes: escrevo para  comunicar que, a convite da Associaton for Symbolic Logic, passo a  integrar o Committee for Logic in Latin America  da ASL. Em correspondência com a  ASL ficou

Re: [Logica-l] Premiacao no Concurso de Teses e Dissertações 2011 da SBC

Parabens Márcio, e parabens Renata! Estamos todos muito orgulhosos pela merecida distinção. E parabens também ao Márcio pelo belissimo prêmio recebido: publicar sua tese em inglês, em formato de livro pela Springer!! Abraços, Marcelo 2011/8/3 Walter Carnielli walter.carnie...@gmail.com:

Re: [Logica-l] Questão de lógica na prova para professores de SP

Estarrecedor! 2011/9/9 Carlos Gonzalez gonza...@gmail.com Prezados colegas, Os professores de SP que fizeram o curso para o concurso tiveram uma prova com 30 questões. A primeira questão da prova e: Segundo Aristóteles, o silogismo é um discurso em que, postas algumas coisas, outras

[Logica-l] Fwd: from Ken Lopez-Escobar's niece, Grisel

Caros colegas, Estou trasmitindo a partir da sua solicitação uma mensagem de Grisel, sobrinha do Prof. Ken Lopez-Escobar, recentemente falecido. Atenciosamente, Marcelo Coniglio -- Forwarded message -- From: Grisel Damgaard grise...@yahoo.com Date: Thu, Sep 15, 2011 at 12:09

[Logica-l] Fwd: News: PhilJobs

-- Forwarded message -- From: PhilPapers nore...@philpapers.org Date: Thu, Oct 6, 2011 at 6:54 PM Subject: News: PhilJobs To: conig...@cle.unicamp.br PhilJobs The PhilPapers team is pleased to announce a new online database of job ads in philosophy: PhilJobs. The database is to

[Logica-l] Homenagem a Horacio Arló-Costa em Buenos Aires

Llamado a contribuciones Taller de Lógica de Buenos Aires – Homenaje a Horacio Arló-Costa La Sociedad Argentina de Análisis Filosófico (SADAF) organiza un Homenaje a Horacio Arló-Costa, que tendrá lugar en Buenos Aires del 2 al 4 de agosto de 2012. Invitados especiales: Verónica Becher

Re: [Logica-l] Qualis: um exercicio de democraria na lista de Logica

Voto na proposta 1, e contra a iniciativa de João Marcos de abrir um novo pleito. Acho que niunguém tem mais paciência para continuar debatendo sobre este assunto. Parabenizo o Rodrigo, o Samuel e a Valeria (em estrita ordem alfabética) pelo valioso trabalho que fizeram de graça para tentar

Re: [Logica-l] go Argentina!

Pois é, entre 100 medidas tomar uma acertada nao está nada mal... Marcelo On Thu, May 24, 2012 at 11:06 AM, Walter Carnielli walter.carnie...@gmail.com wrote: Ótima   iniciativa  da  Honorável Câmara dos  Deputados da  Nação Argentina; nem tudo é ruim no reino da  Princesa  Cristina! Walter

[Logica-l] Fwd: go Argentina!

-- Forwarded message -- From: Marcelo Esteban Coniglio meconig...@gmail.com Date: 2012/5/24 Subject: Re: [Logica-l] go Argentina! To: Marcelo Finger mfin...@ime.usp.br Caro Marcelo F., Nao  somente destruiram, sucatearam, espezinharam e sabotaram de várias formas suas

[Logica-l] Fwd: II Congresso Brasileiro de Sistemas Fuzzy - Chamada de Trabalhos - Prazo Estendido

** SECOND BRAZILIAN CONGRESS ON FUZZY SYSTEMS - II CBSF November, 06th-09th Natal, Rio Grande do Norte, Brazil http://sites.google.com/site/academicfuzzybr/cbsf-eng

Re: [Logica-l] Tese sobre Aristóteles

Caro Tony, De fato a tese do Mateus é muito interessante. Eu participei da banca.Uma das coisas mais interessantes que achei foi a silogistica modal que o Aristóteles propôs e, ao que parece, não fechou completamente, mas também não foi completamente entendida pelos analistas. É um belo tema de

Re: [Logica-l] Boas vindas a ANPOF

Prezado Jose Carlos, Muitíssimo obrigado pelo apoio, e esperamos encontrá-lo no evento; em particular, nas sessões do nosso GT Lógica que acontecerão na quarta-feira. Aproveito para divulgar neste fórum a programação do XV Encontro da Anpof:

[Logica-l] Sobre a realização do próximo EBL

Caros membros da Lista, O EBL (encontro Brasileiro de Lógica) é organizado pela SBL (Sociedade Brasileira de Lógica). A escolha do local e dos comitês organizadores, assim como todos os detalhes de organização (escolha dos palestrantes convidados, da realização ou não de uma Escola, escolha dos

Re: [Logica-l] artigo newton da costa

Caro João, Pois é, os arquivos ocupam apenas 361MB no meu pendrive. Eu gerenciei pessoalmente aquele CD-ROM em 2003, em ocasião dos 25 anos do CLE/XIII EBL. Faz tempo que falamos que deveríamos disponibilizá-lo na página do CLE, mas acabamos esquecendo. Agora que o João trouxe de novo esta boa

Re: [Logica-l] artigo newton da costa

Caro João, Pois é, os arquivos ocupam apenas 361MB no meu pendrive. Eu gerenciei pessoalmente aquele CD-ROM em 2003, em ocasião dos 25 anos do CLE/XIII EBL. Faz tempo que falamos que deveríamos disponibilizá-lo na página do CLE, mas acabamos esquecendo. Agora que o João trouxe de novo esta boa

Re: [Logica-l] Nota de profundo pesar

Realmente uma notícia muito triste. A descrição da Andréa não poderia ser mais adequada. Achei muito boa a proposta do Chico de homenageá-lo no EBL. Abraços, Marcelo 2013/11/5 Walter Carnielli walter.carnie...@gmail.com: Caros colegas, trago aqui a triste notícia do falecimento do Prof.

Re: [Logica-l] artigo newton da costa

Caro Joao, caros todos, Voltando àquela questão do Journal of Non-Classical Logic: de acordo com o prometido, a coleção completa já está disponível para acesso gratuito (junto com outros links a livros onlne, que iremos acrescentando aos poucos) no seguinte endereço:

[Logica-l] Defesa de tese de Newton Peron e seminários do prof. Lui Fariñas del Cerro

Car@s colegas, Tenho o prazer de anunciar a defesa da tese de doutorado do meu estudante Newton Peron, no dia 20 de fevereiro às 10hs, no IFCH/Unicamp, Campinas. O título da tese é (In)Completude Modal por (N)Matrizes Finitas, e a banca será composta, além de mim, pelos seguintes professores:

Re: [Logica-l] Lógicas Modais

Caro Adolfo, Cada um deve ter sua lista de livros de Lógica Modal preferidos. No seu caso eu recomendo os seguintes, por serem muito claros e informativos: A New Introduction to Modal Logic G.E. Hughes and M.J. Cresswell http://www.amazon.com/A-New-Introduction-Modal-Logic/dp/0415126002 Modal

[Logica-l] Kripke's unfinished business

Entrevista ao filósofo da linguagem Scott Soames, que poderá ser de interesse para vários membros desta lista: http://www.3ammagazine.com/3am/on-the-analytic-philosophers-language-and-kripkes-unfinished-business/ Abraço, Marcelo ___ Logica-l mailing

[Logica-l] Fwd: EXTENDED PAPER SUBMISSION. NEW DEADLINE: May 20, 2014

-- Mensagem encaminhada -- De: slalm2...@dc.uba.ar Data: sábado, 10 de maio de 2014 Assunto: EXTENDED PAPER SUBMISSION. NEW DEADLINE: May 20, 2014 Para: EXTENDED PAPER SUBMISSION. NEW DEADLINE: May 20, 2014 Due to numerous requests and for problemS of our reception system, the

[Logica-l] EBL XVIII Extended Deadline: February 16

New Extended Deadline: FEB 16, 2017! Please, disseminate this extended deadline. We cordially invite submissions of contributed papers on the general topics of Logic, including - Philosophical and Mathematical Logic, and Applications, - History and Philosophy of Logic, - Non-classical Logic and

[Logica-l] South American Journal of Logic Vol. 2, n. 1 (2016)

Prezados(as) colegas Está disponível online (e em breve na versão impressa) o South American Journal of Logic Vol. 2, n. 1 (2016), cuja lista de artigos encontra-se no final desta mensagem. Convidamos todos(as) os(as) colegas a submeter um artigo em qualquer das áreas da Lógica. Um abraço

[Logica-l] Timothy Williamson's lectures at CLE-UNICAMP

Prezados(as), Nesta quinta e sexta-feira teremos dois seminários do renomado Professor Timothy Williamson (University of Oxford) no Centro de Lógica, Epistemologia e História da Ciência (CLE) da UNICAMP. Seguem abaixo os dados: Dia: 29/09/2016 (quinta-feira) Horário: 16:00 Título: "Absolute

Re: [Logica-l] mais uma história de sucesso made in Brazil

Parabéns Marcos!! Grande abraço Marcelo Em 11 de jan de 2017 20:01, "Joao Marcos" escreveu: > Parabéns ao Marcos Silva, que acabou de ganhar o prêmio > "Junior Faculty Member" da Fulbright > http://fulbright.org.br/wp-content/uploads/2016/02/ >

[Logica-l] Ajuda financeira para a participação de estudantes no EBL 2017

Caros(as) colegas, A Sociedade Brasileira de Lógica (SBL) disponibilizará recursos financeiros para apoiar um número limitado de estudantes de pós-graduação que pretendam participar do XVIII Encontro Brasileiro de Lógica. Tais recursos financeiros se destinariam a cobrir: alojamento, alimentação

[Logica-l] South American Journal of Logic vol. 2, n..2 -

eword: A Festschrift for Francisco Miraglia Marcelo Esteban Coniglio, Hugo Luiz Mariano and Vinicius Cifú Lopes (Guest Editors) 1. A Quarter of a Century of Joint Work with Chico Miraglia Max Dickmann 2. On Inverse Limits of Compact Structures Xavier Caicedo and Santiago Pinzón 3. On Alien Primes,

Re: [Logica-l] Doutorado em Matemática UFBA - Área de Lógica Matemática

Caro Samuel, Parabéns para você e para todos os membros do grupo de Lógica da UFBA!! Era realmente uma "não-permisão" (para não usar o termo "proibição") completamente absurda. Um abraço Marcelo 2017-10-27 17:16 GMT-02:00 Samuel Gomes da Silva : > Prezados, > > Após uma longa

Re: [Logica-l] Parabéns ao Cassiano, novo professor do ITA

Parabéns Cassiano! O ITA fez uma excelente aquisição. Um grande abraço Marcelo 2018-03-07 11:18 GMT-03:00 Antonio Marmo : > Caros participantes, > > Tenho a alegria de comunicar um resultado merecido: nosso colega Cassiano > Terra foi > o primeiro colocado no concurso do

Re: [Logica-l] Parabéns ao Tony Marmo por seu Doutorado

Parabéns Tony, e parabéns Jean-Yves! Um abraço Marcelo 2018-04-04 13:25 GMT-03:00 Walter Carnielli : > Car@s, > > Hesito em classificar esta mensagem de OFF- TOPIC, mas se for o > caso, fica classificada condicionalmente. Para isso temos Lógica. > Gostaria de

Re: [Logica-l] 12 anos de LOGICA-L

Parabéns João pela excelente ideia 12 anos atrás, e por tê-la materializado de maneira duradoura. Um grande abraço Marcelo Em sáb, 24 de mar de 2018 14:39, Joao Marcos escreveu: > Parabéns à LOGICA-L por seus doze anos de existência! > > Que muitos mais anos de saudáveis

Re: [Logica-l] Blog post do Joel Hamkins

Parabéns Roque!! Um abraço Marcelo 2018-04-03 22:26 GMT-03:00 Alfredo Roque Freire : > Obrigado pelo comentário Rodrigo, me sinto honrado de ser mencionado assim > na lista de lógica. > > Devo muito da minha formação e trabalho ao Rodrigo e ao Walter (meu > coorientador e

Re: [Logica-l] [off-topic?] Livro da área de lógica é finalista no Prêmio Jabuti

Parabéns Evandro e Ítala pela merecida indicação!! Abraços Marcelo Em qua, 17 de out de 2018 09:57, Evandro L. Gomes escreveu: > Caros/as colegas da lista de Lógica: > > Escrevo para comunicar que nosso livro "Para além das Columas de Hércules, > uma história da paraconsistência: de Heráclito

[Logica-l] South American Journal of Logic vol. 3, n. 1

Caros(as) colegas Anunciamos o lançamento online e impresso do último número do South American Journal of Logic (SAJL) (ver informações abaixo). Próximos lançamentos: -Vol. 3, n. 2: Proceedings of the 5th World Congress on the Square of Opposition - Easter Island, November 11-15, 2016.

[Logica-l] Palestra de Christoph Benzmüller no CLE/UNICAMP 26/07

Prezados(as) colegas Tenho o prazer de anunciar a seguinte palestra a ser ministrada no CLE/UNICAMP na sexta-feira 26/07 às 16:00, na sala de seminários "Kurt Gödel": "Designing Normative Theories of Ethical Reasoning: Formal Framework, Methodology, and Tool Support" Christoph Benzmüller, Dr.

Re: [Logica-l] Prêmio CAPES de Tese 2019 sai para um trabalho de lógica

Parabéns Bruno e Walter! A tese é realmente muito boa. Abraços Marcelo Em ter, 10 de set de 2019 16:38, Walter Carnielli < walter.carnie...@gmail.com> escreveu: > Caras e caros Colegas: > > Tenho a satisfação de informar que meu orienta do Bruno Ramos > Mendonça e eu ganhamos o Prêmio CAPES

[Logica-l] Palestra de Christoph Benzmüller no CLE/UNICAMP sexta-feira 26/07

Prezados(as) colegas Lembro para vocês que nesta sexta-feira 26/07 o Prof. Christoph Benzmüller (Freie Universität Berlin) vai ministrar a seguinte palestra no CLE/UNICAMP, às 16:00, na sala de seminários "Kurt Gödel": "Designing Normative Theories of Ethical Reasoning: Formal Framework,

Re: [Logica-l] Uma nova classe de modelos para a Teoria Paraconsistente de Conjuntos

Caros Sourav e Giorgio, Com relação à sua mensagem, agradecemos pelo interesse em nosso artigo, mas gostaríamos de esclarecer alguns enganos de vossa parte na apreciação dos resultados. (1) Vocês afirmam "Em primeiro lugar, a validade nas estruturas Twisted, que são as novas estruturas

[Logica-l] PhDs in Logic 2020 (Berlin, Germany, April 27-29, 2020)

Colegas, Isto pode ser de interesse para estudantes de pós-graduação e pós-doutorandos. Abs Marcelo -- PhDs in Logic 2020: PhDs in Logic XII (2020) Freie Universität Berlin Berlin, Germany, April 27-29, 2020

[Logica-l] Postdoctoral Position in the Department of Decision-Making Theory (UTIA, Prague)

Colegas, Por favor distribuir. Abs Marcelo *** The Institute of Information Theory and Automation, Czech Academy of Sciences invites applications for a two-year postdoctoral position in the Department of Decision-Making Theory (with a

[Logica-l] Logic job at CMU

Caros(as) A quem interessar possa. Abs Marcelo De: Steve Awodey Enviado: viernes, 4 de octubre de 2019 8:49 a. m. Para: categor...@mta.ca Cc: Steve Awodey Asunto: categories: Logic job at CMU Friends, The Department of Philosophy at Carnegie Mellon

Re: [Logica-l] Uma nova classe de modelos para a Teoria Paraconsistente de Conjuntos

s em V(PS3)! Como podemos entender isso de forma errada quando Sourav > é um dos autores do artigo? > Por essa razão uma estrutura a valores em PS3 não pode fornecer modelos > de ZF completo. Deve necessariamente haver algo errado no segundo resultado > principal Teorema 9.4! > > Saudaçõe

Re: [Logica-l] Uma nova classe de modelos para a Teoria Paraconsistente de Conjuntos

a 9.4!>>" Abraços Walter e e Marcelo Em qua., 18 de dez. de 2019 às 09:04, Marcelo Esteban Coniglio < conig...@unicamp.br> escreveu: > Prezados Sourav e Giorgio > > Muito obrigado mais uma vez pelas observações. No entanto, infelizmente > tem alguns erros de argumentaçã

[Logica-l] Fwd: LATD 2020: Call for Papers

-- Forwarded message - From: MathFuzzLog working group Date: Mon, Jan 13, 2020 at 2:32 PM Subject: LATD 2020: Call for Papers To: math fuzzlog LOGIC, ALGEBRA AND TRUTH DEGREES 2020 (LATD 2020) 14-18 September, 2020 Tbilisi, Georgia https://www.logic.at/latd2020/

[Logica-l] World Logic Day @ CLE - Terça-feira 14, às 14

Prezad@s colegas e estudantes Na próxima terça-feira 14, às 14hs, será realizado no CLE (assim como em diversos lugares do mundo) um pequeno evento comemorando o Dia Mundial da Lógica. Estão tod@s convidados a participar. Programa: Sessão 1 (14:00 to 16:00) 14:00 Walter Carnielli: The

Re: [Logica-l] S5 self-extensional LFI

Claro, seus trabalhos, os de Joao Marcos e os de Avron sobre LFIs self-extensionais (modais e 3-valoradas) estão comentados. Nossa proposta é diferente e abrange as LFIs basicas. Abraço Marcelo Em qui., 26 de mar. de 2020 às 13:48, jean-yves beziau < jyb.logic...@gmail.com> escreveu: > Uma LFI

Re: [Logica-l] LFIs com replacement

Caro Umberto, Certamente deveremos mudar a frase do abstract (que, como mencionado antes, em nada afeta o que é apresentado no artigo). Um grande abraço, e aguardamos seus comentários! Marcelo Em qui., 26 de mar. de 2020 às 15:41, Umberto Rivieccio < umberto.riviec...@gmail.com> escreveu: > >

Re: [Logica-l] Re: LFIs com replacement

Caro Umberto, Muito obrigado pela atinada observação. As LFIs às que nos referimos não são nem self-extensional nem algebrizáveis. Neste artigo estamos principalmente preocupados com a self-extensionality, no sentido de que todos os conectivos (incluindo a negação paraconsistente e o conectivo

Re: [Logica-l] on the Synthese special issue on *Varieties of Entailment*, dedicated to the memory of Carolina Blasio

Caro João, Uma belíssima e merecida homenagem! Parabéns aos editores e autores por este importante volume. Um forte abraço Marcelo Em qua., 15 de jul. de 2020 às 16:30, Joao Marcos escreveu: > O belo editorial do volume da Synthese dedicado à memória de Carolina > Blasio está finalmente

Re: [Logica-l] Fwd: [logic-bsb] F. Miraglia, "An Introduction to Partially Ordered Structures and Sheaves", 2020

Caros(as), Gostaria de parabenizar os editores da série, e agradecer efusivamente o Chico por ter disponibilizado esta verdadeira jóia. Grande abraço Marcelo Em sex., 17 de jul. de 2020 às 13:09, Rodrigo Freire escreveu: > Divulgo grande livro publicado hoje em acesso aberto pelo LnA. > > >

[Logica-l] Logic World Day 2021 @ CLE

Prezados(as) colegas No dia 14 de janeiro das 14 às 16:30 (horário de Brasília), celebrando o Dia Mundial da Lógica, teremos uma série de palestras curtas ministradas por pesquisadores vinculados ao Centro de Lógica, Epistemologia e História da Ciência (CLE) da UNICAMP. Vários dos pesquisadores

Re: [Logica-l] Nota de profundo pesar (falecimento do Prof. Paulo Augusto Veloso)

Tristíssima notícia. Um lógico billante, uma pessoa incrível, exemplo de talento, humildade e honestidade. Meus sinceros pêsames para a Sheila e para suas filhas Marcelo Em sáb., 14 de nov. de 2020 às 14:49, Bruno Lopes escreveu: > > Caros, > > Encaminho a nota da SBL em pesar pelo falecimento

Re: [Logica-l] On Hilbert’s Sixth Problem

Parabéns, Dória e Newton! Grande abraço Marcelo Em ter., 29 de jun. de 2021 às 17:00, Famadoria escreveu: > > Foi aceito pela Synthèse Library o livro do Newton e meu, On Hilbert’s Sixth > Problem, acabei de sabê-lo. Reúne quarenta anos de trabalhos nossos. > > Sent from my iPhone > > -- >

Re: [Logica-l] outra noticia triste: Roberto Bedregal (UFPB)

Notícia muitissimo triste. Uma perda enorme. Meus sentimentos para o Benjamin, o Claudio e todos seus familiares e amigos. Marcelo Em qua., 7 de abr. de 2021 às 12:31, valeria.depaiva escreveu: > > do Twitter do Thiago da Silva ontem > > Hoje a Matemática brasileira perde um grande nome para a

[Logica-l] Session of Logic at CLAM 2021 - Call for Participation - 15-17 September, 2021. Online event

[Please circulate! We apologize for any cross-postings] Session of Logic at CLAM 2021 Online, September 15-17, 2021 https://clam2021.cmat.edu.uy/ The 6th Latin American Congress of Mathematicians (CLAM 2021) will be held online from 13 September to 17 September, 2021. A session of logic "Lógica

[Logica-l] Open House on Category Theory 2021

- Forwarded message - Dear all, We are happy to announce the Open House on Category Theory 2021. A short, informal meeting which ideally would have taken place in México but, because of the covid pandemic, will take place online; 18-19 November 2021. We will seize the occasion

[Logica-l] Fwd: TACL 2022: First announcement

-- Forwarded message - === TOPOLOGY, ALGEBRA AND CATEGORIES IN LOGIC (TACL 2022) First announcement === Conference: June 20-24, 2022 in Coimbra School: June 13-18, 2022 in Praia de

[Logica-l] Fwd: PostDoc in Torun (Poland)

Prezadas e prezados colegas, Esta mensagem pode ser de interesse para membros da lista. Abraços Marcelo -- Forwarded message - Dear all, I'm here forwarding a message form Rafał Gruszczyński, the local PI of our partner Univ. of Torun Maybe you know somebody who could be

[Logica-l] Palestra online de Lluis Godo - "Simplified Kripke semantics for K45 and KD45 Gödel fuzzy modal logics"

- Forwarded message - Estimadas/os: Queremos invitarlas/os a la conferencia de cierre del Workshop CaToAm, que se llevará a cabo el día sábado 30 de Octubre a las 13 horas. La conferencia estará dictada por Lluis Godo, IIIA, Barcelona y se titula Simplified Kripke semantics

Re: [Logica-l] Andrea Loparic

Uma notícia tristíssima! Uma perda enorme! Meus mais profundos pêsames para familiares e amigos Marcelo Em seg., 25 de out. de 2021 às 10:49, Gisele Secco escreveu: > > Pessoal > Acabo de ser informada do falecimento de nossa querida Andrea. > Manifesto meus mais carinhosos sentimentos à sua

Re: [Logica-l] Curso "Pensamento Crítico, Lógica e Argumentação" (Coursera-Extecamp)

Parabéns, Walter e Juliana! Abraços Marcelo Em seg., 13 de dez. de 2021 às 12:50, Walter Carnielli escreveu: > > Cara(o)s Colegas e estudantes: > > Tenho a satisfação de anunciar que está no ar o curso (livre e grátis) > > "Pensamento Crítico, Lógica e Argumentação" oferecido na Plataforma >

[Logica-l] World Logic Day at CLE/Unicamp

) 14:00 – 14:30 Talk 1 - Logics of ignorance Ekaterina Kubyshkina (University of Campinas) Mattia Petrolo (Federal University of ABC) 14:40 – 15:10 Talk 2 - Decision Procedures for da Costa’s hierarchy through RNmatrices Guilherme Vicentin de Toledo (University of Campinas) Marcelo Esteban

[Logica-l] Fwd: World Logic Day - CLE '22

) Mattia Petrolo (Federal University of ABC) 14:40 – 15:10 Talk 2 - Decision Procedures for da Costa’s hierarchy through RNmatrices Guilherme Vicentin de Toledo (University of Campinas) Marcelo Esteban Coniglio (University of Campinas) 15:20 – 15:50 Talk 3 - On a cut-free sequent system for a logic

Re: [Logica-l] Boa notícia!

Excelente notícia! Um livro excelente de Introdução à Lógica, principalmente para estudantes de graduação em Filosofia. Parabéns Cezar! Abraço Marcelo Em sex., 18 de mar. de 2022 às 14:31, Elaine Pimentel escreveu: > > Prezados colegas, > > Vem aí a segunda edição do livro "Introdução à

[Logica-l] Fwd: LINZ Seminar 2022 [Extended Deadline - April 4th]

-- Forwarded message - Dear colleague, it is our pleasure to invite you to particiate in the 39th Linz Seminar on Fuzzy Set Theory"Many-Valued Logics: Theory and Applications" June 7-10, 2022 Bildungshaus St. Magdalena, Linz, Austria Since their inception in 1979 the Linz

Re: [Logica-l] Resultado do Prêmio de Lógica "Newton da Costa" 2021

Meus parabéns ao Ciro, o Abílio e o Henrique pela importante distinção! Abraços Marcelo Em sáb., 29 de jan. de 2022 às 18:42, Petrucio Viana escreveu: > > A SBL tem a honra e o prazer de informar que os artigos intitulados > > Coproduct and amalgamation of deductive systems by means of ordered

[Logica-l] Fwd: JOB: 6-Month Visiting Fellowship at the Complutense University of Madrid

**JOB: 6-Month Visiting Fellowship at the Complutense University of Madrid** The Project “From Vagueness and Truth to Substructural Epistemology and Metaphysics” led by Elia Zardini at the Department of Logic and Theoretical Philosophy of the Complutense University of Madrid is pleased to offer a

Re: [Logica-l] Livro em homenagem à obra de Décio Krause

Parabéns Raoni e Jonas, é um volume excelente!! E parabéns ao Décio também, pela merecida homenagem! Abraços Marcelo Em qui., 7 de set. de 2023 às 11:29, Raoni Wohnrath Arroyo escreveu: > > Oi pessoal, > > peço licença pra divulgar o seguinte livro em homenagem ao filósofo > brasileiro Décio

[Logica-l] Fwd: Postdoc position in Rome Tor Vergata (deadline, November 18th)

-- Forwarded message - PURITY AND SIMPLICITY OF MATHEMATICAL PROOFS (12 months postdoc position, University of Rome Tor Vergata. Supervisor: Gabriele Pulcini) A one-year postdoc position is now open at the Dep. of Literary, Philosophical and Art History Studies, University of

[Logica-l] Fwd: Call for postdoc: Logic and Philosophy of Science, Nicolaus Copernicus University in Toruń, Poland

-- Forwarded message - Postdoc position in non-classical logic Emerging Field: Logic and Philosophy of Science, Department of Logic, Nicolaus Copernicus University (NCU) in Toruń, Poland The position Department of Logic of NCU in Toruń and Emerging Field: “Logic and Philosophy

[Logica-l] Fwd: Workshop on Advances in Separation Logics (ASL 2022 @ FLOC 2022)

-- Forwarded message - Workshop on Advances in Separation Logics (ASL 2022), Haifa, Israel, July 31st 2022 https://asl-workshop.github.io/asl22/ The past two decades have witnessed important progress in static analysis and verification of code with low-level pointer and heap

[Logica-l] [Off Topic] Processo Seletivo para a Contratação Emergencial de Professor Doutor na Área de Engenharia de Computação - FEEC - Unicamp

A quem interessar... A Faculdade de Engenharia Elétrica e de Computação da Unicamp informa que estão abertas as inscrições para concurso de Professor Doutor, na Área de Engenharia de Computação, para as disciplinas EA876 - Introdução a Software de Sistema, EA879

Re: [Logica-l] Prêmio CAPES de tese 2022

Excelente notícia!! Parabéns Evelyn, Daniel e Ole!! Marcelo Em sáb., 15 de out. de 2022 às 14:36, Joao Marcos escreveu: > > Agora também com o prêmio de melhor tese na ANPOF! Evelyn está de muitos > parabéns. > > JM > > On Fri, Aug 12, 2022, 13:34 Daniel Durante wrote: >> >> Viva!! >> >>

Re: [Logica-l] Prêmio CAPES de tese 2022

Excelente notícia!! parabéns para a Evelyn e para o Daniel!!! Elaine, o Bruno Ramos Mendonça ganhou em 2019 o Prêmio Capes, sob orientação do Walter Carnielli. Um abraço Marcelo Em sex., 12 de ago. de 2022 às 08:53, Joao Marcos escreveu: > >

Re: [Logica-l] SI - Logics and Their Interpretations II

Parabéns Henrique e Damián! Grande abraço Marcelo Em dom., 11 de dez. de 2022 às 21:06, Henrique Antunes escreveu: > > Prezad@s, > > É com enorme prazer que anuncio a publicação do segundo volume do > Special Issue "Logics and Their Interpretations", editado por mim e por > Damian Szmuc, na

[Logica-l] RAMiCS 2023 - Call for short contributions / posters

-- Forwarded message - (Apologies for multiple posting) CALL FOR SHORT CONTRIBUTIONS / POSTERS 20th International Conference on Relational and Algebraic Methods in Computer Science RAMiCS 2023 3 to 6

Re: [Logica-l] Newton da Costa Prize 2022 / Prêmio Newton da Costa 2022

Parabéns para o Walter e a Juliana pelo prêmio!!! Abraços, Marcelo Em qua., 18 de jan. de 2023 às 12:52, Walter Carnielli escreveu: > > (EN below!!!) > > Prezados colegas da SBL e da Lista Brasileira de Lógica: > > Gostaríamos de agradecer a premiação relativa ao Prêmio Newton da > Costa

[Logica-l] 1st Workshop on Non-deterministic Semantics for Modal Logics

A quem possa interessar, vai ter nos dias 7 e 8 de novembro o primeiro Workshop sobre semânticas não-determinísticas para lógicas modais: https://sites.google.com/view/1stworkshop-ndml/startseite Para participar remotamente tem que fazer a inscrição online até hoje, domingo 06/11. O evento

[Logica-l] Fwd: [LanCog] Job announcement: Postdoctoral Fellowship in Substructural Logics and Their Philosophy at the University of Lisbon

- The Centre of Philosophy of the University of Lisbon announces the selection procedure for a 12 month postdoctoral position in substructural logics and their philosophy, within the R project ‘New Perspectives on the Objects and Grounds of