Cantitate/Preț
Produs

A General Algebraic Semantics for Sentential Logics: Lecture Notes in Logic, cartea 7

Autor Josep Maria Font, Ramon Jansana
en Limba Engleză Hardback – mar 2017
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. 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.
Citește tot Restrânge

Din seria Lecture Notes in Logic

Preț: 74328 lei

Preț vechi: 86429 lei
-14% Nou

Puncte Express: 1115

Preț estimativ în valută:
14230 15451$ 11966£

Carte tipărită la comandă

Livrare economică 17-31 decembrie

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9781107167971
ISBN-10: 1107167973
Pagini: 158
Dimensiuni: 157 x 235 x 17 mm
Greutate: 0.41 kg
Ediția:2Revizuită
Editura: Cambridge University Press
Colecția Cambridge University Press
Seria Lecture Notes in Logic

Locul publicării:New York, United States

Cuprins

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.

Notă biografică


Descriere

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