Pages that link to "Item:Q1315322"
From MaRDI portal
The following pages link to On the structure of varieties with equationally definable principal congruences. IV (Q1315322):
Displayed 18 items.
- Boolean-like algebras (Q353355) (← links)
- Strengthening effect algebras in a logical perspective: Heyting-Wajsberg algebras (Q472706) (← links)
- Expansions of dually pseudocomplemented Heyting algebras (Q1680519) (← 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)
- Characteristic formulas of partial Heyting algebras (Q2392011) (← links)
- In memory of Willem Johannes Blok 1947-2003 (Q2433091) (← links)
- Willem Blok's contribution to abstract algebraic logic (Q2433093) (← links)
- Semi-linear Varieties of Lattice-Ordered Algebras (Q2948590) (← links)
- Quasi-subtractive varieties (Q3107353) (← links)
- FREGEAN VARIETIES (Q3398314) (← 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)
- Quasi-discriminator varieties (Q5170143) (← links)
- Dual binary discriminator varieties (Q5210626) (← links)
- (Q5410346) (← links)
- Intuitionistic logic is a connexive logic (Q6127186) (← links)