842 search results - page 5 / 169 » Linear logic |
139
Voted
ENTCS
2011
14 years 10 months ago
2011
In the past years, linear logic has been successfully used as a general logical framework for encoding proof systems. Due to linear logic’s finer control on structural rules, i...
117
Voted
LICS
1995
IEEE
15 years 7 months ago
1995
IEEE
The decision problem is studied for fragments of second-order linear logic without modalities. It is shown that the structural rules of contraction and weakening may be simulated ...
122
Voted
ECAI
2010
Springer
15 years 4 months ago
2010
Springer
Whilst narrative representations have played a prominent role in AI research, there has been a renewed interest in the topic with the development of interactive narratives. A typic...
148
Voted
LICS
1991
IEEE
15 years 7 months ago
1991
IEEE
When logic programming is based on the proof theory of intuitionistic logic, it is natural to allow implications in goals and in the bodies of clauses. Attempting to prove a goal ...
133
Voted
WOLLIC
2007
Springer
15 years 10 months ago
2007
Springer
We survey several computational interpretations of classical linear logic based on two-player one-move games. The moves of the games are higherorder functionals in the language of ...