Logically Speaking. A Festschrift for Marie Duz
Ce Festschrift est en l'honneur du Professeur Marie Duz, VSB - Université technique d'Ostrava. Les 16 contributions, rédigées par 24 collègues, couvrent un large éventail de sujets.
Elles vont des fondements de la logique et de l'informatique théorique à la logique philosophique, en passant par les systèmes multi-agents et la théorie de la communication.
Des souvenirs personnels.
Marie Duz est surtout connue pour son travail approfondi et étendu sur les fondements et les multiples applications de la logique intensionnelle transparente, développée à l'origine par Pavel Tich à la fin des années 1960. Ses travaux, qu'ils aient été écrits seuls ou en collaboration, ont été publiés dans diverses revues de haut niveau. En 2008, le recteur de son université d'origine a décerné à Marie le prix Outstanding Results in the Development of Science and Research.
La monographie de 2010 Procedural Semantics for Hyperintensional Logic a valu à Marie et à ses coauteurs le prestigieux Award for Outstanding.
L'Académie des sciences de la République tchèque a décerné à Marie et à ses coauteurs le prestigieux prix pour les résultats exceptionnels d'une importance scientifique majeure. Les principales réalisations de Transparent Intensional.
Logic auxquelles Marie a participé au cours de la dernière décennie ont été compilées dans le volume Transparent Intensional Logic : Selected Recent.
Essais, également publié par College Publications.
© Book1 Group - tous droits réservés.
Le contenu de ce site ne peut être copié ou utilisé, en tout ou en partie, sans l'autorisation écrite du propriétaire.
Dernière modification: 2024.11.14 07:32 (GMT)