Interpretability into Lukasiewi z Algebras
نویسنده
چکیده
منابع مشابه
Interpretability of first-order linear temporal logics in fork algebras
In this paper we prove theorems on the interpretability of the first-order temporal logics LTL and TL into Fork Algebras. This result is part of a research project on the interpretability of logics in Fork Algebras, and has important applications towards the relational specification of properties of systems within the Argentum tool.
متن کاملInterpretability into Lukasiewicz Algebras
In this paper we give a characterization of all the interpretations of the varieties of bounded distributive lattices, De Morgan algebras and Lukasiewicz algebras of order m in the variety of Lukasiewicz algebras of order n. In the case of distributive lattices we give a structure theorem that is generalized to De Morgan algebras and to Lukasiewicz algebras of order m. In the last two cases we ...
متن کاملFork Algebras as a Sufficiently Rich Universal Institution
Algebraization of computational logics in the theory of fork algebras has been a research topic for a while. This research allowed us to interpret classical first-order logic, several propositional monomodal logics, propositional and first-order dynamic logic, and propositional and first-order linear temporal logic in the theory of fork algebras. In this paper we formalize these interpretabilit...
متن کاملLeft derivable or Jordan left derivable mappings on Banach algebras
Let $mathcal{A}$ be a unital Banach algebra, $mathcal{M}$ be a left $mathcal{A}$-module, and $W$ in $mathcal{Z}(mathcal{A})$ be a left separating point of $mathcal{M}$. We show that if $mathcal{M}$ is a unital left $mathcal{A}$-module and $delta$ is a linear mapping from $mathcal{A}$ into $mathcal{M}$, then the following four conditions are equivalent: (i) $delta$ is a Jordan left de...
متن کاملGeneralized additive functional inequalities in Banach algebras
Using the Hyers-Ulam-Rassias stability method, weinvestigate isomorphisms in Banach algebras and derivations onBanach algebras associated with the following generalized additivefunctional inequalitybegin{eqnarray}|af(x)+bf(y)+cf(z)| le |f(alpha x+ beta y+gamma z)| .end{eqnarray}Moreover, we prove the Hyers-Ulam-Rassias stability of homomorphismsin Banach algebras and of derivations on Banach ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007