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.
(14572 views)
Book cover: A Manual of Intensional LogicA Manual of Intensional Logic
by - CSLI
An examination of the role of partial information - with illustrations drawn from different branches of Intensional Logic - and various influences stemming from current theories of the semantics of natural language, involving generalized quantifiers.
(7508 views)
Book cover: Introduction to Mathematical Logic: A problem solving courseIntroduction to Mathematical Logic: A problem solving course
by - arXiv
This is a set of questions written for a course in Mathematical Logic. Topics covered are: propositional logic; axioms of ZFC; wellorderings and equivalents of AC; ordinal and cardinal arithmetic; first order logic, and the compactness theorem; etc.
(9801 views)
Book cover: Notes on the Science of LogicNotes on the Science of Logic
by - University of Pittsburgh
This course assumes you know how to use truth functions and quantifiers as tools. Our task here is to study these very tools. Contents: logic of truth functional connectives; first order logic of extensional predicates, operators, and quantifiers.
(7178 views)