User loginNavigation |
Question regarding relationship of propositional logic to category theoryI am by no means deeply educated in regards to category theory, but I wanted to see if my thinking is on the right track. Can I construct a category consisting of propositions as its objects and inference rules as structure preserving morphisms between these objects? Does this category in some way offer an operational semantics for a top level predication that asserts this complex of propositions? By Nathan Sobo at 2007-07-06 21:14 | LtU Forum | previous forum topic | next forum topic | other blogs | 5684 reads
|
Browse archives
Active forum topics |
Recent comments
13 weeks 12 hours ago
13 weeks 16 hours ago
13 weeks 16 hours ago
35 weeks 1 day ago
39 weeks 3 days ago
41 weeks 1 day ago
41 weeks 1 day ago
43 weeks 5 days ago
48 weeks 3 days ago
48 weeks 3 days ago