A study of truth predicates in matrix semantics
From MaRDI portal
Abstract: Abstract algebraic logic is a theory that provides general tools for the algebraic study of arbitrary propositional logics. According to this theory, every logic L is associated with a matrix semantics Mod*(L). This paper is a contribution to the systematic study of the so-called "truth sets" of the matrices in Mod*(L). In particular, we show that the fact that the truth sets of Mod*(L) can be defined by means of equations with universally quantified parameters is captured by an order-theoretic property of the Leibniz operator restricted to deductive filters of L. This result was previously known for equational definability without parameters. Similarly, it was known that the truth sets of Mod*(L) are implicitly definable if and only if the Leibniz operator is injective on deductive filters of L over every algebra. However, it was an open problem whether the injectivity of the Leibniz operator transfers from the theories of L to its deductive filters over arbitrary algebras. We show that this is the case for logics expressed in a countable language, and that it need not be true in general. Finally we consider an intermediate condition on the truth sets in Mod*(L) that corresponds to the order-reflection of the Leibniz operator.
Recommendations
Cites work
- A computational glimpse at the Leibniz and Frege hierarchies
- A note on congruences of semilattices with sectionally finite height.
- A perspective on the algebra of logic
- Abstract algebraic logic. An introductory textbook
- Algebraic aspects of deduction theorems
- Algebraic logic for classical conjunction and disjunction
- Algebraic semantics for deductive systems
- Algebraizable logics
- Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic
- Characterizing equivalential and algebraizable logics by the Leibniz operator
- Fregean logics
- Fregean logics with the multiterm deduction theorem and their algebraization
- scientific article; zbMATH DE number 139647 (Why is no real title available?)
- scientific article; zbMATH DE number 465608 (Why is no real title available?)
- scientific article; zbMATH DE number 2068678 (Why is no real title available?)
- scientific article; zbMATH DE number 945663 (Why is no real title available?)
- scientific article; zbMATH DE number 914167 (Why is no real title available?)
- scientific article; zbMATH DE number 5235521 (Why is no real title available?)
- Local deductions theorems
- Logics of varieties, logics of semilattices and conjunction
- On reduced matrices
- On the injectivity of the Leibniz operator
- Protoalgebraic logics
- The logic of distributive bilattices
- The proof by cases property and its variants in structural consequence relations
- The Suszko operator. I
- Update to ``A survey of abstract algebraic logic
- Weakly algebraizable logics
Cited in
(13)- On the complexity of the Leibniz hierarchy
- The poset of all logics. III: Finitely presentable logics
- Deductive systems with multiple-conclusion rules and the disjunction property
- scientific article; zbMATH DE number 3861127 (Why is no real title available?)
- MATRIX REPRESENTATION OF BELIEF STATES: AN ALGEBRAIC SEMANTICS FOR BELIEF LOGICS
- THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE
- ON EQUATIONAL COMPLETENESS THEOREMS
- A further discussion of ``A semiring-based study of judgment matrices: properties and models
- scientific article; zbMATH DE number 5495208 (Why is no real title available?)
- THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY
- The Suszko operator relative to truth‐equational logics
- Abstract algebraic logic. An introductory chapter
- A gentle introduction to the Leibniz hierarchy
This page was built for publication: A study of truth predicates in matrix semantics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4557168)
