Relative congruence formulas and decompositions in quasivarieties
type: Item
instance of: scholarly article
title: Relative congruence formulas and decompositions in quasivarieties
zbMATH Open document ID: 1429.08011
author: Miguel Campercholi
author: J. G. Raftery
published in: Algebra Universalis
publication date: 2017-12-21T00:00:00Z
full work available at URL: http://hdl.handle.net/2263/62942
Mathematics Subject Classification ID: 08C15
Mathematics Subject Classification ID: 03G27
zbMATH DE Number: 6821019
zbMATH Keywords: quasivariety
zbMATH Keywords: filtral
zbMATH Keywords: semisimple
zbMATH Keywords: EDPC
zbMATH Keywords: ideal
zbMATH Keywords: inconsistency lemma
MaRDI profile type: Publication
OpenAlex ID: W2759298633
cites work: Multiplicative Conjunction as an Extensional Conjunction
cites work: The number of subdirectly irreducible algebras in a variety
cites work: Q4856909
cites work: Substructural fuzzy logics
cites work: On the structure of varieties with equationally definable principal congruences. II
cites work: On the structure of varieties with equationally definable principal congruences. I
cites work: Q4011710
cites work: Algebraizable logics
cites work: On the congruence extension property
cites work: Q5659618
cites work: Q4249027
cites work: Fragments of R-mingle
cites work: Q3934450
cites work: Implicit definition of the quaternary discriminator
cites work: Posets of \({\mathcal C}\)-congruences
cites work: Q5515373
cites work: Q3201124
cites work: Protoalgebraic logics
cites work: Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
cites work: The parameterized local deduction theorem for quasivarieties of algebras and its application
cites work: A note on the congruence extension property
cites work: Finitely generated congruence distributive quasivarieties of algebras
cites work: Q4517140
cites work: A survey of abstract algebraic logic
cites work: Semi-categorial algebras. II
cites work: Q4156826
cites work: Uniform congruence schemes
cites work: Connections between congruence-lattices and polynomial properties
cites work: Q3715171
cites work: Q4220413
cites work: Q4200260
cites work: A Note on the Implicational Class Generated by a Class of Structures
cites work: Relatively congruence distributive subquasivarieties of a congruence modular variety
cites work: Commutator Theory for Relatively Modular Quasivarieties
cites work: Q3342633
cites work: Q5596748
cites work: Varieties with equationally definable principal congruences
cites work: Congruences and one element subalgebras
cites work: Q5659622
cites work: The classification of idealizable varieties (congruenze ideali IV)
cites work: Inconsistency lemmas in algebraic logic
cites work: Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varieties
cites work: Narrowness implies uniformity
cites work: Quasivarieties of algebras with definable principal congruences
cites work: Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties
cites work: Residually small varieties
cites work: Q5826976
DOI: 10.1007/S00012-017-0455-Y
description: scientific article; zbMATH DE number 6821019