Marcelo Finger has a BSc in Electronic Engineering from Universidade de São Paulo (EP-USP 1988), an MSc in Foundations of Advanced Information Technology from the Imperial College of Science, Technology and Medicine (1990), and a PhD in Computing from Imperial College of Science and Technology, University of London (1994).

He has held visiting positions in the computer science departments at Universitée Paul Sabatier--Toulouse (2011) and Cornell University (2012-2013). He is currently a professor of computer science at the Institute of Mathematics and Statistics at the University of São Paulo.

He is part of the editorial board of the South American Journal of Logic and São Paulo Journal of Mathematical Sciences, and has been a guest editor for Theoretical Computer Science and Annals of Mathematics in Artificial Intelligence. In addition, he has been a reviewer for Computing Reviews since 2013. He is an expert in logic and deductive-probabilistic reasoning, and his research focuses on logic, artificial intelligence, digital humanities, and computational linguistics.

Introduction to logic (3rd ed.) Genesereth M., Kao E., Morgan & Claypool Publishers, San Rafael, CA, 2016. 178 pp. Type: Book (978-1-627056-36-6) This book is an introductory course on formal logic at a college level. Although its authors are computer scientists, it is aimed at a broad audience, only requiring high school set theory and algebra....

Aug 30 2017

Probability logics: probability-based formalization of uncertain reasoning Ognjanović Z., Rašković M., Marković Z., Springer International Publishing, New York, NY, 2016. 215 pp. Type: Book (978-3-319470-11-5) Combinations of probability and logic have been a topic of interest since the seminal work of Boole [1], and they have always occupied a place of relevance in foundational studies of probability. However, the direction of development has been cons...

Jun 5 2017

Quantifiers and cognition: logical and computational perspectives Szymanik J., Springer International Publishing, New York, NY, 2016. 211 pp. Type: Book (978-3-319287-47-8) A formal study of the problem of why some natural language sentences are harder to understand than others is the objective of this book. In that, it claims to be a highly interdisciplinary approach to language complexity. And, in terms of its moti...

Oct 6 2016

Fifty years of fuzzy logic and its applications Tamir D., Rishe N., Kandel A., Springer Publishing Company, Incorporated, New York, NY, 2015. 684 pp. Type: Book (978-3-319196-82-4) This collection of papers celebrates 50 years since the publication of Zadeh’s seminal paper creating the field of fuzzy sets and fuzzy logic [1]. This is certainly not an introductory book on the field of fuzzy logic, as it presupposes quit...

Nov 6 2015

Advances in knowledge discovery in databases Adhikari A., Adhikari J., Springer Publishing Company, Incorporated, New York, NY, 2014. 370 pp. Type: Book (978-3-319132-11-2) Several advances in techniques for obtaining nonexplicit information that is present in database systems are described in this book. It discusses a good number of problems and techniques from the point of view of what the authors call market baske...

May 27 2015

Theory of conditional games Stirling W., Cambridge University Press, New York, NY, 2014. 252 pp. Type: Book (978-1-107428-98-0) This book has as motivation the limits of standard decision theory, which has as underlying assumptions categorical preferences, the fact that each stakeholder has a predefined preference order over outcomes, and the doctrine of individual rationa...

Jan 28 2015

The ordering principle in a fragment of approximate counting Atserias A., Thapen N. ACM Transactions on Computational Logic 15(4): 1-11, 2014. Type: Article This paper solves an open problem in the field of bounded arithmetic. Bounded arithmetic is an area developed for the logical analysis of the expressive properties of the polynomial hierarchy in theoretical computer science [1]. Fragments of bound...

Jan 27 2015

Advances in natural deduction: a celebration of Dag Prawitz’s work Pereira L., Haeusler E., de Paiva V., Springer Publishing Company, Incorporated, Dordrecht, the Netherlands, 2014. 310 pp. Type: Book (978-9-400775-47-3) Natural deduction was proposed as a formalization of classical reasoning that could mirror the use of assumptions as used in mathematical reasoning. Initial formulations toward that goal were made by Lukasiewicz and Jaskowski in the late 1920s, bu...

Aug 1 2014

Towards a general theory of classifications Parrochia D., Neuville P., Birkhäuser Basel, Basel, Switzerland, 2013. 327 pp. Type: Book (978-3-034806-08-4) This books deals with the existing components of a general theory of classifications, which are mathematical in their presentation, and the reasons why they do not form a complete theory yet. The general approach is to provide a logical descriptio...

Apr 8 2014

Near rings, fuzzy ideals, and graph theory Satyanarayana B., Prasad K., Chapman & Hall/CRC, Boca Raton, FL, 2013. 480 pp. Type: Book (978-1-439873-10-6) The title of this book is quite appropriate. The authors present the theory of near rings, and conclude with two chapters on the application to fuzzy ideals and graph theoretical investigations in near rings. The occurrence of near rings that are ...