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)

File not available for download.

Abstract

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

Item Type:	Conference or Workshop Item
Peer-reviewed:	No
Date Deposited:	09 Apr 2010 13:41
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 > Science and Engineering
URI:	https://e-space.mmu.ac.uk/id/eprint/96169

Impact and Reach

Statistics

DownloadsShow export options

Activity Overview

6 month trend

0Downloads

6 month trend

238Hits

Additional statistics for this dataset are available via IRStats2.

Repository staff only

Edit record