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

DOI10.1016/S0165-0114(97)00044-4zbMath0933.03021OpenAlexW2014573517MaRDI QIDQ1302220

Osamu Morikawa

Publication date: 22 September 1999

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0165-0114(97)00044-4

zbMATH Keywords

modal logicfuzzy relationmany-valued logicsimilarity relationrough logicGentzen-type formulation

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50)

Related Items

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A logic for fuzzy data analysis
• Some modal logics based on a three-valued logic
• A sequential formulation of a logic based on fuzzy modalities
• Reasoning under incomplete information in artificial intelligence: A comparison of formalisms using a single example
• Rough sets
• The Notion of Logical Consequence in the Logic of Inexact Predicates