Kneale’s Natural Deductions as a Notational Variant of Beth’s Tableaus / Zvonimir Šikić / Kosta Dosen / Substructural Logics
14 views
Skip to first unread message
jean-yves beziau
Jun 19, 2021, 4:01:25 PM6/19/21
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Foi publicado há pouco na Logica Universalis o artigo
"Kneale’s Natural Deductions as a Notational Variant of Beth’s Tableaus"
- do Zvonimir Šikić
vencedor da segunda edição do prêmio de lógica Georgius Benignus (Croatia)
e que vai concorrer no 2nd World Logic Contest no UNILOG'2022
No início do artigo esta escrito: "Dedicated to the late Kosta Doˇsen who asked me to write it."
Aqui a página do Kosta Dosen
com a lista de publicações dele
e obituário do Peter Schroeder-Heister
PSH e KD publicar em 1993 o livro "Substructural Logics"
que conceitualizou a noção de lógica subestrutural e, como o PSH conta no obituário, foi o Kosta Dosen que inventou essa terminologia promovida na altura do evento organizado na Universidade de Tübingen em outubro de 1990 com a participação de Lambek, van Benthem, Dunn, Girard, Ono, etc. (do qual o livro acima é uma consequência).
O primeiro capítulo do livro foi escrito por Kosta Dosen e se chama "A historical introduction to substructural logics".
Comentário en passant: a página da wikipédia (em todas línguas) sobre lógica subestrutural está fraquinha !
Kosta Dosen foi professor durante alguns anos na França e falava fluentemente francês.
Ele visitou o Brasil, em particular foi palestrante na terceira edição do WoLLIC em 1996 em Salvador.
Conversei com ele nesta altura em particular sobre a questão da originalidade da lógica linear do J.-Y.Girard
(do qual eu fui aluno em 1989/1990)
.
Cerca de 10 anos depois, convidei Kosta para ser keynote speaker do primeiro UNILOG em Montreux na Suíça:
Convidei também J-Y.Girard, mas ele me falou que ele tinha medo das alturas ...
JYB
Reply all
Reply to author
Forward
0 new messages