Linear Logic of Parallel Game Operations
The MIT Press eBooks · 2014
This chapter contains sections titled: 20.1 From logic games to game logics, once more, 20.2 Parallel operations, 20.3 The games defined, 20.4 Logical validity of game expressions, 20.5 Linear logic and resources, 20.6 An axiom system, 20.7 Soundness and completeness, 20.8 From proof theory to program semantics, 20.9 Conclusion, 20.10 Literature, 20.11 Further directions