• Journal for History of Mathematics
• /
• v.13 no.1
• /
• pp.125-136
• /
• 2000

The notion of MV-algebra was introduced by C.C. Chang in 1958 to provide an algebraic proof of the completeness of Lukasiewicz axioms for infinite valued logic. These algebras appear in the literature under different names: Bricks, Wajsberg algebra, CN-algebra, bounded commutative BCK-algebras, etc. The purpose of this paper is to give a topological lattice completion of semisimple MV-algebras. To this end, we characterize the complete atomic center MV-algebras and semisimple algebras as subalgebras of a cube. Then we define the $\delta$-completion of semisimple MV-algebra and construct the $\delta$-completion. We also study some important properties and extension properties of $\delta$-completion.

• Bulletin of the Korean Mathematical Society
• /
• v.33 no.4
• /
• pp.593-601
• /
• 1996

W. Liu [11] has studied fuzzy ideals of a ring, and many researchers [5,6,7,16] are engaged in extending the concepts. The notion of fuzzy ideals and its properties were applied to various areas: semigroups [8,9,10,13,15], distributive lattices [2], artinian rings [12], BCK-algebras [14], near-rings [1]. In this paper we obtained an exact analogue of fuzzy ideals for near-ring which was discussed in [5, 11].

• Kyungpook Mathematical Journal
• /
• v.56 no.2
• /
• pp.371-386
• /
• 2016

Using the hesitant intersection (${\Cap}$), the notions of ${\Cap}$-hesitant fuzzy subalgebras, ${\Cap}$-hesitant fuzzy ideals and ${\Cap}$-hesitant fuzzy p-ideals are introduced,and their relations and related properties are investigated. Conditions for a ${\Cap}$-hesitant fuzzy ideal to be a ${\Cap}$-hesitant fuzzy p-ideal are provided. The extension property for ${\Cap}$-hesitant fuzzy p-ideals is established.

• Kyungpook Mathematical Journal
• /
• v.57 no.1
• /
• pp.99-108
• /
• 2017

In this paper we construct quadratic ${\beta}-algebras$ on a field, and we discuss both linear-quadratic ${\beta}-algebras$ and quadratic-linear ${\beta}-algebras$ in a field. Moreover, we discuss some relations of binary operations in ${\beta}-algebras$.

• Journal of applied mathematics & informatics
• /
• v.40 no.5_6
• /
• pp.1105-1115
• /
• 2022

The main objective of this paper is to introduce the notion of AMR-algebra and its generalization, and to compare them with other algebras such as BCK, BCI, BCH, · · ·, etc. We show moreover that the K-part of AMR-algebra is an abelian group, and the weak AMR-algebra is also an abelian group and generalizes many known algebras like BCI, BCH, and G.

• International Journal of Contents
• /
• v.7 no.4
• /
• pp.56-63
• /
• 2011

Quantum mechanics is a branch of physics for a mathematical description of the particle wave, and it is applied to information technology such as quantum computer, quantum information, quantum network and quantum cryptography, etc. In 1936, Garrett Birkhoff and John von Neumann introduced the logic of quantum mechanics (quantum logic) in order to investigate projections on a Hilbert space. As another type of quantum logic, orthomodular implication algebra was introduced by Chajda et al. This algebra has the logical implication as a binary operation. In pure mathematics, there are many algebras such as Hilbert algebras, implicative models, implication algebras and dual BCK-algebras (DBCK-algebras), which have the logical implication as a binary operation. In this paper, we introduce the definitions and some properties of those algebras and clarify the relations between those algebras. Also, we define the implicative poset which is a generalization of orthomodular implication algebras and DBCK-algebras, and research properties of this algebraic structure.

• Honam Mathematical Journal
• /
• v.42 no.2
• /
• pp.197-211
• /
• 2020

The notions of hyper permeable subalgebraic value and hyper permeable idealistic value are introduced, and related properties are investigated. Given a pair of two numbers in a unit interval, conditions for the pair to be hyper permeable subalgebraic value and hyper permeable idealistic value are discussed. Given hyperfuzzy structures, conditions for their level sets to be subalgebraic energetic, idealistic energetic, right stable and right vanished are considered. Relations between hyper permeable subalgebraic value and hyper permeable idealistic value are studied.

• Communications of the Korean Mathematical Society
• /
• v.31 no.1
• /
• pp.27-40
• /
• 2016

We define the notion of a residuated lattice valued function on a set as Jun and Song have done in BCK-algebras. We also investigate related properties of residuated lattice valued function. We establish the codes generated by residuated lattice valued function and conversely we give residuated lattice valued function and residuated lattice obtained by the giving binary block-code.

• Journal of applied mathematics & informatics
• /
• v.38 no.1_2
• /
• pp.65-77
• /
• 2020

In this paper, for any non-empty subsets A, I of a pseudo BCI-algebra X, we introduce the concept of pseudo p-closure of A with respect to I, denoted by A^pc_I, and investigate some related properties. Applying this concept, we state a necessary and sufficient condition for a pseudo BCI-algebra 1) to be a p-semisimple pseudo BCI-algebra; 2) to be a pseudo BCK-algebra. Moreover, we show that A^pc_{0} is the least positive pseudo ideal of X containing A, and characterize it by the union of some branches. We also show that the set of all pseudo ideals of X which A^pc_I = A, is a complete lattice. Finally, we prove that this notion can be used to define a closure operation.

• Communications of the Korean Mathematical Society
• /
• v.27 no.3
• /
• pp.431-439
• /
• 2012

Characterizations of $\mathcal{N}$-subalgebra of type (${\in}$, ${\in}{\vee}q$) are provided. The notion of $\mathcal{N}$-subalgebras of type ($\bar{\in}$, $\bar{\in}{\vee}\bar{q}$) is introduced, and its characterizations are discussed. Conditions for an $\mathcal{N}$-subalgebra of type (${\in}$, ${\in}{\vee}q$) (resp. ($\bar{\in}$, $\bar{\in}{\vee}\bar{q}$) to be an $\mathcal{N}$-subalgebra of type (${\in}$, ${\in}$) are considered.