1938 search results - page 2 / 388 » On Positive Relational Calculi |
COLING
1994
13 years 6 months ago
1994
We discuss some consequence relations in DRT useful to discourse semantics. We incorporate some consequence relations into DRT using sequent calculi. We also show some connections...
CSL
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. Security properties are profitably expressed using notions of contextual equivalence, and logical relations are a powerful proof technique to establish contextual equiva...
CSL
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. Since Parigot's seminal article on an algorithmic interpretation of classical natural deduction [13],
CORR
2010
Springer
13 years 3 months ago
2010
Springer
CSL
1997
Springer
13 years 9 months ago
1997
Springer
Abstract. Milner introduced action calculi as a framework for investigating models of interactive behaviour. We present a type-theoretic account of action calculi using the proposi...