It would be interesting to see a comparison to Dodgson Logic Here is a reference: http://www.gutenberg.org/ebooks/4763
I thought that was just ordinary syllogistic logic, i.e. the first-order theory of the subset relation.
It would be interesting to see a comparison to Dodgson Logic Here is a reference: http://www.gutenberg.org/ebooks/4763
I thought that was just ordinary syllogistic logic, i.e. the first-order theory of the subset relation.