Monadic pseudo BE-algebras

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Commutative pseudo BE-algebras

The aim of this paper is to introduce the notion of commutative pseudo BE-algebras and investigate their properties.We generalize some results proved by A. Walendziak for the case of commutative BE-algebras.We prove that the class of commutative pseudo BE-algebras is equivalent to the class of commutative pseudo BCK-algebras. Based on this result, all results holding for commutative pseudo BCK-...

متن کامل

Pseudo-Valuations on BE-Algebras

Based on the Buşneag’s model ([2, 3, 4]), the notion of pseudovaluations (valuations) on a BE-algebra is introduced, and a pseudometric is induced by a pseudo-valuation on BE-algebras. Related properties are investigated, and conditions for a real-valued function on a BE-algebra to be a pseudo-valuation are discussed. Using the notion of (pseudo) valuation, we show that the binary operation in ...

متن کامل

Monadic dynamic algebras

The main purpose of this work is to introduce the class of the monadic dynamic algebras (dynamic algebras with one quantifier). Similarly to a theorem of Kozen we establish that every separable monadic dynamic algebra is isomorphic to a monadic (possibly non-standard) Kripke structure. We also classify the simple (monadic) dynamic algebras. Moreover, in the dynamic duality theory, we analyze th...

متن کامل

Finite Monadic Algebras

Introduction. The elementary structure theory for finite Boolean algebras is, for our purposes, summarized in the following theorem, (see [1, p. 163], or [2, p. 344]). (*) If B is a finite Boolean algebra, then it is completely characterized by the number of its elements, a number which must be of the form 2", where n is the number of atoms of B. In this case B is faithfully represented as the ...

متن کامل

Monadic GMV-algebras

Monadic MV –algebras are an algebraic model of the predicate calculus of the Lukasiewicz infinite valued logic in which only a single individual variable occurs. GMV -algebras are a non-commutative generalization of MV -algebras and are an algebraic counterpart of the non-commutative Lukasiewicz infinite valued logic. We introduce monadic GMV -algebras and describe their connections to certain ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Mathematica Slovaca

سال: 2020

ISSN: 1337-2211,0139-9918

DOI: 10.1515/ms-2017-0411