Pages that link to "Item:Q909692"

The following pages link to Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class (Q909692):

Displaying 37 items.

• Structural completeness in relevance logics (Q295911) (← links)
• Semantical conditions for the definability of functions and relations (Q312209) (← links)
• Algebraic functions (Q763312) (← links)
• Every minimal dual discriminator variety is minimal as a quasivariety (Q829767) (← links)
• Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results (Q876491) (← links)
• Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies (Q1024552) (← links)
• Finite bases for finitely generated, relatively congruence distributive quasivarities (Q1179764) (← links)
• A single quasi-identity for a quasivariety with the Fraser-Horn property (Q1185227) (← links)
• Quasivarieties of distributive \(p\)-algebras (Q1208068) (← links)
• Natural examples of quasivarieties with EDPM (Q1312174) (← links)
• Bjarni Jónsson's contributions in algebra (Q1327458) (← links)
• Relative congruence formulas and decompositions in quasivarieties (Q1686333) (← links)
• Density revisited (Q1699744) (← links)
• Implicit definition of the quaternary discriminator (Q1762478) (← links)
• Fragments of R-mingle (Q1770601) (← links)
• Finite basis problems and results for quasivarieties (Q1770614) (← links)
• Locally Boolean spectra (Q1891270) (← links)
• Birkhoff-like sheaf representation for varieties of lattice expansions (Q1914062) (← links)
• The parameterized local deduction theorem for quasivarieties of algebras and its application (Q1918964) (← links)
• Structural completeness in many-valued logics with rational constants (Q2080696) (← links)
• Properties not retained by pointed enrichments of finite lattices (Q2217773) (← links)
• Epimorphisms in varieties of subidempotent residuated structures (Q2226977) (← links)
• Triangular irreducibility of congruences in quasivarieties (Q2450841) (← links)
• Hereditarily structurally complete intermediate logics: Citkin's theorem via duality (Q2698277) (← links)
• Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties (Q3487457) (← links)
• Commutator Theory for Relatively Modular Quasivarieties (Q4018448) (← links)
• The Equationally-Defined Commutator in Quasivarieties Generated by Two-Element Algebras (Q4586415) (← links)
• DOMINIONS AND PRIMITIVE POSITIVE FUNCTIONS (Q4638973) (← links)
• A Generalization of Maksimova’s Criterion for the Disjunction Property (Q5214734) (← links)
• VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS (Q5241233) (← links)
• Idempotent residuated structures: Some category equivalences and their applications (Q5246960) (← links)
• Baker–Pixley theorem for algebras in relatively congruence distributive quasivarieties (Q5380262) (← links)
• Inconsistency lemmas in algebraic logic (Q5396222) (← links)
• Semilinear De Morgan monoids and epimorphisms (Q6142014) (← links)
• Structural and universal completeness in algebra and logic (Q6145037) (← links)
• Transfer theorems for finitely subdirectly irreducible algebras (Q6183569) (← links)
• Semilinear idempotent distributive \(\ell\)-monoids (Q6199094) (← links)