The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice
The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice
Dalam sains komputer, konsep sumber seperti penggunaan data dan daripada masa seperti masa pelaksanaan adalah sangat penting. Sistem logik yang boleh merawatnya telah digunakan dalam bidang itu. Logik linear telah dipanggil logik sedar sumber. Kuasa ekspresif cukup untuk menggambarkan perubahan dinamik dalam persekitaran proses. Walau bagaimanapun, logik linear tidak mencukupi untuk merawat perubahan dinamik dalam persekitaran dengan peredaran masa kerana ia tidak termasuk konsep masa secara langsung. Contoh biasa ialah hubungan antara logik linear dan jaring Petri. Adalah diketahui umum bahawa kebolehcapaian masalah untuk jaring Petri adalah bersamaan dengan kebolehbuktian untuk jujukan logik linear yang sepadan. Tetapi logik linear tidak boleh mewakili secara semula jadi jaring Petri bermasa yang merupakan lanjutan jaring Petri biasa berkenaan dengan konsep masa. Jadi kami melanjutkan logik linear berkenaan dengan konsep masa untuk memperkenalkan a mementingkan sumber and bergantung pada masa sistem logik, iaitu logik linear temporal. Sistem ini mempunyai beberapa operator temporal "
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Salinan
Takaharu HIRAI, "Propositional Temporal Linear Logic and Its Application to Concurrent Systems" in IEICE TRANSACTIONS on Fundamentals,
vol. E83-A, no. 11, pp. 2219-2227, November 2000, doi: .
Abstract: In computer science, concepts of resource such as data consumption and of time such as execution time are very important. Logical systems which can treat them have been applied in that field. Linear logic has been called a resource conscious logic. The expressive power is enough to describe a dynamic change in process environments. However, linear logic is not enough to treat a dynamic change in environments with the passage of time since it does not include a concept of time directly. A typical example is the relation between linear logic and Petri nets. It is well known that the reachability problem for Petri nets is equivalent to the provability for the corresponding sequent of linear logic. But linear logic cannot naturally represent timed Petri nets which are extensions of ordinary Petri nets with respect to time concept. So we extend linear logic with respect to time concept in order to introduce a resource-conscious and time-dependent logical system, that is, temporal linear logic. This system has some temporal operators "
URL: https://global.ieice.org/en_transactions/fundamentals/10.1587/e83-a_11_2219/_p
Salinan
@ARTICLE{e83-a_11_2219,
author={Takaharu HIRAI, },
journal={IEICE TRANSACTIONS on Fundamentals},
title={Propositional Temporal Linear Logic and Its Application to Concurrent Systems},
year={2000},
volume={E83-A},
number={11},
pages={2219-2227},
abstract={In computer science, concepts of resource such as data consumption and of time such as execution time are very important. Logical systems which can treat them have been applied in that field. Linear logic has been called a resource conscious logic. The expressive power is enough to describe a dynamic change in process environments. However, linear logic is not enough to treat a dynamic change in environments with the passage of time since it does not include a concept of time directly. A typical example is the relation between linear logic and Petri nets. It is well known that the reachability problem for Petri nets is equivalent to the provability for the corresponding sequent of linear logic. But linear logic cannot naturally represent timed Petri nets which are extensions of ordinary Petri nets with respect to time concept. So we extend linear logic with respect to time concept in order to introduce a resource-conscious and time-dependent logical system, that is, temporal linear logic. This system has some temporal operators "
keywords={},
doi={},
ISSN={},
month={November},}
Salinan
TY - JOUR
TI - Propositional Temporal Linear Logic and Its Application to Concurrent Systems
T2 - IEICE TRANSACTIONS on Fundamentals
SP - 2219
EP - 2227
AU - Takaharu HIRAI
PY - 2000
DO -
JO - IEICE TRANSACTIONS on Fundamentals
SN -
VL - E83-A
IS - 11
JA - IEICE TRANSACTIONS on Fundamentals
Y1 - November 2000
AB - In computer science, concepts of resource such as data consumption and of time such as execution time are very important. Logical systems which can treat them have been applied in that field. Linear logic has been called a resource conscious logic. The expressive power is enough to describe a dynamic change in process environments. However, linear logic is not enough to treat a dynamic change in environments with the passage of time since it does not include a concept of time directly. A typical example is the relation between linear logic and Petri nets. It is well known that the reachability problem for Petri nets is equivalent to the provability for the corresponding sequent of linear logic. But linear logic cannot naturally represent timed Petri nets which are extensions of ordinary Petri nets with respect to time concept. So we extend linear logic with respect to time concept in order to introduce a resource-conscious and time-dependent logical system, that is, temporal linear logic. This system has some temporal operators "
ER -