Fr. 188.00

Protoalgebraic Logics

English · Paperback / Softback

Shipping usually within 1 to 2 weeks (title will be printed to order)

Description

Read more

The main aim of this book is to present recent ideas in logic centered around the notion of a consequence operation. We wish to show these ideas in a factually and materially connected way, i.e., in the form of a consistent theory derived from several simple assumptions and definitions. These ideas have arisen in many research centers. The thorough study of their history can certainly be an exciting task for the historian of logic; in the book this aspect of the theory is being played down. The book belongs to abstract algebraic logic, the area of research that explores to a large extent interconnections between algebra and logic. The results presented here concern logics defined in zero-order languages (Le., quantifier-free sentential languages without predicate symbols). The reach of the theory expounded in the book is, in fact, much wider. The theory is also valid for logics defined in languages of higer orders. The problem of transferring the theory to the level of first-order languages has been satisfactorily solved and new ideas within this area have been put forward in the work of Blok and Pigozzi [1989].

List of contents

0. Basic definitions and facts.- I. Protoalgebraic Logics. The Leibniz Operator.- 1. Protoalgebraic logics.- 2. Protoalgebraicity and the Deduction Theorem.- 3. Equivalential logics.- II. Algebraizable Sentential Logics.- Q. Quasivarieties of algebras.- 4. Algebraizable logics.- 5. Regularly algebraizable logics.- 6. Fregean logics.- Symbol index.- Index of definitions.

Summary

The main aim of this book is to present recent ideas in logic centered around the notion of a consequence operation. We wish to show these ideas in a factually and materially connected way, i.e., in the form of a consistent theory derived from several simple assumptions and definitions. These ideas have arisen in many research centers. The thorough study of their history can certainly be an exciting task for the historian of logic; in the book this aspect of the theory is being played down. The book belongs to abstract algebraic logic, the area of research that explores to a large extent interconnections between algebra and logic. The results presented here concern logics defined in zero-order languages (Le., quantifier-free sentential languages without predicate symbols). The reach of the theory expounded in the book is, in fact, much wider. The theory is also valid for logics defined in languages of higer orders. The problem of transferring the theory to the level of first-order languages has been satisfactorily solved and new ideas within this area have been put forward in the work of Blok and Pigozzi [1989].

Additional text

`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

Report

`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

Product details

Authors J. Czelakowski, Janusz Czelakowski
Publisher Springer Netherlands
 
Languages English
Product format Paperback / Softback
Released 07.10.2010
 
EAN 9789048156931
ISBN 978-90-481-5693-1
No. of pages 452
Illustrations XII, 452 p.
Series Trends in Logic
Trends in Logic
Subjects Natural sciences, medicine, IT, technology > Mathematics > Basic principles

Algebra, C, Logic, Semiotics, Mathematics and Statistics, Mathematical logic, Mathematical Logic and Foundations, Philosophy: logic, Semantics, discourse analysis, stylistics, Semantics, algebra;computer science;logic;mathematics

Customer reviews

No reviews have been written for this item yet. Write the first review and be helpful to other users when they decide on a purchase.

Write a review

Thumbs up or thumbs down? Write your own review.

For messages to CeDe.ch please use the contact form.

The input fields marked * are obligatory

By submitting this form you agree to our data privacy statement.