Logic Intelligence and Artifices

<p>This volume is a homage to the computer scientist and philosopher<br />Tarcísio Haroldo Cavalcante Pequeno. Tarcísio dedicated his research<br />to subjects ranging from logic to philosophy through artificial<br />intelligence theoretical computer science and language. His main<br />contributions were in nonmonotonic and paraconsistent logics<br />especially the study of negation; algebraic approaches to the semantics<br />of programming languages applications of intuitions from game<br />semantics to automatic theorem proving; tableaux methods for<br />paraconsistent logics and the role of rule following and rule<br />consciousness in cognition motivated by his interest in philosophy<br />and the problem of demarcation of rationality.<br /><br />The contributions to this volume reflect the broad range of interests characteristic of<br />Tarcísio's scientific interests. Topics include relations between<br />logic and category theory specifications of model checkers<br />philosophy of paraconsistent logics epistemic logic abstract<br />argumentation semantics natural language processing foundations of<br />mathematics philosophical aspects of natural language processing<br />philosophy of logic and language metaphysics philosophy of science.<br /><br />During the last forty years Tarcísio oriented inspired and<br />collaborated with many researchers and established the field of logic<br />as an active research area in Northeast Brazil. This book expresses<br />the admiration of his colleagues and the recognition of his influence<br />on their academic lives.<br /> </p>