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  4636 reads

Browse archivesActive forum topics 
Recent comments
11 hours 19 min ago
11 hours 37 min ago
11 hours 40 min ago
2 days 8 hours ago
2 days 17 hours ago
3 days 34 min ago
3 days 1 hour ago
3 days 8 hours ago
3 days 9 hours ago
3 days 11 hours ago