Re: [Logica-l] Ideias Brasileiras - Ítala D'Ottaviano

2022-05-25 Por tôpico Aldo Figallo-Orellano
Prezado Alfredo, Eu tive o privilégio de estudar a tese da Professora Itala. A teoria de modelo que ela apresenta talvez seja uma das primeiras teorias de modelos baseados numa lógica algebrizável usando de fato um álgebra de três valores de verdade, mas com certeza a primeira teria de modelos

Re: [Logica-l] Ideias Brasileiras - Ítala D'Ottaviano

2022-05-25 Por tôpico Walter Carnielli
Caro Alfredo: Parabéns pela ótima apresentação dos sistema J3, e parabéns à Itala pelos resultados, e por ter tido a coragem de trabalhar nesse assunto há mais de 30 anos! Abraços, Walter Em qua., 25 de mai. de 2022 às 19:07, Alfredo Roque Freire escreveu: > > Olá a todas e todos, > >

[Logica-l] Ideias Brasileiras - Ítala D'Ottaviano

2022-05-25 Por tôpico Alfredo Roque Freire
Olá a todas e todos, Gostaria de compartilhar com vocês o novo vídeo da série ideias brasileiras. Esse vídeo é sobre os sistemas J3 de Ítala D'Ottaviano. Os vídeos dessa série são muito trabalhosos e, por isso, vamos publicar muito aos poucos. - *Ideias brasileiras - Itala D'Ottaviano e as

[Logica-l] 2nd Workshop on Relating Logic Cagliari, Italy, 22–23 July 2022

2022-05-25 Por tôpico jean-yves beziau
2nd Workshop on Relating Logic Cagliari, Italy, 22–23 July 2022 The Workshop follows the conference Trends in Logic XXII and is organised by the Department of Pedagogy, Psychology, Philosophy, University of Cagliari (Italy), the Department of Logic, Nicolaus Copernicus University in Toruń

[Logica-l] Postdoc position in non-classical logic / Department of Logic, Nicolaus Copernicus University in Toruń

2022-05-25 Por tôpico jean-yves beziau
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 of Science” invite postdoc researchers to