|
espace at MMU >
Faculties >
Faculty of Science and Engineering >
Department of Computing and Mathematics >
Admissible inference rules in temporal linear logics based at integer numbers
Please use
this identifier to cite or link
to this item:
http://hdl.handle.net/2173/96169
 Del.icio.us
 LinkedIn
 Citeulike
 Connotea
 Facebook
 Stumble it!
| Title: | Admissible inference rules in temporal linear logics based at integer numbers |
| Authors: | Rybakov, Vladimir V. |
| Citation: | Rybakov, V.V., 2005, Admissible inference rules in temporal linear logics based at integer numbers. |
| Issue Date: | Aug-2005 |
| URI: | http://hdl.handle.net/2173/96169 |
| Additional Links: | http://www.ict.nsc.ru/ws/ALC-9/index.en.html
http://www.ict.nsc.ru/ws/ALC-9/9092/Rybakov.pdf |
| Abstract: | This research concerns rules admissible in temporal linear transitive and intransitive logics based on integer numbers. |
| Type: | Presentation
Meetings and Proceedings |
| Language: | en |
| Description: | 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 |
| Appears in Collections: | Department of Computing and Mathematics
|
| Files in This Item: |
There are no files associated with this item. |
|
All Items in e-space are protected by copyright, with all rights reserved, unless otherwise indicated.
|
