Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
From MaRDI portal
Publication:909692
DOI10.1007/BF01190258zbMATH Open0695.08016MaRDI QIDQ909692FDOQ909692
Authors: Janusz Czelakowski, W. Dziobiak 
Publication date: 1990
Published in: Algebra Universalis (Search for Journal in Brave)
Recommendations
finite axiomatizabilitysubdirectly irreducible algebrascongruence distributive quasivarietyequationally definable principal congruence meets
Subalgebras, congruence relations (08A30) Congruence modularity, congruence distributivity (08B10) Quasivarieties (08C15)
Cites Work
- Matrices, primitive satisfaction and finitely based logics
- Title not available (Why is that?)
- Algebras Whose Congruence Lattices are Distributive.
- Filter distributive logics
- Finite equational bases for finite algebras in a congruence-distributive equational class
- On finitely based varieties of algebras
- Title not available (Why is that?)
- Primitive Satisfaction and Equational Problems for Lattices and Other Algebras
- Varieties with equationally definable principal congruences
- Uniform congruence schemes
- Title not available (Why is that?)
- Title not available (Why is that?)
- Minimal, locally-finite varieties that are not finitely axiomatizable
- A Note on the Implicational Class Generated by a Class of Structures
- Finitely generated congruence distributive quasivarieties of algebras
- Finite lattices having no independent basis of quasiidentities
- Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (43)
- The parameterized local deduction theorem for quasivarieties of algebras and its application
- Finite bases for finitely generated, relatively congruence distributive quasivarities
- Every minimal dual discriminator variety is minimal as a quasivariety
- Locally Boolean spectra
- Relative congruence formulas and decompositions in quasivarieties
- Semilinear De Morgan monoids and epimorphisms
- Structural and universal completeness in algebra and logic
- Density revisited
- Epimorphisms in varieties of subidempotent residuated structures
- Triangular irreducibility of congruences in quasivarieties
- Properties not retained by pointed enrichments of finite lattices
- Baker-Pixley theorem for algebras in relatively congruence distributive quasivarieties
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
- Quasivarieties of algebras whose compact relative congruences are principal
- Idempotent residuated structures: Some category equivalences and their applications
- Structural completeness in relevance logics
- VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS
- Fragments of R-mingle
- A single quasi-identity for a quasivariety with the Fraser-Horn property
- Transfer theorems for finitely subdirectly irreducible algebras
- The Equationally-Defined Commutator in Quasivarieties Generated by Two-Element Algebras
- Natural examples of quasivarieties with EDPM
- Interpolation in linear logic and related systems
- Inconsistency lemmas in algebraic logic
- Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties
- Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results
- Algebraic functions
- Semilinear idempotent distributive \(\ell\)-monoids
- DOMINIONS AND PRIMITIVE POSITIVE FUNCTIONS
- Bjarni Jónsson's contributions in algebra
- Relative principal congruences in congruence-modular quasivarieties
- Implicit definition of the quaternary discriminator
- Finite basis problems and results for quasivarieties
- Birkhoff-like sheaf representation for varieties of lattice expansions
- On the structure of varieties with equationally definable principal congruences. III
- Quasivarieties of distributive \(p\)-algebras
- Structural completeness in many-valued logics with rational constants
- Commutator Theory for Relatively Modular Quasivarieties
- A finite basis theorem for quasivarieties
- Hereditarily structurally complete intermediate logics: Citkin's theorem via duality
- Universal algebraic methods for non-classical logics
- A Generalization of Maksimova’s Criterion for the Disjunction Property
- Quasivarieties with definable relative principal subcongruences
This page was built for publication: Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q909692)
