SCOPUS 정보 검색 플랫폼

Volumn 136, Issue 1, 2003, Pages 55-70

A triangular-norm-based propositional fuzzy logic

Author keywords

Completeness; Formal system *; Non classical logics; Schematic extension *n; Triangular norm

Indexed keywords

ALGEBRA; SEMANTICS; THEOREM PROVING;

NONCLASSICAL LOGICS;

FUZZY SETS;

EID: 0037449122 PISSN: 01650114 EISSN: None Source Type: Journal
DOI: 10.1016/S0165-0114(02)00143-4 Document Type: Article

Times cited : (28)

References (15)

1
- 0002118960
- Contrapositive symmetry of fuzzy implications
- Fodor J.C. Contrapositive symmetry of fuzzy implications. Fuzzy Sets and Systems. 69:1995;141-156.
- (1995) Fuzzy Sets and Systems , vol.69 , pp. 141-156
- Fodor, J.C.¹

2
- 0004130617
- Dordrecht: Kluwer Academic Press
- Hájek P. Metamathematics of Fuzzy Logic. 1998;Kluwer Academic Press, Dordrecht.
- (1998) Metamathematics of Fuzzy Logic
- Hájek, P.¹

3
- 0004080435
- London: Cambridge University Press
- Hamilton A.G. Logic for Mathematicians. 1978;Cambridge University Press, London.
- (1978) Logic for Mathematicians
- Hamilton, A.G.¹

4
- 0001409897
- A survey on different triangular norm-based fuzzy logics
- Klement E.P., Navara M. A survey on different triangular norm-based fuzzy logics. Fuzzy Sets and Systems. 101(2):1999;241-251.
- (1999) Fuzzy Sets and Systems , vol.101 , Issue.2 , pp. 241-251
- Klement, E.P.¹ Navara, M.²

5
- 0013148522
- A note on tensor products on the unit interval
- Menu J., Pavelka J. A note on tensor products on the unit interval. Comment. Math. Univ. Carol. 17:1976;71-82.
- (1976) Comment. Math. Univ. Carol. , vol.17 , pp. 71-82
- Menu, J.¹ Pavelka, J.²

7
- 0002731235
- The use of fuzzy outranking relations in preference modelling
- Perny P., Roy B. The use of fuzzy outranking relations in preference modelling. Fuzzy Sets and Systems. 49:1992;33-53.
- (1992) Fuzzy Sets and Systems , vol.49 , pp. 33-53
- Perny, P.¹ Roy, B.²

8
- 84968466832
- Fragment of many-valued statement calculi
- Rose A., Rosser J.B. Fragment of many-valued statement calculi. Trans. Amer. Math. Soc. 87:1958;1-53.
- (1958) Trans. Amer. Math. Soc. , vol.87 , pp. 1-53
- Rose, A.¹ Rosser, J.B.²

9
- 0003406363
- Wurzburg: Physica-Verlag
- Turunen E. Mathematics Behind Fuzzy Logic. 1999;Physica-Verlag, Wurzburg.
- (1999) Mathematics Behind Fuzzy Logic
- Turunen, E.¹

10
- 0001437750
- A formal deductive system for fuzzy propositional calculus
- Wang G.J. A formal deductive system for fuzzy propositional calculus. Chinese Sci. Bull. 42:1997;1521-1526.
- (1997) Chinese Sci. Bull. , vol.42 , pp. 1521-1526
- Wang, G.J.¹

11
- 0000148028
- Theory of ∑-(α-tautologies) in revised Kleene systems
- Wang G.J. Theory of. ∑ -( α -tautologies) in revised Kleene systems Sci. China, Ser. E. 41:1998;188-195.
- (1998) Sci. China, Ser. E , vol.41 , pp. 188-195
- Wang, G.J.¹

13
- 0344666962
- Several compactness theorems for fuzzy semantic
- Wang G.J. Several compactness theorems for fuzzy semantic. Chinese Sci. Bull. 44:1999;1275-1279.
- (1999) Chinese Sci. Bull. , vol.44 , pp. 1275-1279
- Wang, G.J.¹

14
- 0013061116
- Moscow: Science Press. in Chinese
- Wang G.J. Non-Classical Mathematical Logic and Approximate Reasoning. 2000;Science Press, Moscow. (in Chinese).
- (2000) Non-Classical Mathematical Logic and Approximate Reasoning
- Wang, G.J.¹

15
- 0035900852
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- Esteva F., Godo L. Monoidal t-norm based logic: towards a logic for left-continuous t-norms. Fuzzy Sets and Systems. 124:2001;271-288.
- (2001) Fuzzy Sets and Systems , vol.124 , pp. 271-288
- Esteva, F.¹ Godo, L.²

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.