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. In: UNSPECIFIED. (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.

Item Type: Conference or Workshop Item (UNSPECIFIED)
Additional Information: Citation: Rybakov, V.V., 2005, Admissible inference rules in temporal linear logics based at integer numbers..
Divisions: Faculties > Faculty of Science and Engineering > Department of Computing, Mathematics & Digital Technology
Date Deposited: 09 Apr 2010 13:41
Last Modified: 20 Jul 2016 01:19
URI: http://e-space.mmu.ac.uk/id/eprint/96169

Actions (login required)

Edit Item Edit Item