Results 261 to 270 of about 823,326 (291)
Some of the next articles are maybe not open access.
2005
In this paper we continue our study of Girard's Linear Logic and introduce a new Linear Logic with modalities. Our logic describes not only consumption, but presence of resources as well. It describes transformation of resources not only for the single point but for some net, where supplies can be sent from one object to another one using interfaces ...
Dimitry A. Archangelsky +1 more
openaire +1 more source
In this paper we continue our study of Girard's Linear Logic and introduce a new Linear Logic with modalities. Our logic describes not only consumption, but presence of resources as well. It describes transformation of resources not only for the single point but for some net, where supplies can be sent from one object to another one using interfaces ...
Dimitry A. Archangelsky +1 more
openaire +1 more source
Linear proofs and linear logic
2005In [3] a modification of the Connection Method [2] called Linear Proofs was introduced which constituted a new logical approach to plan generation. Inspired by this idea in [7] a similar approach based on Linear Logic was presented. The present paper analyses the relationship of these two approaches and shows to which extent they are equivalent and ...
openaire +1 more source
2015
Linear logic is deeply ingrained in the Western mind set. There is one ‘right’ answer, and we need to find it. Asian thought is less obsessed with the right answer and more interested in the nuances of questions and possible answers even if that means accepting contradictions.
openaire +1 more source
Linear logic is deeply ingrained in the Western mind set. There is one ‘right’ answer, and we need to find it. Asian thought is less obsessed with the right answer and more interested in the nuances of questions and possible answers even if that means accepting contradictions.
openaire +1 more source
Linear Logics with Communication-merge
Journal of Logic and Computation, 2005Summary: The cut-elimination property, the relevance principle, the interpolation property and a new property named communication principle are proved for a number of modal intuitionistic linear logics with communication-merge rules. A concurrent-computational interpretation for these logics is obtained based on a process algebra with communication ...
openaire +2 more sources
1976
The minimal or basic system of tense logic is K t , so named by E. J. Lemmon.1 Since all of the other tense logics we discuss are extensions of K t , we shall treat it in rather more detail than will henceforth be customary.
openaire +1 more source
The minimal or basic system of tense logic is K t , so named by E. J. Lemmon.1 Since all of the other tense logics we discuss are extensions of K t , we shall treat it in rather more detail than will henceforth be customary.
openaire +1 more source
Possibilistic Fuzzy Linear Temporal Logic and Its Model Checking
IEEE Transactions on Fuzzy Systems, 2021Yongming Li
exaly
On-chip optoelectronic logic gates operating in the telecom band
Nature Photonics, 2023Hui Ma, Zhen Wang, Qing
exaly
A Calculational Deductive System for Linear Temporal Logic
ACM Computing Surveys, 2020J Stanley Warford
exaly