The parameterized local deduction theorem for quasivarieties of algebras and its application
For any class \({\mathbf K}\) of algebras of a given type \(\tau\), there is a natural consequence relation \(\models_{\mathbf K}\) on the set of all equations (in the first-order language \(L_\tau\) corresponding to \(\tau)\), defined as follows: Let \(\Sigma\) be a set of such equations, and \(p \doteq q\) be a single equation; then \(\Sigma \models_{\mathbf K} p \doteq q\) iff for every algebra \(A\in {\mathbf K}\) and every valuation \(h\) of the variables of \(L_\tau\) in \(A\) we have \(A\vdash p \doteq q[h]\) whenever \(A\vdash \sigma [h]\) for every \(\sigma\in \Sigma\). The paper under review is devoted to an in-depth study of \(\models_{\mathbf K}\) for quasivarieties \({\mathbf K}\) of algebras. The key property investigated for such \({\mathbf K}\) is the so-called Parametrized Local Deduction Theorem -- (PLDT), for short. Let \({\mathcal P}\) be a family of finite sets \(P\) of pairs of terms (of \(L_\tau)\) such that some fixed variables \(x,y,z,w\) occur in all terms of all \(P\in {\mathcal P}\). Then \({\mathbf K}\) is said to satisfy (PLDT) with respect to \({\mathcal P}\) iff for any set \(\Xi\) of \(L_\tau\)-equations and pairs \(p \doteq q\), \(r \doteq s\) of such equations, one has that \(\Xi\cup \{p \doteq q\} \models_{\mathbf K} r \doteq s\) if there exist a \(P\in {\mathcal P}\) and a finite sequence \({\mathbf t}\) of \(L_\tau\)-terms such that \(\Xi \models_{\mathbf K} \alpha (p,q, r,s, {\mathbf t}) \doteq \beta (p,q,r,s, {\mathbf t})\) for all \(\langle \alpha,\beta \rangle \in P\). The existence of a family \({\mathcal P}\) making (PLDT) true for \({\mathbf K}\) is intimately connected with the possibility of defining, by \(L_\tau\)-formulae, the principal congruence \(\theta\) on algebras \(A\in {\mathbf K}\) such that \(A/ \theta\in {\mathbf K}\). Among the main results of the paper are theorems expressing ``\({\mathbf K}\) satisfies (PLDT) with respect to some special type of \({\mathcal P}\) in terms of definability of such congruences, and of the presence of a generalized congruence extension property. Also, a generalization -- to quasivarieties -- of McKenzies Finite Basis Theorem is proved, and applications to various classes of algebras such as Lukasiewicz, Heyting and interior algebras are provided.
- scientific article; zbMATH DE number 67022
- On the structure of varieties with equationally definable principal congruences. II
- Quasivarieties of logic, regularity conditions and parameterized algebraization
- Relation formulas for protoalgebraic equality free quasivarieties; Pałasińska's theorem revisited
- A note on deduction theorem for Gödel's propositional calculus G4
- A note on the congruence extension property
- A survey of deduction theorems for the propositional calculi
- Algebraic aspects of deduction theorems
- Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
- Deduction theorems for RM and its extensions
- scientific article; zbMATH DE number 3943895 (Why is no real title available?)
- scientific article; zbMATH DE number 3751028 (Why is no real title available?)
- scientific article; zbMATH DE number 3792245 (Why is no real title available?)
- scientific article; zbMATH DE number 3513748 (Why is no real title available?)
- scientific article; zbMATH DE number 3437114 (Why is no real title available?)
- Injectivity and congruence extension property in congruence distributive equational classes
- Local deductions theorems
- On Baker's Finite Basis Theorem for Congruence Distributive Varieties
- On classes of algebras with the definability of congruences
- On the lattice of quasivarieties of Sugihara algebras
- On the structure of varieties with equationally definable principal congruences. II
- Ordered Topological Spaces and the Representation of Distributive Lattices
- Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varieties
- Principal congruences in N-permutable varieties
- Protoalgebraic logics
- Some Connections between Residual Finiteness, Finite Embeddability and the Word Problem
- There are \(2^{\aleph_ 0}\) logics with the relevance principle between R and RM
- Uniform congruence schemes
- Varieties with equationally definable principal congruences
- Quasivarieties with definable relative principal subcongruences
- A deduction theorem schema for deductive systems of propositional logics
- Quasivarieties of logic, regularity conditions and parameterized algebraization
- Relative congruence formulas and decompositions in quasivarieties
- Fragments of R-mingle
- Fregean logics with the multiterm deduction theorem and their algebraization
- Identities and quasi-identities of pointed algebras
- Properties not retained by pointed enrichments of finite lattices
- General theory of the commutator for deductive systems. I: Basic facts
- Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
- Triangular irreducibility of congruences in quasivarieties
- Subdirectly Irreducible MV-Algebras
- Glivenko theorems for substructural logics over FL
- Deduction theorems within RM and its extensions
- Profiniteness in finitely generated varieties is undecidable
- Deduction theorem in congruential modal logics
- Contextual deduction theorems
- Czelakowski's work on quasivarieties
- A gentle introduction to the Leibniz hierarchy
- Equational definitions of logical filters
This page was built for publication: The parameterized local deduction theorem for quasivarieties of algebras and its application
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1918964)
