Search Results

Algebraic Methods in Philosophical Logic

Download or Read eBook Algebraic Methods in Philosophical Logic PDF 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.
Algebraic Methods in Philosophical Logic
Author :
Publisher : OUP Oxford
Total Pages : 490
Release :
ISBN-10 : 9780191589225
ISBN-13 : 0191589225
Rating : 4/5 (25 Downloads)

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

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
Classical and Nonclassical Logics
Language: en
Pages: 530
Authors: Eric Schechter
Categories: Mathematics
Type: BOOK - Published: 2005-08-28 - Publisher: Princeton University Press

DOWNLOAD EBOOK

Classical logic is traditionally introduced by itself, but that makes it seem arbitrary and unnatural. This text introduces classical alongside several nonclass
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
Scroll to top