Logic vorbind. Un Festschrift pentru Marie Duz

Titlul original:

Logically Speaking. A Festschrift for Marie Duz

Conținutul cărții:

Acest Festschrift este în onoarea profesorului Marie Duz, VSB - Universitatea Tehnică din Ostrava. Cele 16 contribuții, semnate de 24 de colegi, acoperă.

Gama de la fundamente în logică și informatică teoretică până la logică filosofică, sisteme multi-agent și teoria comunicării.

Până la amintiri personale.

Marie Duz este cel mai bine cunoscută pentru munca sa profundă și extinsă atât asupra fundamentelor, cât și asupra aplicațiilor multiple ale Logicii Intensionale Transparente, dezvoltată inițial de Pavel Tich la sfârșitul anilor 1960. Lucrările sale, fie ca autor unic sau coautor, au apărut în diverse reviste de nivel înalt. În 2008, rectorul universității sale natale i-a acordat Mariei premiul pentru rezultate remarcabile în dezvoltarea științei și a cercetării.

Monografia Procedural Semantics for Hyperintensional Logic din 2010 i-a adus lui Marie și coautorilor săi prestigiosul premiu pentru rezultate remarcabile.

Rezultate de importanță științifică majoră din partea Academiei de Științe a Republicii Cehe. Cele mai importante realizări ale Transparent Intensional.

Logic în care Marie a fost implicată în ultimul deceniu au fost compilate în volumul Transparent Intensional Logic: Selected Recent

Eseuri, publicat, de asemenea, de College Publications.