✦ LIBER ✦

Logic and Algebra

✍ Scribed by Aldo Ursini, Paulo Agliano

Book ID: 127418023
Publisher: CRC Press
Year: 1996
Tongue: English
Weight: 5 MB
Series: Lecture Notes in Pure and Applied Mathematics
Edition: 1
Category: Library
ISBN: 0585357668

No coin nor oath required. For personal study only.

✦ Synopsis

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 general algebra, 40 contributors provide coverage of topics such as SDL-trees and their abstractions, proof-nets, three-element groupoids, logic of proofs, Boolean universal algebra.

📜 SIMILAR VOLUMES

Logic and boolean algebra

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

Logic as algebra

✍ Paul Halmos, Steven Givant 📂 Library 📅 1998 🏛 Mathematical Association of America 🌐 English ⚖ 846 KB

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 pro

Computer algebra and logic programming

✍ Bruce Char 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 251 KB

ALGEBRAIC LOGIC AND LOGICALLY-GEOMETRIC

ALGEBRAIC LOGIC AND LOGICALLY-GEOMETRIC TYPES IN VARIETIES OF ALGEBRAS

✍ PLOTKIN, BORIS; ALADOVA, ELENA; PLOTKIN, EUGENE 📂 Article 📅 2012 🏛 World Scientific Publishing Company 🌐 English ⚖ 345 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

Davis's Logic of Algebra

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