Sciweavers

CSL
1997
Springer
14 years 3 months ago
Equational Axioms of Test Algebra
We present a complete axiomatization of test algebra ( 24, 18, 29]), the two-sorted algebraic variant of Propositional Dynamic Logic (PDL, 21, 7]). The axiomatization consists of ...
Marco Hollenberg
CSL
1997
Springer
14 years 3 months ago
From Action Calculi to Linear Logic
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...
Andrew Barber, Philippa Gardner, Masahito Hasegawa...
CSL
1997
Springer
14 years 3 months ago
Resolution and the Weak Pigeonhole Principle
Samuel R. Buss, Toniann Pitassi