A General Algebraic Semantics for Sentential Logics by Josep Maria Font
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.-
Effective Mathematics of the Uncountable
-
Set Theory, Arithmetic, and Foundations of Mathematics
-
Abstract Recursion and Intrinsic Complexity
-
Descriptive Complexity, Canonisation, and Definable Graph Structure Theory
-
Games, Scales and Suslin Cardinals
-
Large Cardinals, Determinacy and Other Topics
-
Logic Colloquium 2007
-
Complexity of Infinite-Domain Constraint Satisfaction
-
Lectures on Infinitary Model Theory
-
Logic and Algebraic Structures in Quantum Computing
-
Ordinal Definability and Recursion Theory
-
Logic Colloquium 2005
-
Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond: Volume 2, 3-Multi-graphs and 2-Multi-tournaments
-
Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond: Volume 1, Ordered Graphs and Distanced Graphs
-
Stable Domination and Independence in Algebraically Closed Valued Fields
-
A Comparison Process for Mouse Pairs
-
Recursion Theory
-
Descriptive Set Theory and Forcing
-
Bounded Variable Logics and Counting
-
Model Theory of Fields
-
Aspects of Incompleteness
-
Logic Colloquium '95
-
Logic Colloquium '90
-
Fine Structure and Iteration Trees
-
Logic Colloquium '96
-
The Core Model Iterability Problem
-
Quantifiers, Propositions and Identity
-
A Framework for Priority Arguments
-
Kurt Godel
-
A Guide to NIP Theories
-
The Cabal Seminar 4 Volume Hardback Set
-
The Largest Suslin Axiom
-
A Course in Model Theory
-
Simple Theories and Hyperimaginaries
-
Wadge Degrees and Projective Ordinals
Josep Maria Font works in the Department of Probability, Logic and Statistics at the University of Barcelona. Ramon Jansana works in the Department of Logic, History and Philosophy of Science at the University of Barcelona.
| SKU | Unavailable |
| ISBN 13 | 9781107167971 |
| ISBN 10 | 1107167973 |
| Title | A General Algebraic Semantics for Sentential Logics |
| Author | Josep Maria Font |
| Series | Lecture Notes In Logic |
| Condition | Unavailable |
| Binding Type | Hardback |
| Publisher | Cambridge University Press |
| Year published | 2017-03-02 |
| Number of pages | 158 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |