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.
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|
Actions (login required)