Discriminator varieties and symbolic computation
نویسندگان
چکیده
منابع مشابه
Decidable Discriminator Varieties from Unary Varieties
We determine precisely those locally finite varieties of unary algebras of finite type which, when augmented by a ternary discriminator, generate a variety with a decidable theory.
متن کاملSymbolic computation of the Duggal transform
Following the results of cite{Med}, regarding the Aluthge transform of polynomial matrices, the symbolic computation of the Duggal transform of a polynomial matrix $A$ is developed in this paper, using the polar decomposition and the singular value decomposition of $A$. Thereat, the polynomial singular value decomposition method is utilized, which is an iterative algorithm with numerical charac...
متن کاملDecidable discriminator varieties from unary classes
Let /C be a class of (universal) algebras of fixed type. /C* denotes the class obtained by augmenting each member of K, by the ternary discriminator function (/(x,y, z) = x if x / ?/, ^(x,x,z) = 2:), while V(/C*) is the closure of /C* under the formation of subalgebras, homomorphic images, and arbitrary Cartesian products. For example, the class of Boolean algebras is definitionally equivalent ...
متن کاملDecidable discriminator varieties with lattice stalks
We determine those universal classes of lattices which generate a decidable discriminator variety when augmented by a ternary discriminator term. They are the locally finite universal classes whose finite members are almost homogeneous.
متن کاملSemisimplicity, EDPC and Discriminator Varieties of Residuated Lattices
We prove that all semisimple varieties of FLew-algebras are discriminator varieties. A characterisation of discriminator and EDPC varieties of FLew-algebras follows. It matches exactly a natural classification of logics over FLew proposed by H. Ono.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Computation
سال: 1992
ISSN: 0747-7171
DOI: 10.1016/s0747-7171(08)80089-2