Logical Consecutions in Intransitive Temporal Linear Logic of Finite Intervals.
Vladimir V. RybakovPublished in: J. Log. Comput. (2005)
Keyphrases
- linear logic
- logical framework
- interval algebra
- fixed point
- temporal reasoning
- temporal intervals
- cut elimination
- real numbers
- temporal constraints
- desirable properties
- proof search
- sequent calculus
- temporal information
- reasoning tasks
- intuitionistic logic
- temporal patterns
- logic programming
- temporal data
- proof theoretic
- natural language