Fraction Structure on Bounded Implicative Bck-algebras
نویسنده
چکیده
In this paper, by considering the notion of ∧-closed set in BCK-algebras, we construct the fractions of BCK-algebras and we get some related results.
منابع مشابه
Ultra and Involution Ideals in $BCK$-algebras
In this paper, we define the notions of ultra and involution ideals in $BCK$-algebras. Then we get the relation among them and other ideals as (positive) implicative, associative, commutative and prime ideals. Specially, we show that in a bounded implicative $BCK$-algebra, any involution ideal is a positive implicative ideal and in a bounded positive implicative lower $BCK$-semilattice, the not...
متن کاملOn open problems based on fuzzy filters of pseudo BCK-algebras
We study the properties and relations of fuzzy pseudo-filters of pseudo-BCK algebras. After we discuss the equivalent conditions of fuzzy normal pseudo-filter of pseudo-BCK algebra (pP), we propose fuzzy implicative pseudo-filter and its relation with fuzzy Boolean filter of (bounded) pseudo-BCK algebras (pP). Then two open problems: “In pseudo-BCK algebra or bounded pseudo-BCK algebra, Is the ...
متن کاملOn Heyting algebras and dual BCK-algebras
A Heyting algebra is a distributive lattice with implication and a dual $BCK$-algebra is an algebraic system having as models logical systems equipped with implication. The aim of this paper is to investigate the relation of Heyting algebras between dual $BCK$-algebras. We define notions of $i$-invariant and $m$-invariant on dual $BCK$-semilattices and prove that a Heyting semilattice is equiva...
متن کاملPositive Implicative-Artinian and Positive Implicative Noetherian Hyper Bck-Algebras
The notion of intuitionistic fuzzy positive implicative hyper BCK-ideals of type-1, 2... 8 of hyper BCK-algebras was introduced in 2012 by Durga Prasad, Satyanarayana and Ramesh. In this paper, we investigate some related properties of intuitionistic fuzzy positive implicative hyper BCK-ideals of types-1. We characterize positive implicative Artinian (shortly, PI-Artinian) hyper BCK-algebras of...
متن کاملBCK-ALGEBRAS AND HYPER BCK-ALGEBRAS INDUCED BY A DETERMINISTIC FINITE AUTOMATON
In this note first we define a BCK‐algebra on the states of a deterministic finite automaton. Then we show that it is a BCK‐algebra with condition (S) and also it is a positive implicative BCK‐algebra. Then we find some quotient BCK‐algebras of it. After that we introduce a hyper BCK‐algebra on the set of all equivalence classes of an equivalence relation on the states of a deterministic finite...
متن کامل