A Logic-Algebraic Approach to Graded Inclusion.
Anna GomolinskaPublished in: Fundam. Informaticae (2011)
Keyphrases
- alternating time temporal logic
- computer algebra
- algebraic structure
- modal logic
- classical logic
- multi valued
- mathematical theory
- predicate logic
- logic programming
- set theory
- higher order
- abductive reasoning
- asynchronous circuits
- proof theory
- linear algebra
- real time
- formal language
- epistemic logic
- database systems
- computer vision
- logic synthesis
- algebraic geometry
- databases