A Propositional Deductive System Of Universal Logic with Projection Operator.
Yingcang MaQiaoyan LiPublished in: ISDA (1) (2006)
Keyphrases
- projection operator
- deductive reasoning
- multi valued
- sound and complete axiomatization
- probabilistic logic
- knowledge representation
- propositional logic
- general logic programs
- predicate calculus
- database language
- object oriented
- propositional variables
- functional programs
- autoepistemic logic
- horn clauses
- belief revision
- logic programs
- classical logic
- logic programming
- knowledge base
- nonmonotonic logics
- modal logic
- truth maintenance systems
- proof theory
- logical equivalence