**Algebraic Logic**

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

2003**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

**Symbolic Logic: A Second Course**

by

**Gary Hardegree**-

**UMass Amherst**

Contents: Summary; Translations in Function Logic; Derivations in Function Logic; Translations in Identity Logic; Extra Material on Identity Logic; Derivations in Identity Logic; Translations in Description Logic; Derivations in Description Logic.

(

**14111**views)

**Logics of Time and Computation**

by

**Robert Goldblatt**-

**Center for the Study of Language**

Sets out the basic theory of normal modal and temporal propositional logics, applies this theory to logics of discrete, dense, and continuous time, to the temporal logic of henceforth, next, and until, and to the dynamic logic of regular programs.

(

**11163**views)

**A Friendly Introduction to Mathematical Logic**

by

**Christopher C. Leary, Lars Kristiansen**-

**Milne Library Publishing**

In this book, readers with no previous study in the field are introduced to the basics of model theory, proof theory, and computability theory. The text is designed to be used either in an upper division undergraduate classroom, or for self study.

(

**8969**views)

**forall x: An Introduction to Formal Logic**

by

**P.D. Magnus**

An introduction to sentential logic and first-order predicate logic with identity, logical systems that influenced twentieth-century analytic philosophy. The book should help students understand quantified expressions in their philosophical reading.

(

**18243**views)