Topology on the set of R0 semantics for R0 algebras

Soft Computing

Volumn 12, Issue 6, 2008, Pages 585-591

  Zhang, Jialu ^a   Wang, Guojun ^b   Hu, Mingdi ^b  

^a XIANGNAN UNIVERSITY   (China)

^b SHANXI NORMAL UNIVERSITY   (China)

Author keywords

C R0 category; Compactness property; Cuttopology; R CG category; R0 algebra; R0 fuzzy topological space; R0 logic

Indexed keywords

ALGEBRA; FUZZY LOGIC; SEMANTICS;

FUZZY TOPOLOGY; LOOMIS-SIKORSKI THEOREM;

FUZZY SETS;

EID: 38749127177     PISSN: 14327643     EISSN: 14337479     Source Type: Journal    
DOI: 10.1007/s00500-007-0230-7     Document Type: Article

References (18)

1. Cignoli R, D'Ottaviano IML, Mundici D (2000) Algebraic foundations of many-valued reasoning. Kluwer, Dordrecht
2. Cintula P, Navara M (2004) Compactness of fuzzy logics. Fuzzy Sets Syst 143:59-73
3. Dvurecenskij A (1999) Fuzzy set representation of some quantum structures. Fuzzy Sets Syst 101:67-78
4. Esteva F, Godo L (2001) Monoidal t-norm based logic: Towards a logic for left-continuous t-norms. Fuzzy Sets Syst 124(3):271-288
5. Hajek P (1998) Metamathematics of fuzzy logic. Kluwer, Dordrecht
6. Kelley JL (1975) General topology. Springer, New York
7. Liu YM, Luo MK (1997) Fuzzy topology. World Scientific, Singapore
8. Lowen R (1978) A comparison of different compactness notions in fuzzy topological space. J Math Anal Appl 64(3):446-454
9. Mundici D (1999) Tensor products and the Loomis-Sikorski theorem for MV -algebras. Adv Appl Math 22:227-248
10. Pei DW (2003) On equivalent forms of fuzzy logic systems NM and IMTL. Fuzzy Sets Syst 138:187-195
11. Pei DW, Wang GJ (2002) The completeness of logic system L*. Sci Chin (Ser E) 32(1):56-64
12. Rodabaugh SE (1991) Point-set lattice-theoretic topology. Fuzzy Sets Syst 40:279-345
13. Sikorski R (1964) Boolean algebras. Springer, Berlin
14. Tarski A (1956) Logic, semantic, metamathematics. Oxford University Press, Oxford
15. Wang GJ (1983) A new fuzzy compactness defined by fuzzy nets. J Math Anal Appl 94(1):1-23
16. Wang GJ (1988) Theory of L -fuzzy topological Space. Shanxi Normal University Press, Xi'an
17. Wang GJ (2003) An introduction to mathematical logic and resolution principle. Science in China Press, Beijing
18. Wang GJ, Chin KS, Dang CY (2005) A unified approximate reasoning theory suitable for both propositional calaulus system L* and predicate calculus systrm K*. Sci China (Ser F) 48(1):1-14