A Question is More Illuminating than an Answer. A Festschrift for Paolo A. S. Veloso
Tento zväzok je venovaný pamiatke Paulo A.
S. Velosa (1944-2020), významného brazílskeho logika.
Velosove vedecké príspevky sú rozšírené v najdôležitejších oblastiach súvisiacich s logikou: v informatike, matematike a filozofii. Jeho hlavné príspevky sa týkajú teórie automatov, algebraickej logiky, formálnych špecifikácií, modálnych logík a diagramatického uvažovania. Okrem intelektuálnej hĺbky a inovatívnych myšlienok bol Veloso známy svojou láskavosťou a veľkorysosťou, akademickou aj osobnou, o čom svedčí veľký počet spolupracovníkov a priateľov, ktorých si počas svojej kariéry vypestoval.
Bol najvyšší čas, aby niektorí z týchto spolupracovníkov a priateľov pracovali spoločne. Výsledkom je táto kniha, ktorá obsahuje brilantné príspevky z rôznych oblastí priamo súvisiacich s výnimočným dielom Paula Velosa.