Admissible inference rules in temporal linear logics based at integer numbers

2.50
Hdl Handle:
http://hdl.handle.net/2173/96169
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

Full metadata record

DC FieldValue Language
dc.contributor.authorRybakov, Vladimir V.en
dc.date.accessioned2010-04-09T13:41:02Z-
dc.date.available2010-04-09T13:41:02Z-
dc.date.issued2005-08-
dc.identifier.citationRybakov, V.V., 2005, Admissible inference rules in temporal linear logics based at integer numbers.en
dc.identifier.urihttp://hdl.handle.net/2173/96169-
dc.descriptionPaper 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.pdfen
dc.description.abstractThis research concerns rules admissible in temporal linear transitive and intransitive logics based on integer numbers.en
dc.language.isoenen
dc.relation.urlhttp://www.ict.nsc.ru/ws/ALC-9/index.en.htmlen
dc.relation.urlhttp://www.ict.nsc.ru/ws/ALC-9/9092/Rybakov.pdfen
dc.titleAdmissible inference rules in temporal linear logics based at integer numbersen
dc.typePresentationen
dc.typeMeetings and Proceedingsen
All Items in e-space are protected by copyright, with all rights reserved, unless otherwise indicated.