On the structure of varieties with equationally definable principal congruences. II
From MaRDI portal
Publication:762523
DOI10.1007/BF01203370zbMATH Open0558.08001MaRDI QIDQ762523FDOQ762523
Authors: Don Pigozzi, W. J. Blok, Peter Köhler 
Publication date: 1984
Published in: Algebra Universalis (Search for Journal in Brave)
Recommendations
- scientific article; zbMATH DE number 475183
- On the structure of varieties with equationally definable principal congruences. III
- A perspective on the algebra of logic
- scientific article; zbMATH DE number 3889528
- scientific article; zbMATH DE number 120349
- Combining algebraizable logics
- Algebraizable logics
- Equivalence of consequence operations
- scientific article; zbMATH DE number 3882410
- Definability of principal congruences in equivalential algebras
congruence latticesubdirectly irreduciblecongruence permutabilityBrouwerian semilatticescompact homomorphic imagesdiscriminator algebrasequationally definable, principal congruencesquaternary deductive systems
Equational classes, universal algebra in model theory (03C05) Subalgebras, congruence relations (08A30) Equational logic, Mal'tsev conditions (08B05) Congruence modularity, congruence distributivity (08B10)
Cites Work
- An algebraic approach to non-classical logics
- On the structure of varieties with equationally definable principal congruences. I
- Title not available (Why is that?)
- Some theorems about the sentential calculi of Lewis and Heyting
- Title not available (Why is that?)
- Topics in universal algebra
- Title not available (Why is that?)
- Equational compactness in quasi-primal varieties
- Caracterisation des algèbres de Nelson par des egalités, I
- Two Mal'cev-type theorems in universal algebra
- Implicative Semi-Lattices
- On spectra, and the negative solution of the decision problem for identities having a finite nontrivial model
- Varieties with equationally definable principal congruences
- Uniform congruence schemes
- Varieties of implicative semilattices
- Boolean extensions and normal subdirect powers of finite universal algebras
- Some limit theorems in terms of ``dispersion
- Title not available (Why is that?)
- Congruence-lattices of discrete RUCS varieties
Cited In (44)
- The parameterized local deduction theorem for quasivarieties of algebras and its application
- In memory of Willem Johannes Blok 1947-2003
- Semisimplicity and congruence 3-permutability for quasivarieties with equationally definable principal congruences
- Relative congruence formulas and decompositions in quasivarieties
- Congruence quasi-orderability in subtractive varieties
- The decision problem for finite algebras from arithmetical varieties with equationally definable principal congruences
- On subtractive weak Brouwerian semilattices
- FREGEAN VARIETIES
- On the deductive system of the order of an equationally orderable quasivariety
- Uniform interpolation and compact congruences
- A mathematical life
- Fragments of quasi-Nelson: residuation
- Title not available (Why is that?)
- Semi-Nelson algebras
- Free-decomposability in varieties of semi-Heyting algebras
- Residuated Structures, Concentric Sums and Finiteness Conditions
- Inconsistency lemmas in algebraic logic
- Compatibly involutive residuated lattices and the Nelson identity
- Universal algebras
- Modal pseudocomplemented De Morgan algebras
- Congruence-lattices of discrete RUCS varieties
- On pretabular extensions of relevance logic
- Fregean logics with the multiterm deduction theorem and their algebraization
- Quasi-discriminator varieties
- The commutator in equivalential algebras and Fregean varieties
- Nelson algebras, residuated lattices and rough sets: A survey
- Semisimplicity, EDPC and discriminator varieties of bounded weak-commutative residuated lattices with an S4-like modal operator
- On the structure of varieties with equationally definable principal congruences. III
- Varieties of commutative residuated integral pomonoids and their residuation subreducts
- Expansions of dually pseudocomplemented Heyting algebras
- Varieties of De Morgan monoids: covers of atoms
- Basic hoops: an algebraic study of continuous t-norms
- Willem Blok's contribution to abstract algebraic logic
- The Fraser-Horn and Apple Properties
- Fregean subtractive varieties with definable congruence
- MODEL COMPLETIONS FOR UNIVERSAL CLASSES OF ALGEBRAS: NECESSARY AND SUFFICIENT CONDITIONS
- A finite basis theorem for quasivarieties
- On the structure of varieties with equationally definable principal congruences. IV
- Introducing Boolean Semilattices
- Varieties with \(n\)-principal compact congruences
- Universal algebraic methods for non-classical logics
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
- Congruence-distributive varieties of algebras
- Intuitionistic logic is a connexive logic
This page was built for publication: On the structure of varieties with equationally definable principal congruences. II
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q762523)
