[FRIAM] PM-2017-MethodologicalBehaviorismCausalChainsandCausalForks(1).pdf

[⛧ glen]

OK. But let's say you only have 2 shops in town. And you have A. One shop will convert A into B or C. And the other shop will convert C into D, but not C. Intransitivity of conversion means that if you choose C you cannot ever get D.

I think I can see how linear logic allows for that. But I can't see how that relies on the symmetric monoidal category.



On February 10, 2021 12:50:06 PM PST, Marcus Daniels <marcus at snoutfarm.com> wrote:
>For chemical reactions, linear logic seems more realistic.  

-- 
glen ⛧