Pages that link to "Item:Q1146705"
From MaRDI portal
The following pages link to Varieties with equationally definable principal congruences (Q1146705):
Displaying 45 items.
- Canonical extensions for congruential logics with the deduction theorem (Q636384) (← links)
- Contextual deduction theorems (Q647412) (← links)
- Congruence-lattices of discrete RUCS varieties (Q759783) (← links)
- On the structure of varieties with equationally definable principal congruences. II (Q762523) (← links)
- Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class (Q909692) (← links)
- Congruence-distributive varieties of algebras (Q911623) (← links)
- A discriminator variety of Gödel algebras with operators arising in quantum computation (Q1037926) (← links)
- Semiconic idempotent residuated structures (Q1047102) (← links)
- A finite basis theorem for quasivarieties (Q1061158) (← links)
- Amalgamation classes of some distributive varieties (Q1062086) (← links)
- Algebraic aspects of deduction theorems (Q1087867) (← links)
- The decision problem for finite algebras from arithmetical varieties with equationally definable principal congruences (Q1117961) (← links)
- On subtractive varieties II: General properties (Q1272207) (← links)
- On the structure of varieties with equationally definable principal congruences. III (Q1342132) (← links)
- Model completions and r-Heyting categories (Q1372155) (← links)
- Expansions of dually pseudocomplemented Heyting algebras (Q1680519) (← links)
- Relative congruence formulas and decompositions in quasivarieties (Q1686333) (← links)
- Fragments of R-mingle (Q1770601) (← links)
- On the structure of varieties with equationally definable principal congruences. I (Q1839272) (← links)
- On Ockham algebras: Congruence lattices and subdirectly irreducible algebras (Q1902556) (← links)
- The parameterized local deduction theorem for quasivarieties of algebras and its application (Q1918964) (← links)
- Esakia style duality for implicative semilattices (Q1942035) (← links)
- Quasivarieties of algebras with definable principal congruences (Q2277502) (← links)
- Varieties of BL-algebras. III: Splitting algebras (Q2278840) (← links)
- Compatibly involutive residuated lattices and the Nelson identity (Q2317520) (← links)
- Uniform interpolation and compact congruences (Q2363208) (← links)
- Semi-Nelson algebras (Q2413410) (← links)
- Willem Blok's contribution to abstract algebraic logic (Q2433093) (← links)
- On the closure properties of the class of full G-models of a deductive system (Q2433101) (← links)
- FREGEAN VARIETIES (Q3398314) (← links)
- Double <i>MS<sub>n</sub></i>-algebras and double <i>K<sub>n.m</sub></i>-algebras (Q4202632) (← links)
- Congruence quasi-orderability in subtractive varieties (Q4531555) (← links)
- A Mathematical Life (Q4586411) (← links)
- Deduction-Detachment Theorem and Gentzen-Style Deductive Systems (Q4586413) (← links)
- Introducing Boolean Semilattices (Q4586414) (← links)
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
- Quasi-discriminator varieties (Q5170143) (← links)
- VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS (Q5241233) (← links)
- Easkia Duality and Its Extensions (Q5255792) (← links)
- Definable and Autostable Congruences (Q5741361) (← links)
- MODEL COMPLETIONS FOR UNIVERSAL CLASSES OF ALGEBRAS: NECESSARY AND SUFFICIENT CONDITIONS (Q5879189) (← links)
- A frame-theoretic perspective on Esakia duality (Q6076967) (← links)
- Intuitionistic logic is a connexive logic (Q6127186) (← links)
- Factor principal congruences and Boolean products in filtral varieties (Q6193269) (← links)
- Bi-intermediate logics of trees and co-trees (Q6584961) (← links)
