Recebi, por fim, o índice do belo livro em homenagem a Paulo Veloso, que compartilho aqui:
%%% Memory Propositional Dynamic Logic Mario Benevides and Bruno Lopes Fixed-Parameter Tractability of Decidable Prefix-Vocabulary FO Classes Luis Henrique Bustamante, Ana Teresa Martins, and Francicleber Martins Ferreira An Objectual Semantics for First-Order LFI1 with an Application to Free Logics Walter Carnielli and Henrique Antunes Remarks on a Nice Theorem of Monsieur Glivenko Itala M. Loffredo D’Ottaviano and Evandro Luis Gomes The Arithmetization-Free Component of Gödel’s Proof Rodrigo A. Freire A Working Mathematician between Philosophers: On the Logical Analysis of Magnitudes Abel Lassalle-Casanave and Eduardo N. Giovannini Boolean Real Semigroups Francisco Miraglia and Hugo R. O. Ribeiro Kolgomorov-Veloso Problems and Dialectica Categories Valeria de Paiva and Samuel G. da Silva On the Construction of Explosive Relation Algebras Carlos G. Lopez Pombo, Marcelo F. Frias, and Thomas S. E. Maibaum Euclidean Machines: General Theory of Problem Wagner de Campos Sanz When Databases Roamed Computing: Formal database specification revisited perspective of language Ionut Tutu, Claudia E. Chirita, and Jose L. Fiadeiro Living and working with Paulo A. S. Veloso Sheila Regina Murgel Veloso %%% Uma grande pena ele não ter sido impresso a tempo de ser entregue no workshop que seria organizado em homenagem ao Paulo! Joao Marcos On Sat, May 29, 2021 at 8:12 AM Joao Marcos <botoc...@gmail.com> wrote: > > (O livro tem data de fevereiro, mas aparentemente só apareceu no site da > College Books esta semana. Como esta editora não se dá ao trabalho sequer de > colocar o índice online, talvez os editores do volume possam compartilhar a > informação aqui conosco?) > > > A Question is More Illuminating than an Answer > A Festschrift for Paulo A. S. Veloso > http://www.collegepublications.co.uk/tributes/?00044 > - Edward Hermann Haeusler, Luis Carlos Pinheiro Dias Pereira and Jorge > Petrucio Viana, eds > > This volume is dedicated to the memory of Paulo A. S. Veloso (1944-2020), a > distinguished Brazilian logician. Veloso's scientific contributions are > disseminated in the most important areas related to logic: computer science, > mathematics and philosophy. His main contributions are in the fields of > automata theory, algebraic logic, formal specifications, modal logics, and > diagrammatic reasoning. In addition to his intellectual depth and innovative > ideas, Veloso was known for his kindness and generosity, both academic and > personal, attested by the large number of collaborators and friends he > cultivated throughout his career. It was high time some of these > collaborators and friends worked together. The result is this book, which > contains brilliant contributions in the various subjects directly related to > Paulo Veloso's outstanding work. -- http://sequiturquodlibet.googlepages.com/ -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Li60UYZDvMP_-JMmsAE1unM9AeWJ8FKkoJvKen%2BT7Au0w%40mail.gmail.com.
