Results 241 to 250 of about 82,622 (268)

Quantum logic and linear logic

International Journal of Theoretical Physics, 1994
By 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 parallelism

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

A syntax for linear logic

1994
There is a standard syntax for Girard's linear logic, due to Abramsky, and a standard semantics, due to Seely. Alas, the former is incoherent with the latter: different derivations of the same syntax may be assigned different semantics. This paper reviews the standard syntax and semantics, and discusses the problem that arises and a standard approach ...
openaire   +1 more source

Linear logic as logic programming: An abstract

1997
Dans 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

Linear Logic and Intuitionistic Logic

Revue internationale de philosophie, 2004
Dans 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.

2013
In 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, 2021
Yongming Li
exaly  

Linear logic

ACM SIGACT News, 1992
openaire   +1 more source

A Brief Guide to Linear Logic

1993
Linear logic, a refinement of classical logic which has a natural and intrinsic accounting of resources, has recently stirred the interest of theoretical computer scientists and mathematicians working in logic and computation. In the paper, the author first gives an overview of the logic's theoretic background and some of its applications in computer ...
openaire   +2 more sources

A Calculational Deductive System for Linear Temporal Logic

ACM Computing Surveys, 2020
J Stanley Warford
exaly