Varieties with equationally definable principal congruences

Equational classes, universal algebra in model theory (03C05) Subalgebras, congruence relations (08A30) Congruence modularity, congruence distributivity (08B10)

Cites Work

The lattice of modal logics: an algebraic investigation
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
A note on the congruence extension property
Implicative Semi-Lattices
Title not available (Why is that?)
Definable principal congruences in varieties of groups and rings
Title not available (Why is that?)
An example concerning definable principal congruences
Uniform representations of congruence schemes

Cited In (48)

The parameterized local deduction theorem for quasivarieties of algebras and its application
Relative congruence formulas and decompositions in quasivarieties
Congruence quasi-orderability in subtractive varieties
Bi-intermediate logics of trees and co-trees
The decision problem for finite algebras from arithmetical varieties with equationally definable principal congruences
FREGEAN VARIETIES
Contextual deduction theorems
Uniform interpolation and compact congruences
A mathematical life
VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS
Fragments of R-mingle
A frame-theoretic perspective on Esakia duality
Model completions and r-Heyting categories
Semi-Nelson algebras
Canonical extensions for congruential logics with the deduction theorem
Esakia duality and its extensions
A discriminator variety of Gödel algebras with operators arising in quantum computation
Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
Double MS_n-algebras and double K_n.m-algebras
On the structure of varieties with equationally definable principal congruences. I
Compatibly involutive residuated lattices and the Nelson identity
Factor principal congruences and Boolean products in filtral varieties
On subtractive varieties II: General properties
On Ockham algebras: Congruence lattices and subdirectly irreducible algebras
Congruence-lattices of discrete RUCS varieties
Varieties of BL-algebras. III: Splitting algebras
Quasi-discriminator varieties
On the structure of varieties with equationally definable principal congruences. II
On the closure properties of the class of full G-models of a deductive system
Semiconic idempotent residuated structures
Nelson algebras, residuated lattices and rough sets: A survey
On the structure of varieties with equationally definable principal congruences. III
Definable and Autostable Congruences
Expansions of dually pseudocomplemented Heyting algebras
Willem Blok's contribution to abstract algebraic logic
MODEL COMPLETIONS FOR UNIVERSAL CLASSES OF ALGEBRAS: NECESSARY AND SUFFICIENT CONDITIONS
A finite basis theorem for quasivarieties
Deduction-detachment theorem and Gentzen-style deductive systems
Quasivarieties of algebras with definable principal congruences
Introducing Boolean Semilattices
Abstract algebraic logic. An introductory chapter
Universal algebraic methods for non-classical logics
Amalgamation classes of some distributive varieties
Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
Esakia style duality for implicative semilattices
Congruence-distributive varieties of algebras
Algebraic aspects of deduction theorems
Intuitionistic logic is a connexive logic

This page was built for publication: Varieties with equationally definable principal congruences

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1146705)