Within the Julia ecosystem, you might be interested in Catlab (https://github.com/epatters/Catlab.jl), as we are actively working to build something very much along these lines. We already have in place a system for…
What do you mean? Categorical logic is hardly restricted to syllogistic reasoning.
Within the Julia ecosystem, you might be interested in Catlab (https://github.com/epatters/Catlab.jl), as we are actively working to build something very much along these lines. We already have in place a system for…
What do you mean? Categorical logic is hardly restricted to syllogistic reasoning.