✦ LIBER ✦

Logic as algebra

✍ Scribed by Paul Halmos, Steven Givant

Book ID: 127396965
Publisher: Mathematical Association of America
Year: 1998
Tongue: English
Weight: 846 KB
Series: The Dolciani mathematical expositions 21
Category: Library
City: [Washington, D.C.]
ISBN-13: 9780883853276

No coin nor oath required. For personal study only.

✦ Synopsis

Here is an introduction to modern logic that differs from others by treating logic from an algebraic perspective. What this means is that notions and results from logic become much easier to understand when seen from a familiar standpoint of algebra. The presentation, written in the engaging and provocative style that is the hallmark of Paul Halmos, from whose course the book is taken, is aimed at a broad audience, students, teachers and amateurs in mathematics, philosophy, computer science, linguistics and engineering; they all have to get to grips with logic at some stage. All that is needed to understand the book is some basic acquaintance with algebra.

📜 SIMILAR VOLUMES

Pseudomonadic Algebras as Algebraic Mode

Pseudomonadic Algebras as Algebraic Models of Doxastic Modal Logic

✍ Nick Bezhanishvili 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 195 KB

We generalize the notion of a monadic algebra to that of a pseudomonadic algebra. In the same way as monadic algebras serve as algebraic models of epistemic modal system S5, pseudomonadic algebras serve as algebraic models of doxastic modal system KD45. The main results of the paper are: (1) Charact

Logic and Algebra

✍ Aldo Ursini, Paulo Agliano 📂 Library 📅 1996 🏛 CRC Press 🌐 English ⚖ 5 MB

A collection of papers based on presentations at a conference held in honor of the late Italian mathematician Roberto Magari, a leading force in the blossoming of research in mathematical logic and universal algebra in Italy since the 1960s. Attempting to unite the fields of mathematical logic and g

The logic of algebraic rules as a genera

The logic of algebraic rules as a generalization of equational logic

✍ Tomasz Furmanowski 📂 Article 📅 1983 🏛 Springer Netherlands 🌐 English ⚖ 463 KB

The Algebra of Logic

✍ Louis Couturat 📂 Library 📅 2006 🏛 Dover Publications 🌐 English ⚖ 591 KB

In an admirably succinct form, this volume offers a historical view of the development of the calculus of logic, illustrating its beauty, symmetry, and simplicity from an algebraic perspective. Topics include the principles of identity and the syllogism, the principles of simplification and composit

Logic and boolean algebra

✍ Kathleen Levitz 📂 Library 📅 1979 🏛 Barrons Educational Series Inc 🌐 English ⚖ 984 KB

Davis's Logic of Algebra

✍ W. P. D. 📂 Article 📅 1892 🏛 John Hopkins University Press 🌐 English ⚖ 173 KB