On a Logic Based on Graded Modalities
Summary :
The purpose of this paper is to offer a modal logic which enables us symbolic reasoning about data, especially, fuzzy relations. For such a purpose, the present author provided some systems of modal fuzzy logic. As a continuous one of those previous works, a logic based on the graded modalities is proposed. After showing some properties of this logic, the decision procedure for this logic is given in the rectangle method.
- Publication
- IEICE TRANSACTIONS on Information Vol.E76-D No.5 pp.527-532
- Publication Date
- 1993/05/25
- Publicized
- Online ISSN
- DOI
- Type of Manuscript
- Special Section PAPER (Special Issue on Multiple-Valued Logic)
- Category
- Logic and Logic Functions
Authors
Keyword
Latest Issue
Copyrights notice of machine-translated contents
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Cite this
Copy
Akira NAKAMURA, "On a Logic Based on Graded Modalities" in IEICE TRANSACTIONS on Information,
vol. E76-D, no. 5, pp. 527-532, May 1993, doi: .
Abstract: The purpose of this paper is to offer a modal logic which enables us symbolic reasoning about data, especially, fuzzy relations. For such a purpose, the present author provided some systems of modal fuzzy logic. As a continuous one of those previous works, a logic based on the graded modalities is proposed. After showing some properties of this logic, the decision procedure for this logic is given in the rectangle method.
URL: https://global.ieice.org/en_transactions/information/10.1587/e76-d_5_527/_p
Copy
@ARTICLE{e76-d_5_527,
author={Akira NAKAMURA, },
journal={IEICE TRANSACTIONS on Information},
title={On a Logic Based on Graded Modalities},
year={1993},
volume={E76-D},
number={5},
pages={527-532},
abstract={The purpose of this paper is to offer a modal logic which enables us symbolic reasoning about data, especially, fuzzy relations. For such a purpose, the present author provided some systems of modal fuzzy logic. As a continuous one of those previous works, a logic based on the graded modalities is proposed. After showing some properties of this logic, the decision procedure for this logic is given in the rectangle method.},
keywords={},
doi={},
ISSN={},
month={May},}
Copy
TY - JOUR
TI - On a Logic Based on Graded Modalities
T2 - IEICE TRANSACTIONS on Information
SP - 527
EP - 532
AU - Akira NAKAMURA
PY - 1993
DO -
JO - IEICE TRANSACTIONS on Information
SN -
VL - E76-D
IS - 5
JA - IEICE TRANSACTIONS on Information
Y1 - May 1993
AB - The purpose of this paper is to offer a modal logic which enables us symbolic reasoning about data, especially, fuzzy relations. For such a purpose, the present author provided some systems of modal fuzzy logic. As a continuous one of those previous works, a logic based on the graded modalities is proposed. After showing some properties of this logic, the decision procedure for this logic is given in the rectangle method.
ER -
English
