3239 search results - page 30 / 648 » A Logical Process Calculus |
142
click to vote
TIME
2007
IEEE
15 years 9 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...
117
click to vote
TLCA
2001
Springer
15 years 7 months ago
2001
Springer
We extend the modal logic of ambients described in [7] to the full ambient calculus, including name restriction. We introduce logical operators that can be used to make assertions ...
151
click to vote
LPAR
2010
Springer
15 years 1 months ago
2010
Springer
We present an explicitly typed lambda calculus "`a la Church" based on the union and intersection types discipline; this system is the counterpart of the standard type a...
109
click to vote
CADE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Focused proof systems provide means for reducing and structuring the non-determinism involved in searching for sequent calculus proofs. We present a focused proof system ...
149
click to vote
ASIAN
2006
Springer
15 years 7 months ago
2006
Springer
Interesting properties of programs can be expressed using contextual equivalence. The latter is difficult to prove directly, hence (pre-)logical relations are often used as a tool ...