Logo

Algebraic Logic by H. Andreka, I. Nemeti, I. Sain

Small book cover: Algebraic Logic

Algebraic Logic
by


Number of pages: 129

Description:
Part I of the book studies algebras which are relevant to logic, e.g. algebras which were obtained from logics. Part II deals with the methodology of solving logic problems by (i) translating them to algebra (the process of algebraization), (ii) solving the algebraic problem, and (iii) translating the result back to logic.

Download or read it online for free here:
Download link
(740KB, PDF)

Similar books

Book cover: The Haskell Road to Logic, Maths and ProgrammingThe Haskell Road to Logic, Maths and Programming
by - College Publications
The purpose of this book is to teach logic and mathematical reasoning in practice, and to connect logical reasoning with computer programming. The programming language that will be our tool for this is Haskell, a member of the Lisp family.
(8470 views)
Book cover: Introduction to Mathematical PhilosophyIntroduction to Mathematical Philosophy
by - University of Massachusetts Amherst
A very accessible mathematical classic. It sets forth in elementary form the logical definition of number, the analysis of the notion of order, the modern doctrine of the infinite, and the theory of descriptions and classes as symbolic fictions.
(9191 views)
Book cover: Lectures on Linear LogicLectures on Linear Logic
by - CSLI
This text deals with logical formalism, cut-elimination, the embedding of intuitionistic logic in classical linear logic, proofnets for the multiplicative fragment and the algorithmic interpretation of cut-elimination in proofnets.
(6908 views)
Book cover: A Problem Course in Mathematical LogicA Problem Course in Mathematical Logic
by
An introduction to mathematical logic for undergraduates. It supplies definitions, statements of results, and problems, along with some explanations, examples, and hints. The idea is to learn the material by solving the problems.
(14297 views)