[iamcurious]

I liked the bit about the hobbit, even if it was a bit out of the blue.

those interested in the link between math and literature might be interested in the link between narratives and linear logic.

[joloooo]

Can you recommend any resources to learn more about this link?

[iamcurious]

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.