>>Há uma versão destes slides aqui:
> http://logic-ufrn.weebly.com/joatildeo-marcos.html
>
> muito legais os slides JM! cade os outros? vao aprecer depois?
Não tá tudo pronto ainda! ;-)
Disponibilizo desde já, contudo, os slides da palestra de hoje, em
seguida ao correspondente abstract.
Abraços
Viva, Marcelo:
> 2016-11-01 19:08 GMT-02:00 Carol Blasio :
>>
>> * João Marcos: "The mystery of duality unraveled: dualizing rules,
>> operators, and logics"
>
> Não obstante o lado místico (ou misterioso) da lógica, eu gostaria de saber
> se v tem algo escrito sobre dualidade em lógica, pois é um
>Há uma versão destes slides aqui:
http://logic-ufrn.weebly.com/joatildeo-marcos.html
muito legais os slides JM! cade os outros? vao aprecer depois?
abs,
Valeria
2016-11-01 23:33 GMT-07:00 Joao Marcos :
> Obrigado pelo interesse, Walter. Há uma versão destes slides aqui:
> http://logic-ufrn.we
2016-11-01 19:08 GMT-02:00 Carol Blasio :
> * João Marcos: "The mystery of duality unraveled: dualizing rules,
> operators, and logics"
Oi João,
Não obstante o lado místico (ou misterioso) da lógica, eu gostaria de saber
se v tem algo escrito sobre dualidade em lógica, pois é um tema que sempr
Obrigado pelo interesse, Walter. Há uma versão destes slides aqui:
http://logic-ufrn.weebly.com/joatildeo-marcos.html
[]s, JM
On Nov 2, 2016 12:55 AM, "Walter Carnielli"
wrote:
> Ola Carol e Marcos,
>
> o projeto do Marcos é bem bacana, e eu fico contente de ter
> contribuido de alguma forma.
Ola Carol e Marcos,
o projeto do Marcos é bem bacana, e eu fico contente de ter
contribuido de alguma forma.
Carol, eu gostaria (em PVT se preferir) dos slides de "Breaking the
Proof Code - Einführung in die Maschinengestütztes Beweisen"
Abs
Walter
Em 1 de novembro de 2016 19:08, Carol Blas
Caro Marcos e lista,
Parabéns e obrigada pela divulgação!
(Por favor me mande os slides.)
Aproveito também para divulgar algumas palestras minhas e de João Marcos
para quem estiver pelas bandas da Vestfália e de Francoforte.
- 03.11.2016
* João Marcos: "Can classical reasoning be recovered throu
