On the structure of varieties with equationally definable principal congruences. II
From MaRDI portal
Publication:762523
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
Cites work
- scientific article; zbMATH DE number 3717387 (Why is no real title available?)
- scientific article; zbMATH DE number 3316068 (Why is no real title available?)
- scientific article; zbMATH DE number 3339390 (Why is no real title available?)
- scientific article; zbMATH DE number 3198011 (Why is no real title available?)
- An algebraic approach to non-classical logics
- Boolean extensions and normal subdirect powers of finite universal algebras
- Caracterisation des algèbres de Nelson par des egalités, I
- Congruence-lattices of discrete RUCS varieties
- Equational compactness in quasi-primal varieties
- Implicative Semi-Lattices
- On spectra, and the negative solution of the decision problem for identities having a finite nontrivial model
- On the structure of varieties with equationally definable principal congruences. I
- Some limit theorems in terms of ``dispersion
- Some theorems about the sentential calculi of Lewis and Heyting
- Topics in universal algebra
- Two Mal'cev-type theorems in universal algebra
- Uniform congruence schemes
- Varieties of implicative semilattices
- Varieties with equationally definable principal congruences
Cited in
(44)- The parameterized local deduction theorem for quasivarieties of algebras and its application
- Intuitionistic logic is a connexive logic
- 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
- scientific article; zbMATH DE number 3943892 (Why is no real title available?)
- Fragments of quasi-Nelson: residuation
- 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
- Congruence-lattices of discrete RUCS varieties
- Modal pseudocomplemented De Morgan algebras
- Fregean logics with the multiterm deduction theorem and their algebraization
- On pretabular extensions of relevance logic
- The commutator in equivalential algebras and Fregean varieties
- Quasi-discriminator varieties
- Semisimplicity, EDPC and discriminator varieties of bounded weak-commutative residuated lattices with an S4-like modal operator
- Nelson algebras, residuated lattices and rough sets: A survey
- 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
- Basic hoops: an algebraic study of continuous t-norms
- Willem Blok's contribution to abstract algebraic logic
- Varieties of De Morgan monoids: covers of atoms
- The Fraser-Horn and Apple Properties
- Fregean subtractive varieties with definable congruence
- A finite basis theorem for quasivarieties
- On the structure of varieties with equationally definable principal congruences. IV
- MODEL COMPLETIONS FOR UNIVERSAL CLASSES OF ALGEBRAS: NECESSARY AND SUFFICIENT CONDITIONS
- Varieties with n-principal compact congruences
- Introducing Boolean Semilattices
- Universal algebraic methods for non-classical logics
- Congruence-distributive varieties of algebras
- Paraconsistent constructive logic with strong negation as a contraction-free relevant 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)
