Bøger af Pavel Materna

This Festschrift is in honour of Professor Marie Düí, V¿B - Technical University of Ostrava. The 16 contributions, authored by 24 colleagues, runthe gamut from foundations in logic and theoretical computer science through philosophical logic, multi-agent systems and theory of communicationto personal recollections. Marie Düí 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 OutstandingResults of Major Scientific Importance from the Academy of Sciences of the Czech Republic. The major achievements of Transparent IntensionalLogic that Marie has been involved in over the last decade have been compiled into the volume Transparent Intensional Logic: Selected RecentEssays, also published by College Publications.

This book shows how TIL lends itself to a broad range of applications. It comprises logical analysis of natural language, artificial-intelligence methods of knowledge representation, multi-agent systems in computer science, philosophy of mathematics, and more.