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 relation; quasivarieties; definability; principal congruence; first-order language; finite basis theorem; generalized congruence extension property; parametrized local deduction theorem

Mathematics Subject Classification ID

08C15: Quasivarieties

03C05: Equational classes, universal algebra in model theory

03C07: Basic properties of first-order languages and structures

Related Items

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

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