Results 261 to 268 of about 82,622 (268)
Some of the next articles are maybe not open access.
Linear logic as a logical framework
2017Logical frameworks have seen three decades of design, theory, implementation , and applications. An early example of such a framework was LF (Honsell, Harper, & Plotkin, LICS 1987): that dependently typed λ-calculus provided a framework for defining the syntax of terms and formulas as well as natural deduction proofs in various intuitionistic logics ...
openaire +1 more source
Combining linear-time temporal logic with constructiveness and paraconsistency
Journal of Applied Logic, 2010Norihiro Kamide, Heinrich Wansing
exaly
Least and Greatest Fixed Points in Linear Logic
ACM Transactions on Computational Logic, 2012David Baelde
exaly
Linear Time Logic Control of Discrete-Time Linear Systems
IEEE Transactions on Automatic Control, 2006Paulo Tabuada, George J Pappas
exaly
Asynchronous communication model based on linear logic
Formal Aspects of Computing, 1995Naoki Kobayashi +2 more
exaly
Dynamic logic architecture based on piecewise-linear systems
Physics Letters, Section A: General, Atomic and Solid State Physics, 2010Haipeng Peng, Lixiang Li, Yixian Yang
exaly
A constructive game semantics for the language of linear logic
Annals of Pure and Applied Logic, 1997Giorgi Japaridze
exaly
FROM PETRI NETS TO LINEAR LOGIC THROUGH CATEGORIES: A SURVEY
International Journal of Foundations of Computer Science, 1991exaly