An extended Gentzen-type formulation of a many-valued modal propositional logic based on Zadeh's similarity relation

Fuzzy Sets and Systems

Volumn 101, Issue 1, 1999, Pages 115-123

  Morikawa, Osamu ^a  

^a FUKUSHIMA NATIONAL COLLEGE OF TECHNOLOGY   (Japan)

Author keywords

Fuzzy relation; Logic; Many valued logic; Modal logic; Rough logic

Indexed keywords

EID: 8544279664     PISSN: 01650114     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0165-0114(97)00044-4     Document Type: Article

References (15)

1. J.P. Cleave, The notion of logical consequence in the logic of inexact predicate, Zeitschrift Math. Logik grundlagen Math. 20 (1974) 307-324.
2. M.C. Fitting, Many-valued modal logics, Fundam. Inform. 15 (1991) 235-254.
3. M.C. Fitting, Many-valued modal logics II, Fundam. Inform. 17 (1992) 55-73.
4. R. Goldblat, Logics of time and computation, Center for the study of language and information, Lecture Notes, No. 7, Springer, Berlin, 1992.
5. O. Morikawa, Some modal logics based on a three-valued logic, Notre Dame J. Formal Logic 30 (1989) 130-137.
6. O. Morikawa, A sequential formulation of a logic based on fuzzy modalities, Fuzzy Sets and Systems 63 (1994) 181-186.
7. O. Morikawa, A fuzzy modal logic of Gentzen style, 4th Internat. Workshop on Rough Sets, Fuzzy Sets, and Machine Discovery, 1996, pp. 44-46.
8. A. Nakamura, On a logic based on fuzzy modalities, 22nd Internat. Symp. on Multiple-Valued Logic, 1992, pp. 460-466.
9. A. Nakamura, J.M. Gao, A logic for fuzzy data analysis, Fuzzy Sets and Systems 39 (1991) 127-132.
10. E. Orlowska, Logic of indiscernibility relation, Bull. Polisch Academy of Sci. Math. 33 (1985) 475-485.
11. Z. Pawlak, Rough sets, Int. J. Inform. Comput. Sci. 11 (1982) 341-356.
12. P. Smets, E.H. Mamdani (Eds.), Non-Standard Logics for Automated Reasoning, Academic Press, New York, 1988.
13. L. Sombe, Reasoning Under Incomplete Information in Artificial Intelligence, Wiley, New York, 1990.
14. M. Takahashi, Many-valued logics of extended Gentzen style, Sci. Rep. of Tokyo Kyoiku Daigaku Section A.9 (1967) 271-292.
15. G. Takeuchi, Proof Theory, North-Holland, Amsterdam, 1975.