842 search results - page 45 / 169 » Linear logic |
179
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
Many approaches recently proposed for high-speed asynchronous pipelines are applicable only to linear datapaths. However, real systems typically have non-linearities in their data...
172
click to vote
CORR
1999
Springer
15 years 5 months ago
1999
Springer
This paper introduces a logical system, called BV , which extends multiplicative linear logic by a non-commutative self-dual logical operator. This extension is particularly challe...
139
click to vote
CAV
2003
Springer
15 years 11 months ago
2003
Springer
We consider the problem of reasoning with linear temporal logic on truncated paths. A truncated path is a path that is finite, but not necessarily maximal. Truncated paths arise n...
146
click to vote
JSYML
2007
15 years 6 months ago
2007
Substructural fuzzy logics are substructural logics that are complete with respect to algebras whose lattice reduct is the real unit interval [0, 1]. In this paper, we introduce Un...
176
click to vote
PPDP
2004
Springer
15 years 11 months ago
2004
Springer
Semi-naive evaluation is an effective technique employed in bottom-up evaluation of logic programs to avoid redundant joins of answers. The impact of this technique on top-down e...