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: 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.
(7448 views)
Book cover: Logic For EveryoneLogic For Everyone
by
This is Robert Herrmann's elementary book in mathematical logic that includes all basic material in the predicate and propositional calculus presented in a unique manner. Neither proof requires specialized mathematical procedures.
(12409 views)
Book cover: Mathematical LogicMathematical Logic
by - Pennsylvania State University
Lecture notes for all mathematics graduate students. The text covers propositional calculus, predicate calculus, proof systems, extensions of the predicate calculus, theories, definability, interpretability, arithmetization and incompleteness.
(12238 views)
Book cover: Formal LogicFormal Logic
- Wikibooks
An undergraduate college level textbook covering first order predicate logic with identity but omitting metalogical proofs. The first rules of formal logic were written over 2300 years ago by Aristotle and are still vital.
(10437 views)