News for hackers. Stuff that matters.
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.