Arnold Koslow (1933-2024)

50 views
Skip to first unread message

Joao Marcos

unread,
Nov 26, 2024, 11:54:14 AM11/26/24
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA

jean-yves beziau

unread,
Nov 27, 2024, 5:59:11 PM11/27/24
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Arnie was a good friend of mine.
His work is directly related to the universal logic project:
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.
and the first chapter of: "Universal Logic: An Anthology, From Paul Hertz to Dov Gabbay"
JYB

Reply all
Reply to author
Forward
0 new messages