The parameterized local deduction theorem for quasivarieties of algebras and its application
DOI10.1007/BF01197181zbMATH Open0863.08011MaRDI QIDQ1918964FDOQ1918964
Authors: Janusz Czelakowski, W. Dziobiak 
Publication date: 15 October 1996
Published in: Algebra Universalis (Search for Journal in Brave)
Recommendations
- 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
consequence relationdefinabilityquasivarietiesprincipal congruencefirst-order languagefinite basis theoremgeneralized congruence extension propertyparametrized local deduction theorem
Equational classes, universal algebra in model theory (03C05) Basic properties of first-order languages and structures (03C07) Quasivarieties (08C15)
Cites Work
- Title not available (Why is that?)
- Ordered Topological Spaces and the Representation of Distributive Lattices
- Protoalgebraic logics
- 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
- Some Connections between Residual Finiteness, Finite Embeddability and the Word Problem
- Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varieties
- On the lattice of quasivarieties of Sugihara algebras
- A note on the congruence extension property
- Principal congruences in N-permutable varieties
- Title not available (Why is that?)
- Varieties with equationally definable principal congruences
- On the structure of varieties with equationally definable principal congruences. II
- Uniform congruence schemes
- A survey of deduction theorems for the propositional calculi
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Injectivity and congruence extension property in congruence distributive equational classes
- On Baker's Finite Basis Theorem for Congruence Distributive Varieties
- A note on deduction theorem for Gödel's propositional calculus G4
- On classes of algebras with the definability of congruences
- Deduction theorems for RM and its extensions
Cited In (17)
- A deduction theorem schema for deductive systems of propositional logics
- Profiniteness in finitely generated varieties is undecidable
- General theory of the commutator for deductive systems. I: Basic facts
- Identities and quasi-identities of pointed algebras
- Relative congruence formulas and decompositions in quasivarieties
- Triangular irreducibility of congruences in quasivarieties
- Properties not retained by pointed enrichments of finite lattices
- Contextual deduction theorems
- Glivenko theorems for substructural logics over FL
- Fragments of R-mingle
- Deduction theorems within RM and its extensions
- Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
- Deduction theorem in congruential modal logics
- Fregean logics with the multiterm deduction theorem and their algebraization
- Quasivarieties of logic, regularity conditions and parameterized algebraization
- Subdirectly Irreducible MV-Algebras
- Quasivarieties with definable relative principal subcongruences
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)
