Semantic theory of finite lattice-valued propositional logic.
Xiaodong PanYang XuPublished in: Sci. China Inf. Sci. (2010)
Keyphrases
- propositional logic
- minimal models
- first order logic
- belief revision
- valued logic
- possibilistic logic
- quantified boolean formulae
- lattice theory
- logical theories
- propositional satisfiability
- natural language
- davis putnam
- formal theory
- semantic web
- machine learning
- horn logic
- belief change
- decision theory
- satisfiability testing