Relative congruence formulas and decompositions in quasivarieties

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

zbMATH Keywords

idealquasivarietysemisimplefiltralEDPCinconsistency lemma

Mathematics Subject Classification ID

Quasivarieties (08C15) Abstract algebraic logic (03G27)

Related Items (5)

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

This page was built for publication: Relative congruence formulas and decompositions in quasivarieties