Protoalgebraic Logics by Janusz Czelakowski
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].-
Modal Semirings and Applications
-
The Legacy of A.V. Kuznetsov in Logic, Algebra and the Foundations of Mathematics
-
Graph Games and Logic Design
-
Logic and Fixed-Domain Reasoning
-
Algebraic Probabilistic Consistency
-
Inquisitive Logic
-
New Directions in Relevant Logic
-
Logics of Variable Inclusion
-
Heyting Algebras
-
Recent Trends in Philosophical Logic
-
Harmony and Paradox
-
60 Years of Connexive Logic
-
Logic and Implication
-
Anaphora and Type Logical Grammar
-
Contradictions, from Consistency to Inconsistency
-
Advanced ukasiewicz calculus and MV-algebras
-
Advances in Natural Deduction
-
Gentzen Calculi for Modal Propositional Logic
-
Truth and Falsehood
-
Quantum Computation and Logic
-
Foundations of the Theory of Parthood
-
Sheaves, Games, and Model Completions
-
Meaning and Proscription in Formal Logic
-
Toward Predicate Approaches to Modality
-
Dual Tableaux: Foundations, Methodology, Case Studies
-
Advances in Proof-Theoretic Semantics
-
Model Theory: The Algebraic Basics
-
Le Niewski's Systems of Logic and Foundations of Mathematics
-
Logical Studies of Paraconsistent Reasoning in Science and Mathematics
-
Well-Quasi Orders in Computation, Logic, Language and Reasoning
-
Philosophy of Syntax
-
Descriptor Revision
-
Topological and Algebraic Structures in Fuzzy Sets
-
Dialetheism and its Applications
-
Towards Mathematical Philosophy
-
Displaying Modal Logic
-
Reasoning in Quantum Theory
-
Fuzzy Logic
-
Trends in Logic
`This book is an excellent and very readable introduction to the area of abstract algebraic logicIt 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
Mathematical Reviews, 2002f
| SKU | Unavailable |
| ISBN 13 | 9789048156931 |
| ISBN 10 | 9048156939 |
| Title | Protoalgebraic Logics |
| Author | Janusz Czelakowski |
| Series | Trends In Logic |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer |
| Year published | 2010-12-03 |
| Number of pages | 452 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |