|Title: ||Admissible inference rules in temporal linear logics based at integer numbers|
|Citation: ||Rybakov, V.V., 2005, Admissible inference rules in temporal linear logics based at integer numbers.|
|Issue Date: ||Aug-2005 |
|Additional Links: ||http://www.ict.nsc.ru/ws/ALC-9/index.en.html|
|Abstract: ||This research concerns rules admissible in temporal linear transitive and intransitive logics based on integer numbers.|
Meetings and Proceedings
|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.