Re:A Survey of the First 20 Years of Research on Semantic We...
by contravariant on Thursday January 03, 2019 @06:34PM
(#18820470)
I suppose that means that at least the category theorists might get some use out of it.
[ Parent
| on HN ]
Re:A Survey of the First 20 Years of Research on Semantic We...
by epatters on Thursday January 03, 2019 @07:01PM
(#18820674)
What do you mean? Categorical logic is hardly restricted to syllogistic reasoning.
Re:A Survey of the First 20 Years of Research on Semantic We...
by myWindoonn on Thursday January 03, 2019 @07:47PM
(#18820972)
Category theory is the study of the one single syllogism, the mighty arrow.