The Logic Zoo
November 27, 2024
What is The Logic Zoo? It is a place where different logical and formal systems are free to roam. A place where you can have a look at what these different modes of reasoning have to offer.
The land of logic and reasoning is vast and wide. On my adventures, I have encountered many creatures strange and peculiar. These beasts follow differents rules and laws. They are nothing like the tame beasts at my home. I’ve encountered (im)possible worlds, gaps and gluts, and unbounded universes.
This project is heavily inspired by Complexity Zoo. While the main goal is for my own amusement, I hope The Logic Zoo will be a good reference. While I try to be as general as possible, my main focus on these logics is computation and expression of ideas.