Protoalgebraic Logics by Janusz CzelakowskiProtoalgebraic Logics by Janusz Czelakowski

Protoalgebraic Logics

byJanusz Czelakowski

Paperback | December 3, 2010

Pricing and Purchase Info

$304.28 online 
$323.95 list price save 6%
Earn 1,521 plum® points

Prices and offers may vary in store


In stock online

Ships free on orders over $25

Not available in stores


The main aim of this monograph is to provide a structured study of the algebraic method in metalogic. In contrast to traditional algebraic logic, where the focus is on the algebraic forms of specific deductive systems, abstract algebraic logic is concerned with the process of algebraization itself. This book presents in a systematic way recent ideas in abstract algebraic logic centered around the notion of the Leibniz operator. The stress is put on the taxonomy of deductive systems. Isolating a list of plausible properties of the Leibniz operator serves as a basis for distinguishing certain natural classes of sentential logics. The hierarchy of deductive systems presented in the book comprises, among others, the following classes: protoalgebraic logics, equivalential logics, algebraizable logics, and Fregean logics. Because of the intimate connection between algebraic and logical structures, the book also provides a uniform treatment of various topics concerning deduction theorems and quasivarieties of algebras. The presentation of the above classes of logics is accompanied by a wealth of examples illustrating the general theory. An essential part of the book is formed by the numerous exercises integrated into the text. This book is both suitable for logically and algebraically minded graduate and advanced graduate students of mathematics, computer science and philosophy, and as a reference work for the expert.
Title:Protoalgebraic LogicsFormat:PaperbackDimensions:463 pages, 9.25 × 6.1 × 0.07 inPublished:December 3, 2010Publisher:Springer NetherlandsLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:9048156939

ISBN - 13:9789048156931

Look for similar items by category:


Table of Contents

Introduction. On the book. Mathematical Prerequisites. Exercises. Notes for Mathematical Prerquisites. 0. Basic definitions and facts. Part I: Protoalgebraic Logics. The Leibniz Operator. 1. Protoalgebraic logics. 2. Protoalgebraicity and the Deduction Theorem. 3. Equivalential logics. Part II: Algebraizable Sentential Logics. Q. Quasivarieties of algebras. 4. Algebraizable logics. 5. Regularly algebraizable logics. 6. Fregean logics. Bibliography. Symbol Index. Index of definitions.

Editorial Reviews

`This book is an excellent and very readable introduction to the area of abstract algebraic logic. It includes recent technical results together with philosophical comments to provide a context. Many of the chapters contain exercises that give additional results and all of the chapters contain extensive end notes to guide the reader to the literature ' Mathematical Reviews, 2002f