A Predicate Formal System of Universal Logic with Projection Operator.
Yingcang MaMei ZhangPublished in: ICIC (1) (2010)
Keyphrases
- projection operator
- formal language
- multi valued
- ctl model update
- classical logic
- first order logic
- mathematical theory
- logic programming
- horn clauses
- operational semantics
- formal specification
- formal model
- modal logic
- epistemic logic
- turing machine
- neural network
- data sets
- formal models
- expressive power
- model theoretic
- logic programs
- case study