Extended gentzen-type formulations of two temporal logics based on incomplete knowledge systems

Notre Dame Journal of Formal Logic

Volumn 42, Issue 1, 2001, Pages 55-64

  Morikawa, Osamu ^a  

^a FUKUSHIMA NATIONAL COLLEGE OF TECHNOLOGY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33846599551     PISSN: 00294527     EISSN: 19390726     Source Type: Journal    
DOI: 10.1305/ndjfl/1054301355     Document Type: Article

References (7)

1. Goldblatt, R., Logics of Time and Computation, 2d edition, CSLI Lecture Notes, CLSI, Stanford, 1992.
2. Hájek, P., D. Harmancová, and R. Verbrugge, “A qualitative fuzzy possibilistic logic,” In-ternational Journal of Approximate Reasoning, vol. 12 (1995), pp. 1-19.
3. Lipski, W., “On semantics issues connected with incomplete information database,” ACM Transactions on Database Systems, vol. 4 (1979), pp. 269-96.
4. Morikawa, O., “Some modal logics based on a three-valued logic,” Notre Dame Journal of Formal Logic, vol. 30 (1989), pp. 130-37.
5. Morikawa, O., “An extended Gentzen-type formulation of a many-valued modal propo-sitional logic based on Zadeh’s similarity relation,” Fuzzy Sets and Systems, vol. 101 (1999), pp. 115-23.
6. Nakamura, A., “On a three-valued logic based on incomplete knowledge systems,” Technical Report 1, Japan Research Group of Multiple-valued Logic, The Institute of Electronics, Information and Communication Engineers, 1995. Many-Valued Logic Technical Report, pp. 11-18.
7. Takahashi, M., “Many-valued logics of extended Gentzen style. I,” Technical Report Section A.9, Kyoiku Daigaku, Science Reports of Tokyo, 1968, pp. 271-92.