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 | 5607 reads
|
Browse archives
Active forum topics
|
Recent comments
9 weeks 5 days ago
14 weeks 2 hours ago
15 weeks 4 days ago
15 weeks 4 days ago
18 weeks 2 days ago
22 weeks 6 days ago
22 weeks 6 days ago
23 weeks 2 days ago
23 weeks 2 days ago
26 weeks 1 day ago