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 | 5748 reads
|
Browse archives
Active forum topics |
Recent comments
32 weeks 6 days ago
32 weeks 6 days ago
32 weeks 6 days ago
1 year 3 weeks ago
1 year 7 weeks ago
1 year 8 weeks ago
1 year 8 weeks ago
1 year 11 weeks ago
1 year 16 weeks ago
1 year 16 weeks ago