Local β compactness as fuzzy predicates defined in Łukasiewicz logic

Article type: Research Article

Authors: Sayed, O.R.^a | Kim, Yong Chan^{b; *}

Affiliations: [a] Department of Mathematics, Faculty of Science, Assiut University, Assiut, Egypt | [b] Department of Mathematics, Gangneung-Wonju National University, Gangneung, Gangwondo, Korea

Correspondence: [*] Corresponding author. Yong Chan Kim, Department of Mathematics, Gangneung-Wonju National University, Gangneung, Gangwondo 210-702, Korea. Tel.: +82 33 640 2270; Fax: +82 33 647 3256; E-mail: yck@gwnu.ac.kr.

Abstract: In this paper, some characterizations of fuzzifying β-compactness are given, including characterizations in terms of nets and β-subbases. Several characterizations of locally β-compactness in the framework of fuzzifying topology are introduced and the mapping theorems are obtained.

Keywords: Łukasiewicz logic, semantics, fuzzifying topology, fuzzifying compactness, β-compactness, fuzzifying locally compactness, locally β-compactness

DOI: 10.3233/JIFS-151335

Journal: Journal of Intelligent & Fuzzy Systems, vol. 32, no. 1, pp. 165-176, 2017