e-space
Manchester Metropolitan University's Research Repository

Admissible inference rules in temporal linear logics based at integer numbers

Rybakov, Vladimir V. (2005) Admissible inference rules in temporal linear logics based at integer numbers. [Conference or Workshop Item] (Unpublished)

Full text not available from this repository.

Abstract

This research concerns rules admissible in temporal linear transitive and intransitive logics based on integer numbers.

Impact and Reach

Statistics

Downloads
Activity Overview
0Downloads
136Hits

Additional statistics for this dataset are available via IRStats2.

Actions (login required)

Edit Item Edit Item