Logical Consecutions in Intransitive Temporal Linear Logic of Finite Intervals

Vladimir V. Rybakov. Logical Consecutions in Intransitive Temporal Linear Logic of Finite Intervals. Journal of Logic and Computation, 15(5):663-678, 2005. [doi]

Abstract

Abstract is missing.