Logically Speaking. A Festschrift for Marie Duzí (el. knyga) (skaityta knyga) | knygos.lt

Aprašymas

This Festschrift is in honour of Professor Marie Duzí, VSB - Technical University of Ostrava. The 16 contributions, authored by 24 colleagues, run

the gamut from foundations in logic and theoretical computer science through philosophical logic, multi-agent systems and theory of communication

to personal recollections.

Marie Duzí is best known for her profound and extensive work on both the foundations and multiple applications of Transparent Intensional Logic, originally developed by Pavel Tichý in the late 1960s. Her work, whether single-authored or co-authored, has appeared in various high-level journals. In 2008 the Rector of her home university granted Marie the award Outstanding Results in the Development of Science and Research.

The 2010 monograph Procedural Semantics for Hyperintensional Logic earned Marie and her coauthors the prestigious Award for Outstanding

Results of Major Scientific Importance from the Academy of Sciences of the Czech Republic. The major achievements of Transparent Intensional

Logic that Marie has been involved in over the last decade have been compiled into the volume Transparent Intensional Logic: Selected Recent

Essays, also published by College Publications.