A General Algebraic Semantics for Sentential Logics

ISBN-13: 9781107167971 / Angielski / Twarda / 2017 / 158 str.

Josep Maria Font; Ramon Jansana

Opis

An exposition of the approach to the algebraization of sentential logics developed by the Barcelona logic group.

Spis treści

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.