Protoalgebraic Logics
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...
| Main Author: | |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Dordrecht
Springer Netherlands
2001, 2001
|
| Edition: | 1st ed. 2001 |
| Series: | Trends in Logic, Studia Logica Library
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table 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