Relative congruence formulas and decompositions in quasivarieties
From MaRDI portal
Publication:1686333
DOI10.1007/S00012-017-0455-YzbMATH Open1429.08011OpenAlexW2759298633MaRDI QIDQ1686333FDOQ1686333
Authors: Miguel Campercholi, J. 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
Recommendations
Cites Work
- Fragments of R-mingle
- Title not available (Why is that?)
- Substructural fuzzy logics
- Title not available (Why is that?)
- A survey of abstract algebraic logic
- On the structure of varieties with equationally definable principal congruences. I
- Algebraizable logics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Protoalgebraic logics
- Title not available (Why is that?)
- Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
- The number of subdirectly irreducible algebras in a variety
- Implicit definition of the quaternary discriminator
- On the congruence extension property
- Title not available (Why is that?)
- Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties
- Multiplicative Conjunction as an Extensional Conjunction
- Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varieties
- Congruences and one element subalgebras
- A note on the congruence extension property
- Posets of \({\mathcal C}\)-congruences
- Title not available (Why is that?)
- Residually small varieties
- Varieties with equationally definable principal congruences
- On the structure of varieties with equationally definable principal congruences. II
- Uniform congruence schemes
- The parameterized local deduction theorem for quasivarieties of algebras and its application
- Title not available (Why is that?)
- Narrowness implies uniformity
- The classification of idealizable varieties (congruenze ideali IV)
- Title not available (Why is that?)
- Connections between congruence-lattices and polynomial properties
- A Note on the Implicational Class Generated by a Class of Structures
- Finitely generated congruence distributive quasivarieties of algebras
- Relatively congruence distributive subquasivarieties of a congruence modular variety
- Title not available (Why is that?)
- Quasivarieties of algebras with definable principal congruences
- Semi-categorial algebras. II
- Commutator Theory for Relatively Modular Quasivarieties
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Inconsistency lemmas in algebraic logic
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (11)
- Relation formulas for protoalgebraic equality free quasivarieties; Pałasińska's theorem revisited
- Semisimplicity and congruence 3-permutability for quasivarieties with equationally definable principal congruences
- Bi-intermediate logics of trees and co-trees
- Logics of variable inclusion and the lattice of consequence relations
- Title not available (Why is that?)
- Logics of left variable inclusion and Płonka sums of matrices
- Containment logics: algebraic completeness and axiomatization
- The algebraic significance of weak excluded middle laws
- Relative principal congruences in congruence-modular quasivarieties
- On the structure of varieties with equationally definable principal congruences. III
- Universal algebraic methods for non-classical logics
This page was built for publication: Relative congruence formulas and decompositions in quasivarieties
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1686333)