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. 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: Paper presented at 9th Asian Logic Conference in Novosibirsk, 16-19 August 2005. Full-text is available at http://www.ict.nsc.ru/ws/ALC-9/9092/Rybakov.pdf
Divisions: Faculties > Faculty of Science and Engineering > Department of Computing, Mathematics & Digital Technology
Date Deposited: 09 Apr 2010 13:41
Last Modified: 01 Sep 2016 14:00
URI: http://e-space.mmu.ac.uk/id/eprint/96169

Actions (login required)

Edit Item Edit Item