Relative congruence formulas and decompositions in quasivarieties
From MaRDI portal
Publication:1686333
DOI10.1007/s00012-017-0455-yzbMath1429.08011OpenAlexW2759298633MaRDI QIDQ1686333
Miguel A. Campercholi, James G. Raftery
Publication date: 21 December 2017
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/2263/62942
Related Items
The algebraic significance of weak excluded middle laws ⋮ Universal algebraic methods for non-classical logics ⋮ Logics of left variable inclusion and Płonka sums of matrices ⋮ Containment logics: algebraic completeness and axiomatization ⋮ Logics of variable inclusion and the lattice of consequence relations
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On the structure of varieties with equationally definable principal congruences. II
- Connections between congruence-lattices and polynomial properties
- Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
- Uniform congruence schemes
- Varieties with equationally definable principal congruences
- The number of subdirectly irreducible algebras in a variety
- Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varieties
- Congruences and one element subalgebras
- Posets of \({\mathcal C}\)-congruences
- A survey of abstract algebraic logic
- Implicit definition of the quaternary discriminator
- Fragments of R-mingle
- Narrowness implies uniformity
- On the structure of varieties with equationally definable principal congruences. I
- The parameterized local deduction theorem for quasivarieties of algebras and its application
- The classification of idealizable varieties (congruenze ideali IV)
- Quasivarieties of algebras with definable principal congruences
- A note on the congruence extension property
- Residually small varieties
- Semi-categorial algebras. II
- Multiplicative Conjunction as an Extensional Conjunction
- Finitely generated congruence distributive quasivarieties of algebras
- Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties
- Algebraizable logics
- Commutator Theory for Relatively Modular Quasivarieties
- A Note on the Implicational Class Generated by a Class of Structures
- Relatively congruence distributive subquasivarieties of a congruence modular variety
- Inconsistency lemmas in algebraic logic
- Substructural fuzzy logics
- On the congruence extension property
- Protoalgebraic logics
