در هنگام جستجو کلمه در قسمت عنوان میتوانید کلمات مورد جستجو را با کاراکتر (-) جدا کنید.
کاربرد نوع شرط:
- جایگاه : پژوهشی
- مجله: Algebraic Structures and Their Applications
- نوع مقاله: Journal Article
- کلمات کلیدی: symmetric Heyting algebras,Similarity,$S$--filter
- چکیده:
- چکیده انگلیسی: 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.
- انتشار مقاله: 08-10-1394
- نویسندگان: Federico Gabriel Alminana,Mathias Exequiel Pelayes
- مشاهده