Algebraic Methods in Philosophical Logic

Algebraic Methods in Philosophical Logic
Author :
Publisher : OUP Oxford
Total Pages : 490
Release :
ISBN-10 : 9780191589225
ISBN-13 : 0191589225
Rating : 4/5 (225 Downloads)

Book Synopsis Algebraic Methods in Philosophical Logic by : J. Michael Dunn

Download or read book Algebraic Methods in Philosophical Logic written by J. Michael Dunn and published by OUP Oxford. This book was released on 2001-06-28 with total page 490 pages. Available in PDF, EPUB and Kindle. Book excerpt: This comprehensive text demonstrates how various notions of logic can be viewed as notions of universal algebra. It is aimed primarily for logisticians in mathematics, philosophy, computer science and linguistics with an interest in algebraic logic, but is also accessible to those from a non-logistics background. It is suitable for researchers, graduates and advanced undergraduates who have an introductory knowledge of algebraic logic providing more advanced concepts, as well as more theoretical aspects. The main theme is that standard algebraic results (representations) translate into standard logical results (completeness). Other themes involve identification of a class of algebras appropriate for classical and non-classical logic studies, including: gaggles, distributoids, partial- gaggles, and tonoids. An imporatant sub title is that logic is fundamentally information based, with its main elements being propositions, that can be understood as sets of information states. Logics are considered in various senses e.g. systems of theorems, consequence relations and, symmetric consequence relations.


Algebraic Methods in Philosophical Logic Related Books

Algebraic Methods in Philosophical Logic
Language: en
Pages: 490
Authors: J. Michael Dunn
Categories:
Type: BOOK - Published: 2001-06-28 - Publisher: OUP Oxford

DOWNLOAD EBOOK

This comprehensive text demonstrates how various notions of logic can be viewed as notions of universal algebra. It is aimed primarily for logisticians in mathe
Algebraic Methods in Philosophical Logic
Language: en
Pages: 470
Authors: J. Michael Dunn
Categories:
Type: BOOK - Published: 2001 - Publisher:

DOWNLOAD EBOOK

Interpolation and Definability
Language: en
Pages: 524
Authors: Dov M. Gabbay
Categories: Computers
Type: BOOK - Published: 2005-05-12 - Publisher: Oxford University Press

DOWNLOAD EBOOK

This book is a specialized monograph on interpolation and definability, a notion central in pure logic and with significant meaning and applicability in all are
Universal Algebra, Algebraic Logic, and Databases
Language: en
Pages: 462
Authors: Boris Isaakovich Plotkin
Categories: Computers
Type: BOOK - Published: 1994-01-31 - Publisher: Boom Koninklijke Uitgevers

DOWNLOAD EBOOK

Modern algebra, which not long ago seemed to be a science divorced from real life, now has numerous applications. Many fine algebraic structures are endowed wit
Philosophy of Mathematics and Deductive Structure in Euclid's Elements
Language: en
Pages: 404
Authors: Ian Mueller
Categories: Mathematics
Type: BOOK - Published: 2006 - Publisher: Courier Dover Publications

DOWNLOAD EBOOK

A survey of Euclid's Elements, this text provides an understanding of the classical Greek conception of mathematics and its similarities to modern views as well