Similarity DH-Algebras

Authors

  • Federico Gabriel Alminana Universidad Nacional de San Juan, Argentina.
  • Mathias Exequiel Pelayes Universidad Nacional de San Juan, Argentina.
Abstract:

In  cite{GL}, B. Gerla and I. Leuc{s}tean introduced the notion of similarity on MV-algebra. A similarity MV-algebra is an MV-algebra endowed with a binary operation $S$ that verifies certain additional properties. Also, Chirtec{s} in cite{C}, study the notion of similarity on L ukasiewicz-Moisil algebras. In particular, strong similarity L ukasiewicz-Moisil algebras were defined. In this paper we define and study the variety of similarity symmetric Heyting algebras (or similarity DH-algebras), i.e. symmetric Heyting algebras endowed with an operation of similarity $S$. These algebras are a generalization of strong similarity L ukasiewicz-Moisil algebras. In addition, we introduce a propositional calculus and prove this calculus has similarity DH-algebras as algebraic counterpart.

Upgrade to premium to download articles

Sign up to access the full text

Already have an account?login

similar resources

similarity dh-algebras

in  cite{gl}, b. gerla and i. leuc{s}tean introduced the notion of similarity on mv-algebra. a similarity mv-algebra is an mv-algebra endowed with a binary operation $s$ that verifies certain additional properties. also, chirtec{s} in cite{c}, study the notion of similarity on l ukasiewicz-moisil algebras. in particular, strong similarity l ukasiewicz-moisil algebras were defined. in this paper...

full text

Similarity MV-algebras

Similarities are an extension of equivalence relations to a fuzzy context. In this paper we introduce the class of similarity MV-algebras obtained as a generalization of the variety of MValgebras by adding a binary operator playing the role of similarity. We further introduce the similarity Łukasiewicz logic and we prove a completeness theorem.

full text

The similarity problem for Fourier algebras and corepresentations of group von Neumann algebras

Let G be a locally compact group, and let A(G) and VN(G) be its Fourier algebra and group von Neumann algebra, respectively. In this paper we consider the similarity problem for A(G): Is every bounded representation of A(G) on a Hilbert space H similar to a ∗-representation? We show that the similarity problem for A(G) has a negative answer if and only if there is a bounded representation of A(...

full text

Universal Similarity Factorization Equalities over Real Clifford Algebras

A variety of universal similarity factorization equalities over real Clifford algebras Rp,q are established. On the basis of these equalities, real, complex and quaternion matrix representations of elements in Rp,q can be explicitly determined.

full text

A Note on the Similarity Theorem for Nest Algebras

In [4], nests were classified up to similarity simply in terms of order type and dimension. However the proof given there and exposited in [6] appears to rely on first classifying the compact perturbations of the nest algebras. This, in turn, required reliance on some difficult results on derivations of C*-algebras and in particular on the theorem of Johnson and Parrott [7]. However a careful e...

full text

Geometrical equivalence, geometrical similarity and geometrical compatibility of algebras

In the paper the main attention is paid to conditions on algebras from a given variety Θ which provide coincidence of their algebraic geometries. The main part here play the notions mentioned in the title of the paper.

full text

My Resources

Save resource for easier access later

Save to my library Already added to my library

{@ msg_add @}


Journal title

volume 2  issue 1

pages  59- 71

publication date 2015-02-01

By following a journal you will be notified via email when a new issue of this journal is published.

Hosted on Doprax cloud platform doprax.com

copyright © 2015-2023