Arnie was a good friend of mine.
His work is directly related to the universal logic project:
https://www.logica-universalis.org/
He was keynote speaker at the first UNILOG in Montreux in 2005.
Later I visited him at CUNY.
His main work is based on Paul Hertz's idea of Satzsysteme, from which
the work of Gentzen is derived.
See: "A Structuralist Theory of Logic", Cambridge University Press, New
York, 1992.
https://philpapers.org/rec/KOSAST-2
and the first chapter of: "Universal Logic: An Anthology, From Paul Hertz
to Dov Gabbay"
https://link.springer.com/book/9783034601443
JYB

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 
<logica-l@dimap.ufrn.br>
--- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta conversa, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLDDjEKRfaONSmPT6mALFgfF6wOHQW3m4dt8KyGDNzFZYQ%40mail.gmail.com.

Responder a