The parameterized local deduction theorem for quasivarieties of algebras and its application
type: Item
instance of: scholarly article
title: The parameterized local deduction theorem for quasivarieties of algebras and its application
zbMATH Open document ID: 0863.08011
DOI: 10.1007/BF01197181
author: Janusz Czelakowski
author: W. Dziobiak
published in: Algebra Universalis
publication date: 1996-10-15T00:00:00Z
review text: 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 congrue…
Mathematics Subject Classification ID: 08C15
Mathematics Subject Classification ID: 03C05
Mathematics Subject Classification ID: 03C07
zbMATH DE Number: 908012
zbMATH Keywords: parametrized local deduction theorem
zbMATH Keywords: finite basis theorem
zbMATH Keywords: consequence relation
zbMATH Keywords: first-order language
zbMATH Keywords: quasivarieties
zbMATH Keywords: principal congruence
zbMATH Keywords: definability
zbMATH Keywords: generalized congruence extension property
MaRDI profile type: Publication
cites work: Q3968992
cites work: On the lattice of quasivarieties of Sugihara algebras
cites work: On the structure of varieties with equationally definable principal congruences. II
cites work: On Baker's Finite Basis Theorem for Congruence Distributive Varieties
cites work: Q3934450
cites work: Algebraic aspects of deduction theorems
cites work: Local deductions theorems
cites work: Protoalgebraic logics
cites work: Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
cites work: A note on the congruence extension property
cites work: There are \(2^{\aleph_ 0}\) logics with the relevance principle between R and RM
cites work: Some Connections between Residual Finiteness, Finite Embeddability and the Word Problem
cites work: Uniform congruence schemes
cites work: Q3715171
cites work: Injectivity and congruence extension property in congruence distributive equational classes
cites work: Varieties with equationally definable principal congruences
cites work: Principal congruences in N-permutable varieties
cites work: Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varieties
cites work: Q4405136
cites work: Q4093414
cites work: A survey of deduction theorems for the propositional calculi
cites work: Ordered Topological Spaces and the Representation of Distributive Lattices
cites work: Deduction theorems for RM and its extensions
cites work: On classes of algebras with the definability of congruences
cites work: A note on deduction theorem for Gödel's propositional calculus G4
description: scientific article; zbMATH DE number 908012