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

scientific article; zbMATH DE number 3777731 (Why is no real title available?)
scientific article; zbMATH DE number 3270653 (Why is no real title available?)
A note on the congruence extension property
An example concerning definable principal congruences
Definable principal congruences in varieties of groups and rings
Implicative Semi-Lattices
Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varieties
The lattice of modal logics: an algebraic investigation
The number of subdirectly irreducible algebras in a variety
Uniform representations of congruence schemes

Cited in

(48)

The parameterized local deduction theorem for quasivarieties of algebras and its application
Intuitionistic logic is a connexive logic
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
Contextual deduction theorems
FREGEAN VARIETIES
Uniform interpolation and compact congruences
A mathematical life
VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS
Fragments of R-mingle
Model completions and r-Heyting categories
Canonical extensions for congruential logics with the deduction theorem
Semi-Nelson algebras
A frame-theoretic perspective on Esakia duality
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
On subtractive varieties II: General properties
On Ockham algebras: Congruence lattices and subdirectly irreducible algebras
Factor principal congruences and Boolean products in filtral varieties
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
Expansions of dually pseudocomplemented Heyting algebras
Definable and Autostable Congruences
Willem Blok's contribution to abstract algebraic logic
A finite basis theorem for quasivarieties
MODEL COMPLETIONS FOR UNIVERSAL CLASSES OF ALGEBRAS: NECESSARY AND SUFFICIENT CONDITIONS
Quasivarieties of algebras with definable principal congruences
Deduction-detachment theorem and Gentzen-style deductive systems
Introducing Boolean Semilattices
Amalgamation classes of some distributive varieties
Esakia style duality for implicative semilattices
Abstract algebraic logic. An introductory chapter
Universal algebraic methods for non-classical logics
Congruence-distributive varieties of algebras
Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
Algebraic aspects of deduction theorems

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)