12774 search results - page 117 / 2555 » A Framework for Proof Systems |
154
click to vote
TIME
2007
IEEE
15 years 10 months ago
2007
IEEE
We present a proof searching technique for the natural deduction calculus for the propositional linear-time temporal logic and prove its correctness. This opens the prospect to ap...
111
click to vote
ASIAN
2004
Springer
15 years 9 months ago
2004
Springer
We propose a simple theory of expressions which is intended to be used as a foundational syntactic structure for the Natural Framework (NF). We define expression formally and give...
143
click to vote
ICFP
2010
ACM
15 years 5 months ago
2010
ACM
We present a technique for higher-order representation of substructural logics such as linear or modal logic. We show that such logics can be encoded in the (ordinary) Logical Fra...
157
click to vote
CCS
2009
ACM
15 years 11 months ago
2009
ACM
The abuse of online games by automated programs, known as game bots, for gaining unfair advantages has plagued millions of participating players with escalating severity in recent...
242
click to vote
MSWIM
2006
ACM
15 years 10 months ago
2006
ACM
Mobile devices should allow users to exploit services anytime, without any place restriction and in a transparent way. The Bluetooth technology achieves this feature, by providing...