Results 141 to 150 of about 83,510 (168)
Some of the next articles are maybe not open access.
1993
This tutorial paper provides an introduction to intuitionistic logic and linear logic, and shows how they correspond to type systems for functional languages via the notion of ‘Propositions as Types”. The presentation of linear logic is simplified by basing it on the Logic of Unity. An application to the array update problem is briefly discussed.
openaire +1 more source
This tutorial paper provides an introduction to intuitionistic logic and linear logic, and shows how they correspond to type systems for functional languages via the notion of ‘Propositions as Types”. The presentation of linear logic is simplified by basing it on the Logic of Unity. An application to the array update problem is briefly discussed.
openaire +1 more source
1987
the paper discusses the relevance of a new logic called linear logic (Girard 1986) to computer science, and in particular to parallel computations. These general remarks will be detailed in a paper in preparation with Gianfranco Mascari.
openaire +1 more source
the paper discusses the relevance of a new logic called linear logic (Girard 1986) to computer science, and in particular to parallel computations. These general remarks will be detailed in a paper in preparation with Gianfranco Mascari.
openaire +1 more source
Linear logic as logic programming: An abstract
1997Dans la lignee de ses travaux concernant la programmation logique, l'A. montre ici que la totalite de la logique lineaire peut etre consideree comme un langage de programmation logique qui permet une programmation de haut niveau et des primitives concurrents.
openaire +1 more source
Logic Programming with Focusing Proofs in Linear Logic
Journal of Logic and Computation, 1992Summary: The deep symmetry of linear logic makes it suitable for providing abstract models of computation, free from implementation details which are, by nature, oriented and nonsymmetrical. I propose here one such model, in the area of logic programming, where the basic computational principle is: \[ \text{Computation}=\text{Proof search}.
openaire +1 more source
Quantum logic and linear logic
International Journal of Theoretical Physics, 1994By tradition, the subject of quantum logic is the lattices of closed subspaces of Hilbert spaces or, more abstractly, orthomodular lattices. \textit{D. J. Foulis} showed in Can. J. Math. 17, 40-51 (1965; Zbl 0146.029) that an orthomodular lattice can be coordinatized by a Baer \(*\)- semigroup. On the other hand, \textit{C. J. Mulvey} [Rend. Circ. Math.
openaire +2 more sources
Linear Logic and Intuitionistic Logic
Revue internationale de philosophie, 2004Dans cet article je presente les fondements de la logique intuitioniste basee sur la logique lineair. Traditionnellement, la logique intuitioniste est concideree comme etant en disaccord avec les lois fondamentales de la logique classique sur la dualite, comme le tiers-exclu, les lois de Morgan, l'elimination de la double negation, etc.
openaire +1 more source
Linear Temporal Logic and Linear Dynamic Logic on Finite Traces.
2013In this paper we look into the assumption of interpreting LTL over finite traces. In particular we show that LTLf, i.e., LTL under this assumption, is less expressive than what might appear at first sight, and that at essentially no computational cost one can make a significant increase in expressiveness while maintaining the same intuitiveness of LTLf.
DE GIACOMO, Giuseppe, Moshe Y. Vardi
openaire +2 more sources
Possibilistic Fuzzy Linear Temporal Logic and Its Model Checking
IEEE Transactions on Fuzzy Systems, 2021Yongming Li
exaly
A Calculational Deductive System for Linear Temporal Logic
ACM Computing Surveys, 2020J Stanley Warford
exaly