Pages that link to "Item:Q1914062"
From MaRDI portal
The following pages link to Birkhoff-like sheaf representation for varieties of lattice expansions (Q1914062):
Displaying 9 items.
- Semantical conditions for the definability of functions and relations (Q312209) (← links)
- Quasivarieties and congruence permutability of Łukasiewicz implication algebras (Q763305) (← links)
- Algebraic functions (Q763312) (← links)
- Algebraically expandable classes (Q1042420) (← links)
- Implicit definition of the quaternary discriminator (Q1762478) (← links)
- ALGEBRAICALLY EXPANDABLE CLASSES OF IMPLICATION ALGEBRAS (Q3162711) (← links)
- (Q5472326) (← links)
- BL-global representations (Q5871380) (← links)
- ALGEBRAIC EXPANSIONS OF LOGICS (Q5879177) (← links)
