Pages that link to "Item:Q762523"

The following pages link to On the structure of varieties with equationally definable principal congruences. II (Q762523):

Displaying 40 items.

• On the deductive system of the order of an equationally orderable quasivariety (Q295923) (← links)
• The commutator in equivalential algebras and Fregean varieties (Q634757) (← links)
• Congruence-lattices of discrete RUCS varieties (Q759783) (← links)
• Congruence-distributive varieties of algebras (Q911623) (← links)
• A finite basis theorem for quasivarieties (Q1061158) (← links)
• The decision problem for finite algebras from arithmetical varieties with equationally definable principal congruences (Q1117961) (← links)
• Varieties with \(n\)-principal compact congruences (Q1168344) (← links)
• Universal algebras (Q1173984) (← links)
• On subtractive weak Brouwerian semilattices (Q1272152) (← links)
• On the structure of varieties with equationally definable principal congruences. IV (Q1315322) (← links)
• On the structure of varieties with equationally definable principal congruences. III (Q1342132) (← links)
• Varieties of commutative residuated integral pomonoids and their residuation subreducts (Q1355602) (← links)
• Expansions of dually pseudocomplemented Heyting algebras (Q1680519) (← links)
• Relative congruence formulas and decompositions in quasivarieties (Q1686333) (← links)
• Fregean logics with the multiterm deduction theorem and their algebraization (Q1770606) (← links)
• The parameterized local deduction theorem for quasivarieties of algebras and its application (Q1918964) (← links)
• Semisimplicity, EDPC and discriminator varieties of bounded weak-commutative residuated lattices with an S4-like modal operator (Q1935561) (← links)
• Compatibly involutive residuated lattices and the Nelson identity (Q2317520) (← links)
• Uniform interpolation and compact congruences (Q2363208) (← links)
• Semi-Nelson algebras (Q2413410) (← links)
• In memory of Willem Johannes Blok 1947-2003 (Q2433091) (← links)
• Willem Blok's contribution to abstract algebraic logic (Q2433093) (← links)
• Basic hoops: an algebraic study of continuous t-norms (Q2462673) (← links)
• Free-decomposability in varieties of semi-Heyting algebras (Q2888630) (← links)
• FREGEAN VARIETIES (Q3398314) (← links)
• Residuated Structures, Concentric Sums and Finiteness Conditions (Q3543391) (← links)
• The Fraser-Horn and Apple Properties (Q3770588) (← links)
• Fregean subtractive varieties with definable congruence (Q4531552) (← links)
• Congruence quasi-orderability in subtractive varieties (Q4531555) (← links)
• A Mathematical Life (Q4586411) (← links)
• Introducing Boolean Semilattices (Q4586414) (← links)
• Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
• VARIETIES OF DE MORGAN MONOIDS: COVERS OF ATOMS (Q5107537) (← links)
• Quasi-discriminator varieties (Q5170143) (← links)
• (Q5179121) (← links)
• Inconsistency lemmas in algebraic logic (Q5396222) (← links)
• MODEL COMPLETIONS FOR UNIVERSAL CLASSES OF ALGEBRAS: NECESSARY AND SUFFICIENT CONDITIONS (Q5879189) (← links)
• Intuitionistic logic is a connexive logic (Q6127186) (← links)
• Semisimplicity and congruence 3-permutability for quasivarieties with equationally definable principal congruences (Q6562371) (← links)
• On pretabular extensions of relevance logic (Q6636375) (← links)