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 20070706 21:14  LtU Forum  previous forum topic  next forum topic  other blogs  4492 reads

Browse archivesActive forum topics 
Recent comments
2 days 11 hours ago
4 days 19 hours ago
4 days 21 hours ago
5 days 17 hours ago
6 days 13 min ago
6 days 3 hours ago
6 days 4 hours ago
6 days 6 hours ago
6 days 21 hours ago
1 week 1 hour ago