Abstract Algebraic Logic. an Introductory Textbook

Abstract Algebraic Logic. an Introductory Textbook
Author :
Publisher :
Total Pages : 554
Release :
ISBN-10 : 1848902077
ISBN-13 : 9781848902077
Rating : 4/5 (77 Downloads)

Book Synopsis Abstract Algebraic Logic. an Introductory Textbook by : Josep Maria Font

Download or read book Abstract Algebraic Logic. an Introductory Textbook written by Josep Maria Font and published by . This book was released on 2016-04-11 with total page 554 pages. Available in PDF, EPUB and Kindle. Book excerpt: Abstract algebraic logic is the more general and abstract side of algebraic logic, the branch of mathematics that studies the connections between logics and their algebra-based semantics. This emerging subfield of mathematical logic consolidated since the 1980s, and is considered as the algebraic logic of the twenty-first century; as such it is increasingly becoming an indispensable tool to approach the algebraic study of any (mainly sentential) logic in a systematic way. This book is an introductory textbook on abstract algebraic logic, and takes a bottom-up approach, treating first logics with a simpler algebraic study, such as Rasiowa's implicative logics, and then guides readers, by means of successive steps of generalization and abstraction, to meet more and more complicated algebra-based semantics. An entire chapter is devoted to Blok and Pigozzi's theory of algebraizable logics, proving the main theorems and incorporating later developments by other scholars. After a chapter with the basics of the classical theory of matrices, one chapter is devoted to an in-depth exposition of the semantics of generalized matrices. There are also two more avanced chapters providing introductions to the two hierachies that organize the logical landscape according to the criteria of abstract algebraic logic, the Leibniz hierarchy and the Frege hierarchy. All throughout the book, particular care is devoted to the presentation and classification of dozens of examples of particular logics. The book is addressed to mathematicians and logicians with little or no previous exposure to algebraic logic. Some acquaintance with examples of non-classical logics is desirable in order to appreciate the extremely general theory. The book is written with students (or beginners in the field) in mind, and combines a textbook style in its main sections, including more than 400 carefully graded exercises, with a survey style in the exposition of some research directions. The book includes scattered historical notes and numerous bibliographic references.


Abstract Algebraic Logic. an Introductory Textbook Related Books

Abstract Algebraic Logic. an Introductory Textbook
Language: en
Pages: 554
Authors: Josep Maria Font
Categories: Computers
Type: BOOK - Published: 2016-04-11 - Publisher:

DOWNLOAD EBOOK

Abstract algebraic logic is the more general and abstract side of algebraic logic, the branch of mathematics that studies the connections between logics and the
Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science
Language: en
Pages: 476
Authors: Janusz Czelakowski
Categories: Philosophy
Type: BOOK - Published: 2018-03-20 - Publisher: Springer

DOWNLOAD EBOOK

This book celebrates the work of Don Pigozzi on the occasion of his 80th birthday. In addition to articles written by leading specialists and his disciples, it
An Algebraic Introduction to Mathematical Logic
Language: en
Pages: 129
Authors: D.W. Barnes
Categories: Mathematics
Type: BOOK - Published: 2013-06-29 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book is intended for mathematicians. Its origins lie in a course of lectures given by an algebraist to a class which had just completed a substantial cours
Hiroakira Ono on Substructural Logics
Language: en
Pages: 382
Authors: Nikolaos Galatos
Categories: Philosophy
Type: BOOK - Published: 2021-12-13 - Publisher: Springer Nature

DOWNLOAD EBOOK

This volume is dedicated to Hiroakira Ono life’s work on substructural logics. Chapters, written by well-established academics, cover topics related to univer
An Introduction to Algebraic Structures
Language: en
Pages: 275
Authors: Joseph Landin
Categories: Mathematics
Type: BOOK - Published: 2012-08-29 - Publisher: Courier Corporation

DOWNLOAD EBOOK

This self-contained text covers sets and numbers, elements of set theory, real numbers, the theory of groups, group isomorphism and homomorphism, theory of ring