A. Blass, 1992. Personal communication. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Games and Full Completeness for Multiplicative Linear Logic - Samson Abramsky And (1994) (132 citations) (Correct)
....to the forbidden sequence A B . Blass treats this anomalous situation as a special case; Player makes his opening move simultaneously in both components. This special case is at the heart of the pathologies in his semantics. 6.3. 1 Composition Composition is not associative in Blass semantics [Bla92a]; so he does not get a category of games at all. The following counter example is due to the authors. Define games A; B; C; D as follows: A = fa 1 ; a 2 g; f(a 1 ; P ) a 2 ; O)g; f(a 1 Delta a 2 ) Delta (ffl a 1 )g; B = fb 1 ; b 2 g; f(b 1 ; O) b 2 ; P )g; f(b 1 Delta b 2 ) ....
A. Blass, 1992. Personal communication.
Sequentiality vs. Concurrency in Games and Logic - Abramsky (2001) (Correct)
....kind. Moreover, this problem arises precisely from the polarization structure we have imposed on the Linear connectives, and hence from the interleaving view of concurrency on which, implicitly, it is based. The problem concerns associativity of composition. It was known to Andreas Blass [Bla], although not mentioned in his papers on Game Semantics. It was noticed independently and discussed in [AJ92b] To analyze associativity, we should consider strategies : A B : B C : C D which we can view as : A OB : B OC : C OD: Each of the games A, B, C, D can ....
A. Blass. Personal communication.
Sequentiality vs. Concurrency in Games and Logic - Abramsky (2001) (Correct)
....kind. Moreover, this problem arises precisely from the polarization structure we have imposed on the Linear connectives, and hence from the interleaving view of concurrency on which, implicitly, it is based. The problem concerns associativity of composition. It was known to Andreas Blass [Bla], although not mentioned in his papers on Game Semantics. It was noticed independently and discussed in [AJ92b] To analyze associativity, we should consider strategies : A B : B C : C D which we can view as : A OB : B OC : C OD: Each of the games A, B, C, D can ....
A. Blass. Personal communication.
Games and Full Completeness for Multiplicative Linear Logic - Abramsky, Jagadeesan (1992) (132 citations) (Correct)
....to the forbidden sequence A B . Blass treats this anomalous situation as a special case; Player makes his opening move simultaneously in both components. This special case is at the heart of the pathologies in his semantics. 6.3. 1 Composition Composition is not associative in Blass semantics [Bla92a]; so he does not get a category of games at all. The following counter example is due to the authors. Define games A; B; C; D as follows: A = fa 1 ; a 2 g; f(a 1 ; P ) a 2 ; O)g; f(a 1 Delta a 2 ) Delta (ffl a 1 )g; B = fb 1 ; b 2 g; f(b 1 ; O) b 2 ; P )g; f(b 1 Delta b 2 ) ....
A. Blass, 1992. Personal communication.
Games and Full Completeness for Multiplicative Linear Logic - Abramsky, Jagadeesan (1994) (132 citations) (Correct)
....to the forbidden sequence A B . Blass treats this anomalous situation as a special case; Player makes his opening move simultaneously in both components. This special case is at the heart of the pathologies in his semantics. 6.3. 1 Composition Composition is not associative in Blass semantics [Bla92a]; so he does not get a category of games at all. For a counter example, define games A; B; C; D as follows: A = fag; f(a; O)g; fffl; ag; B = fb 1 ; b 2 g; f(b 1 ; P ) b 2 ; O)g; fffl; b 1 ; b 1 Delta b 2 g; C = fcg; f(c; O)g; fffl; cg; D = fdg; f(d; P )g; fffl; dg; Here a ....
A. Blass, 1992. Personal communication.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC