منابع مشابه
Residuated Kleene Algebras
We show that there is no finitely axiomatizable class of algebras that would serve as an analogue to Kozen’s class of Kleene algebras if we include the residuals of composition in the similarity type of relation algebras.
متن کاملFilters in Residuated Algebras
In this paper we study the filters in residuated algebras. We investigate the properties of the filters. We also define a congruence relation on the residuated algebras corresponding to a given filter and study its properties. We define the quotient algebra induced by this relation. We prove that this is also a residuated algebra with special properties.
متن کاملInjectives in Residuated Algebras
Injectives in several classes of structures associated with logic are characterized. Among the classes considered are residuated lattices, MTLalgebras, IMTL-algebras, BL-algebras, NM-algebras and bounded hoops.
متن کاملPartially ordered monads and powerset Kleene algebras
Monads are used for various applications in computer science, and well-known is e.g. the interpretation of morphisms in the Kleisli category of the term monad as variable substitutions assigning variables to terms. An application building upon this observation is the equivalence between most general unifiers and co-equalizers in this category [13]. In this paper we will use monads with addition...
متن کاملRepresentation of Prelinear Residuated Algebras
In 1998, Hájek established a representation theorem of BL-algebrs as all subdirect products of linear BL-algebrs. We establish a similar result for the much wider class of prelinear residuated algebras, in which neither the lattice structure nor the divisibility of the monoid operation is assumed. We show, in the case of prelinear residuated lattices, that this order embedding becomes a lattice...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logic and Logical Philosophy
سال: 2013
ISSN: 1425-3305
DOI: 10.12775/llp.2013.029