• Korean Journal of Logic
• /
• v.10 no.1
• /
• pp.1-23
• /
• 2007

Dunn investigated algebras and semantics for negations in non-classical logics. This paper extends his investigation to dual negations, more exactly to duals to the negations in Dunn [3, 5]. I first survey and systematize the algebras of dual negations, i.e., (self-dual) subminimal negation, dual Galois negations, dual minimal negation, wB (or dual intuitionistic) negation, (self-dual) De Morgan negation, and (self-dual) ortho negation, based on partially ordered sets. I next provide dual-perp semantics for these (dual) negations. I finally give representations for them by using dual-perp semantics.

• Bulletin of the Korean Mathematical Society
• /
• v.35 no.4
• /
• pp.727-739
• /
• 1998

We discuss dual algebras generated by a contraction and properties $({\mathbb}A_{m,n})$ which arise in the study of the problem of solving systems of the predual of a dual algebra. In particular, we study membership for the class ${\mathbb}A_1,{{\aleph}_0 }$. As some examples we consider dual algebras generated by a Jordan block.

• The Pure and Applied Mathematics
• /
• v.31 no.1
• /
• pp.1-19
• /
• 2024

In this paper, the notions of strong Connes amenability for certain products of Banach algebras and module extension of dual Banach algebras is investigated. We characterize χ ⊗ η-strong Connes amenability of projective tensor product ${\mathbb{K}}{\hat{\bigotimes}}{\mathbb{H}}$ via χ ⊗ η-σwc virtual diagonals, where χ ∈ 𝕂_* and η ∈ ℍ_* are linear functionals on dual Banach algebras 𝕂 and ℍ, respectively. Also, we present some conditions for the existence of (χ, θ)-σwc virtual diagonals in the θ-Lau product of 𝕂 ×_θ ℍ. Finally, we characterize the notion of (χ, 0)-strong Connes amenability for module extension of dual Banach algebras 𝕂 ⊕ 𝕏, where 𝕏 is a normal Banach 𝕂-bimodule.

• Bulletin of the Korean Mathematical Society
• /
• v.47 no.4
• /
• pp.663-673
• /
• 2010

This work was intended as an attempt to introduce and investigate the Connes-amenability of module extension of dual Banach algebras. It is natural to try to study the $weak^*$-continuous derivations on the module extension of dual Banach algebras and also the weak Connes-amenability of such Banach algebras.

• Communications of the Korean Mathematical Society
• /
• v.10 no.3
• /
• pp.541-544
• /
• 1995

In [1], Ahmad has given a characterization of prime dual ideals in bounded commutative BCK-algebras. The aime of this paper is to show that Theorem of [1] holds without the commutativity.

• Communications of the Korean Mathematical Society
• /
• v.10 no.4
• /
• pp.899-906
• /
• 1995

We discuss certain structure theorems in the class A which is closely related to the study of the problems of solving systems concerning the predual of a dual operator algebra generated by a contraction on a separable infinite dimensional complex Hilbert space.

• Communications of the Korean Mathematical Society
• /
• v.10 no.1
• /
• pp.11-14
• /
• 1995

In [1], Alo and Deeba introduced the uniformity of a BCK-algebra by using ideals. Meng [5] introduced the concept of dual ideals in BCK-algebras. We note that the concept of dual ideals is not a dual concept of ideals. In this paper, by using dual ideals, we consider the uniformity of a BCK-algebra.

• Kyungpook Mathematical Journal
• /
• v.47 no.2
• /
• pp.267-276
• /
• 2007

Injective JW-algebras are defined and are characterized by the existence of projections of norm 1 onto them. The relationship between the injectivity of a JW-algebra and the injectivity of its universal enveloping von Neumann algebra is established. The Jordan analgue of Theorem 3 of [3] is proved, that is, a JC-algebra A is nuclear if and only if its second dual $A^{**}$ is injective.

• 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.

• Communications of the Korean Mathematical Society
• /
• v.8 no.2
• /
• pp.225-231
• /
• 1993