Logicamente parlando. Una dedica a Marie Duz

Titolo originale:

Logically Speaking. A Festschrift for Marie Duz

Contenuto del libro:

Questa Festschrift è in onore della professoressa Marie Duz, VSB - Università Tecnica di Ostrava. I 16 contributi, scritti da 24 colleghi, spaziano dai fondamenti della logica e dell'informatica teorica alla logica filosofica, ai sistemi multi-agente e alla teoria della comunicazione.

I 16 contributi, scritti da 24 colleghi, spaziano dai fondamenti della logica e dell'informatica teorica alla logica filosofica, ai sistemi multiagente e alla teoria della comunicazione.

E ai ricordi personali.

Marie Duz è nota soprattutto per il suo profondo ed esteso lavoro sui fondamenti e sulle molteplici applicazioni della Logica Intensionale Trasparente, sviluppata originariamente da Pavel Tich alla fine degli anni Sessanta. Il suo lavoro, sia come autore singolo che come coautore, è apparso in diverse riviste di alto livello. Nel 2008 il rettore della sua università natale ha conferito a Marie il premio Outstanding Results in the Development of Science and Research.

La monografia del 2010 Semantica procedurale per la logica iperintensionale è valsa a Marie e ai suoi coautori il prestigioso Award for Outstanding.

Risultati di grande importanza scientifica dell'Accademia delle Scienze della Repubblica Ceca. I principali risultati di Transparent Intensional.

Logica trasparente intensionale in cui Marie è stata coinvolta nell'ultimo decennio sono stati raccolti nel volume Transparent Intensional Logic: Selected Recent.

Essays, anch'esso pubblicato da College Publications.