• 충청수학회지
• /
• 제22권3호
• /
• pp.587-591
• /
• 2009

The structure of a TL-subgroup can be understood from the representations of the TL-sub group as meets of TL-subgroups containing the TL-subgroup. Indeed, the structure of the meet of TL-subgroups can easily be obtained from the structures of the TL-subgroups and the structures of the TL-subgroups may be more simple than the structure of the meet. In this paper, we discuss meet-reducibility of TL-subgroups.

• Journal of applied mathematics & informatics
• /
• 제39권1_2호
• /
• pp.105-116
• /
• 2021

Information systems and decision rules with imprecision and uncertainty in data analysis are studied in complete residuated lattices. In this paper, we introduce the notions of distance spaces, Alexandrov pretopology (precotopology) and join-meet (meet-join) operators in complete co-residuated lattices. We investigate their relations and properties. Moreover, we give their examples.

• 충청수학회지
• /
• 제20권4호
• /
• pp.401-409
• /
• 2007

This paper is sequel to [3]. In this paper, we discuss some properties of an algebraic meet-continuous lattice and study a complete lattice which can be embedded into an algebraic meet-continuous lattice.

• Korean Journal of Mathematics
• /
• 제22권3호
• /
• pp.553-565
• /
• 2014

In this paper, we investigate the properties of Alexandrov fuzzy topologies and join-meet approximation operators. We study fuzzy preorder, Alexandrov topologies join-meet approximation operators induced by Alexandrov fuzzy topologies.We give their examples.

• Journal of applied mathematics & informatics
• /
• 제42권3호
• /
• pp.499-510
• /
• 2024

We introduce the concepts of right join-dense, right meet-dense, left join-dense and left meet-dense induced by bi-partially ordered sets on complete generalized residuated lattices. We investigate properties of these concepts and give an example related to them.

• East Asian mathematical journal
• /
• 제16권1호
• /
• pp.33-48
• /
• 2000

In this paper, for any ring R with an identity, in order to study prime ideals of the endomorphism ring $End_R$(M) of left R-module $_RM$, meet-prime submodules, prime radical, sum-prime submodules and the prime socle of a module are defined. Some relations of the prime radical, the prime socle of a module and the prime radical of the endomorphism ring of a module are investigated. It is revealed that meet-prime(or sum-prime) modules and semi-meet-prime(or semi-sum-prime) modules have their prime, semi-prime endomorphism rings, respectively.

• Journal of applied mathematics & informatics
• /
• 제38권1_2호
• /
• pp.79-89
• /
• 2020

We introduce the concepts of fuzzy join-complete lattices and Alexandrov L-pre-topologies in complete residuated lattices. We investigate the properties of fuzzy join-complete lattices on Alexandrov L-pre-topologies and fuzzy meet-complete lattices on Alexandrov L-pre-cotopologies. Moreover, we give their examples.

• 한국지능시스템학회논문지
• /
• 제19권1호
• /
• pp.133-138
• /
• 2009

We investigate the properties of meet preserving maps on strictly two-sided, commutative biquantales. Using the properties of meet preserving maps, we induce the Zadeh image and pre image operators.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제29권1호
• /
• pp.19-29
• /
• 2022

Information systems and decision rules with imprecision and uncertainty in data analysis are studied in complete residuated lattices. In this paper, we introduce the notions of Alexandrov pretopology (precotopology) and join-meet (meet-join) operators in complete co-residuated lattices. Moreover, their properties and examples are investigated.

• 정보보호학회논문지
• /
• 제33권5호
• /
• pp.709-719
• /
• 2023

최근 양자컴퓨터를 이용한 공격에 안전한 양자내성암호(Post-Quantum Cryptography, PQC)에 대한 연구 및 표준화가 국내외로 활발히 진행되고 있다. 2022년 국내 양자내성암호 표준화 공모인 KpqC 공모전이 시작되었고, 총 16종의 양자내성암호 표준 후보 알고리즘이 제출되어 1라운드 진행 중이다. 본 고에서는 KpqC 공모전 1라운드 후보인 격자 기반 키 캡슐화 알고리즘 TiGER에 대해 Alexander May의 Meet-LWE 공격을 적용하여 구체적인 공격 복잡도를 분석하였다. TiGER의 제안된 파라미터에 대해 Meet-LWE 공격을 적용한 계산 결과, 192-bit 양자 안전성을 목표로 제안된 TiGER192 파라미터가 실제로 170-bit의 classical 안전성을 가진다는 것을 보였다. 또한, 본 고에서는 Meet-LWE 공격에 대한 안전성을 높이기 위한 파라미터 설정 방법을 제언한다.