Theory of α-truth degrees in 3-valued prerough logic.
Yingcang MaLu WangHuan LiuXiaogai WangPublished in: CCIS (2012)
Keyphrases
- formal theory
- valued logic
- multi valued
- set theory
- truth values
- computer algebra
- proof theory
- databases
- commonsense reasoning
- theoretical basis
- proof theoretic
- classical logic
- probability theory
- automated reasoning
- logical framework
- theoretical framework
- asynchronous circuits
- modal operators
- logical theories
- predicate logic
- causal reasoning
- modal logic
- computational model
- fuzzy sets
- case study
- information systems
- genetic algorithm