
Logic, Intelligence and Artifices
Tributes to Tarcisio H. C. Pequeno
College Publications (Publisher)
Published on 31. December 2018
Book
Paperback/Softback
416 pages
978-1-84890-297-8 (ISBN)
Description
This volume is a homage to the computer scientist and philosopher
Tarcísio Haroldo Cavalcante Pequeno. Tarcísio dedicated his research
to subjects ranging from logic to philosophy through artificial
intelligence, theoretical computer science and language. His main
contributions were in nonmonotonic and paraconsistent logics,
especially the study of negation; algebraic approaches to the semantics
of programming languages, applications of intuitions from game
semantics to automatic theorem proving; tableaux methods for
paraconsistent logics and the role of rule following and rule
consciousness in cognition, motivated by his interest in philosophy
and the problem of demarcation of rationality.
The contributions to this volume reflect the broad range of interests characteristic of
Tarcísio's scientific interests. Topics include relations between
logic and category theory, specifications of model checkers,
philosophy of paraconsistent logics, epistemic logic, abstract
argumentation semantics, natural language processing, foundations of
mathematics, philosophical aspects of natural language processing,
philosophy of logic and language, metaphysics, philosophy of science.
During the last forty years, Tarcísio oriented, inspired and
collaborated with many researchers and established the field of logic
as an active research area in Northeast Brazil. This book expresses
the admiration of his colleagues and the recognition of his influence
on their academic lives.
More details
Language
English
Product notice
Paperback (trade)
Unsewn / adhesive bound
Illustrations
Illustrations, black and white
Dimensions
Height: 234 mm
Width: 156 mm
Thickness: 22 mm
Weight
629 gr
ISBN-13
978-1-84890-297-8 (9781848902978)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification