A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic

DOI10.1016/j.tcs.2006.09.021zbMath1108.03030OpenAlexW2142686960MaRDI QIDQ859844

Guohua Wu, Zaiyue Zhang, Yuefei Sui, Cun-Gen Cao

Publication date: 22 January 2007

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2006.09.021

zbMATH Keywords

formal systemfuzzy reasoningpropositional modal logicsoundness and completenessfuzzy Kripke semantics

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Modal logic (including the logic of norms) (03B45)

Related Items (1)

Lattice-valued modal propositional logic and its completeness

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A comparative study of fuzzy sets and rough sets
• Metamathematics of fuzzy logic
• Graded similarity-based semantics for nonmonotonic inferences
• First-order modal logic
• Kripke semantics for knowledge representation logics
• Rough sets
• Rough Sets and Current Trends in Computing
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi

This page was built for publication: A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic