On Completeness of a Positional Interval Logic with Equality, Overlap and Subinterval Relations.
Renwei LiJosé CarmoPublished in: Log. J. IGPL (1995)
Keyphrases
- relation algebra
- equivalence relation
- truth values
- fixpoint
- classical logic
- logical framework
- semantic relations
- neural network
- modal logic
- horn clauses
- logic programming
- computational properties
- real numbers
- nonmonotonic logics
- formal logic
- data quality
- database
- expressive power
- rough sets
- relational data model
- fuzzy logic