On the surface: The world would be premises and stories would be proofs.
Linear Logic for Non-Linear Storytelling by Anne-Gwenn Bosser and Marc Cavazza and Ronan Champagnat has an example.
Then generating proofs means generating valid stories. Linear logic is tough though, it is a logic that admits contradiction so straightaway most logicians are clueless in how to handle it.
Linear Logic for Non-Linear Storytelling by Anne-Gwenn Bosser and Marc Cavazza and Ronan Champagnat has an example.
Then generating proofs means generating valid stories. Linear logic is tough though, it is a logic that admits contradiction so straightaway most logicians are clueless in how to handle it.