The parameterized local deduction theorem for quasivarieties of algebras and its application

DOI10.1007/BF01197181zbMath0863.08011MaRDI QIDQ1918964

Janusz Czelakowski, Wiesław Dziobiak

Publication date: 15 October 1996

Published in: Algebra Universalis (Search for Journal in Brave)

zbMATH Keywords

consequence relationquasivarietiesdefinabilityprincipal congruencefirst-order languagefinite basis theoremgeneralized congruence extension propertyparametrized local deduction theorem

Mathematics Subject Classification ID

Quasivarieties (08C15) Equational classes, universal algebra in model theory (03C05) Basic properties of first-order languages and structures (03C07)

Related Items

Identities and quasi-identities of pointed algebras ⋮ Deduction theorems within RM and its extensions ⋮ Relative congruence formulas and decompositions in quasivarieties ⋮ Deduction theorem in congruential modal logics ⋮ General theory of the commutator for deductive systems. I: Basic facts ⋮ Contextual deduction theorems ⋮ Properties not retained by pointed enrichments of finite lattices ⋮ Triangular irreducibility of congruences in quasivarieties ⋮ A deduction theorem schema for deductive systems of propositional logics ⋮ PROFINITENESS IN FINITELY GENERATED VARIETIES IS UNDECIDABLE ⋮ Fragments of R-mingle ⋮ Fregean logics with the multiterm deduction theorem and their algebraization ⋮ Subdirectly Irreducible MV-Algebras ⋮ Quasivarieties with definable relative principal subcongruences ⋮ Glivenko theorems for substructural logics over FL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the structure of varieties with equationally definable principal congruences. II
• There are \(2^{\aleph_ 0}\) logics with the relevance principle between R and RM
• Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
• Algebraic aspects of deduction theorems
• Local deductions theorems
• Uniform congruence schemes
• Injectivity and congruence extension property in congruence distributive equational classes
• Varieties with equationally definable principal congruences
• Principal congruences in N-permutable varieties
• On classes of algebras with the definability of congruences
• A survey of deduction theorems for the propositional calculi
• A note on deduction theorem for Gödel's propositional calculus G4
• Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varieties
• Deduction theorems for RM and its extensions
• On the lattice of quasivarieties of Sugihara algebras
• A note on the congruence extension property
• Ordered Topological Spaces and the Representation of Distributive Lattices
• On Baker's Finite Basis Theorem for Congruence Distributive Varieties
• Some Connections between Residual Finiteness, Finite Embeddability and the Word Problem
• Protoalgebraic logics

This page was built for publication: The parameterized local deduction theorem for quasivarieties of algebras and its application