3994 search results - page 13 / 799 » A Linear Logical Framework |
106
click to vote
LICS
2003
IEEE
15 years 5 months ago
2003
IEEE
We show that the decomposition of Intuitionistic Logic into Linear Logic along the equation ´ may be adapted into a decomposition of classical logic into LLP, the polarized versi...
CADE
1997
Springer
15 years 4 months ago
1997
Springer
We present a matrix characterization of logical validity in the multiplicative fragment of linear logic. On this basis we develop a matrix-based proof search procedure for this fra...
114
click to vote
ENTCS
2000
15 years 5 days ago
2000
Abstract. Logic programming languages based on linear logic are of both theoretical and practical interest, particulaly because such languages can be seen as providing a logical ba...
161
Voted
CADE
1997
Springer
15 years 4 months ago
1997
Springer
ECAI
2004
Springer
15 years 5 months ago
2004
Springer
Linear constraints occur naturally in many reasoning problems and the information that they represent is often uncertain. There is a difficulty in applying many AI uncertainty for...