The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf
.
The Structure of First-Order Causality (extended version)
[article]
2011
arXiv
pre-print
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing dependencies induced by quantifications in first-order propositional logic. One of the main difficulties that has to be faced during the elaboration of this kind of semantics is to characterize definable strategies, that is strategies which actually behave like a proof. This is usually done by restricting the model to
arXiv:1101.4813v1
fatcat:qgb6vjs7gbdurfh3aq6iwinh3u