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.