16 search results - page 4 / 4 » Canonization for Disjoint Unions of Theories |
122
Voted
MSCS
2007
14 years 12 months ago
2007
It is well-known that weakening and contraction cause na¨ıve categorical models of the classical sequent calculus to collapse to Boolean lattices. In previous work, summarized b...