Lecture Notes in Logic, 7

A General Algebraic Semantics for Sentential Logics

Josep Maria Font and Ramon Jansana

Year: 2017
ISBN: 9781107167971
Buy now

In this volume, the seventh publication in the Lecture Notes in Logic series, Font and Jansana develop a very general approach to the algebraization of sentential logics and present its results on a number of particular logics. The authors compare their approach, which uses abstract logics, to the classical approach based on logical matrices and the equational consequence developed by Blok, Czelakowski, Pigozzi and others. This monograph presents a systematized account of some of the work on the algebraic study of sentential logics carried out by the logic group in Barcelona in the 1970s.

Table of Contents

  • Introduction
  1. Generalities on abstract logics and sentential logics
  2. Abstract logics as models of sentential logics
  3. Applications to protoalgebraic and algebraizable logics
  4. Abstract logic as models of Gentzen systems
  5. Applications to particular sentential logics
  • Bibliography
  • Symbol index
  • General index