414 search results - page 21 / 83 » Resolution for Intuitionistic Logic |
200
click to vote
IGPL
2010
15 years 5 months ago
2010
Fusion is a well-known form of combining normal modal logics endowed with a Hilbert calculi and a Kripke semantics. Herein, fusion is studied over logic systems using sequent calc...
133
click to vote
AMAI
2006
Springer
15 years 6 months ago
2006
Springer
We expand the applicability of the clausal resolution technique to the branching-time temporal logic ECTL
170
click to vote
WOLLIC
2007
Springer
16 years 19 days 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 ...
158
click to vote
LICS
1995
IEEE
15 years 10 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 ...