Deep inference
Deep inference is like a game of building blocks. You start with some basic blocks, but you can put them together in different ways to build bigger and more complex structures.
In deep inference, we start with some basic rules, like a set of building blocks. We use those rules to create more complex rules or structures, just like we can use the building blocks to make a bigger and more complex tower.
However, in deep inference, we can go really deep into building these complex structures. We can create more and more complex rules or structures by using what we have already built. This is like turning our tower into a castle, or even a whole city with many buildings!
So, deep inference is a way to create really complex structures, like a big castle or city, using basic rules or building blocks.
In deep inference, we start with some basic rules, like a set of building blocks. We use those rules to create more complex rules or structures, just like we can use the building blocks to make a bigger and more complex tower.
However, in deep inference, we can go really deep into building these complex structures. We can create more and more complex rules or structures by using what we have already built. This is like turning our tower into a castle, or even a whole city with many buildings!
So, deep inference is a way to create really complex structures, like a big castle or city, using basic rules or building blocks.