Difference between revisions of "Abstract Algebraic Logic - An Introductory Textbook"

From Mathfuzzlog
Jump to: navigation, search
 
Line 1: Line 1:
{{Book|author=Josep Maria Font|title=Abstract Algebraic Logic - An Introductory Textbook|series=Studies in Logic|volume=60|publisher=College Publications|city=London|year=2016}}
+
{{Book|author=Josep Maria Font|title=Abstract Algebraic Logic - An Introductory Chapter|series=Studies in Logic|volume=60|publisher=College Publications|city=London|year=2016}}
  
 +
== Abstract ==
 +
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, among which, needless to say, many-valued logics and fuzzy logics.
  
[[Category:Books]]
+
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, numerous bibliographic references, and a set of six comprehensive indices.
  
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 is increasingly becoming an indispensable tool to approach the algebraic study of any (mainly sentential) logic in a systematic way.
+
You can view the Tables of Contents, Introduction and Bibliography of the book here: http://www.ub.edu/grlnc/members/jmfont/publs.html.
 
 
This book takes a bottom-up approach and 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 on the basics of the classical theory of matrices, one chapter is devoted to an in-depth exposition of the semantics of generalized matrices. Two more avanced chapters provide 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. Dozens of examples of particular logics are presented and classified, among which, needless to say, many-valued logics. The properties of particular logics are coveniently summarized in an Appendix.
 
 
 
The book is addressed to mathematicians and logicians with little or no previous exposure to algebraic logic. Some acquaintance with non-classical logics is desirable. 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 discussion of newer research directions. The book includes some historical notes, numerous bibliographic references, and a set of six comprehensive indices, one of them being an index of logics.
 
 
 
'''Table of Contents'''
 
 
 
A letter to the reader
 
 
 
Introduction and Reading Guide
 
 
 
'''1''' Mathematical and logical preliminaries
 
 
 
'''2''' The first steps in the algebraic study of a logic
 
 
 
'''3''' The semantics of algebras
 
 
 
'''4''' The semantics of matrices
 
 
 
'''5''' The semantics of generalized matrices
 
 
 
'''6''' Introduction to the Leibniz hierarchy
 
 
 
'''7''' Introduction to the Frege hierarchy
 
 
 
'''Appendix''' Summary of properties of particular logics
 
 
 
Bibliography
 
 
 
Indices
 

Latest revision as of 14:32, 1 August 2016

Authors:
Josep Maria Font
Title: Abstract Algebraic Logic - An Introductory Chapter
Series: Studies in Logic
Volume: 60
Publisher: College Publications
City: London
Year: 2016





Abstract

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, among which, needless to say, many-valued logics and fuzzy 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, numerous bibliographic references, and a set of six comprehensive indices.

You can view the Tables of Contents, Introduction and Bibliography of the book here: http://www.ub.edu/grlnc/members/jmfont/publs.html.