(α, β)-Ordered linear resolution of intuitionistic fuzzy propositional logic.
Li ZouXiaonan LiChang PanXin LiuPublished in: Inf. Sci. (2017)
Keyphrases
- propositional logic
- intuitionistic fuzzy
- fuzzy clustering
- belief revision
- first order logic
- valued logic
- group decision making
- judgment matrix
- fuzzy relations
- belief change
- propositional satisfiability
- propositional formulas
- satisfiability testing
- quantified boolean formulae
- expert systems
- mathematical programming
- knowledge representation
- relational databases