Results 251 to 255 of about 12,693 (255)
Some of the next articles are maybe not open access.
Unification, Finite Duality and Projectivity in Locally Finite Varieties of Heyting Algebras
2004We investigate finitarity of unification types in locally finite varieties of Heyting algebras, giving both positive and negative results. We make essential use of finite dualities within a conceptualization for E-unification theory relying on the algebraic notion of a projective object.
openaire +1 more source
Locally finitely approximable and locally representable varieties of algebras
Algebra and Logic, 1977openaire +3 more sources
Locally Finite Varieties of Groups and Representations of Finite Groups
1997openaire +1 more source
On locally primitive Cayley graphs of finite simple groups
Journal of Combinatorial Theory - Series A, 2011exaly