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
Notes on the Science of Logicby Nuel Belnap - 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.
(7612 views)
Logic for Computer Scientistsby Uli Furbach - Wikibooks
This book is intended for computer scientists and it assumes only some basic mathematical notions like relations and orderings. The aim was to create an interactive script where logics can be experienced by interaction and experimentation.
(6982 views)
Symbolic Logic: A Second Courseby 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.
(9383 views)
Logics of Time and Computationby 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.
(7480 views)