Legal, Walter
Em 9 de fevereiro de 2017 11:34, Walter Carnielli <
walter.carnie...@gmail.com> escreveu:
> Olá Andrea,
>
> obrigado pela ótima mensagem! Era meu guru também, tanto que seu livro
> ¨First Order Logic¨ foi inspiração para um dos meus primeiros
> trabalhos (eu o li antes da su
Caros,
para os que estiverem pelo encantador nordeste brasileiro, no dia 14/2,
teremos mais uma edição do SILC em Maceió:
https://sites.google.com/site/silcufal/home/iii-silc
Todos os interessados são bem-vindos.
Segue a programação abaixo.
Abraços,
Marcos
III SILC - Seminário Interno de Ling
Me foi anunciado que o Alexander Karpenko acabou de falecer
Ele era o diretor do Departamento de Lógica
da Academia Russia da Ciencia desde do ano 2000
http://eng.iph.ras.ru/karpenko.htm
Conheci o Karpenko no WCP1 na Belgica em 1997
e sempre fiquei em contato com ele desde desta epoca.
Aqui um fo
Olá Andrea,
obrigado pela ótima mensagem! Era meu guru também, tanto que seu livro
¨First Order Logic¨ foi inspiração para um dos meus primeiros
trabalhos (eu o li antes da sua
primorosa tradução).
Sobre as "evaluations" versus "valuations", o conceito de
F-saturados e a semântica par
Era meu grande guru.
Foi uma honra traduzir seu ¨First Order Logic¨.
Embora não tenha tido essa consciência senão anos
depois, quando fazia a tradução, foi com certeza a
partir de suas idéias sobre a hauptsatz que eu percebi
(e em seguida ensinei a todo mundo aqui no Brasil) que
o Lema de Lindembau
TIME 2017
24th International Symposium on Temporal Representation and Reasoning
Mons (Belgium), 16-18 October 2017
First Call for Papers
http://informatique.umons.ac.be/time2017/
--
Amilcar Sernadas ficou entusiasto pela logica universal desde do inicio e
nos encorajou a organizar o UNILOG'2010 em Lisboa
Falo sobre isso e a nossa relacao na ultima parte do artigo dedicado a ele
que eu escrevi recentemente
Monosequent Proof Systems
http://www.jyb-logic.org/MONO
Jean-Yves
Le
