Linear logic itself doesn't express goals or constraints, just what can be accomplished with a given set of resources. In the example you gave: if $5 then

Linear logic itself doesn't express goals or constraints, just what can be accomplished with a given set of resources. In the example you gave: if $5 then pizza if $2 then beer $6! therefore, (pizza and $1) OR (beer and $4) OR (beer and beer and $2) OR (beer and beer and beer) OR $6