Order-enriched categorical models of the classical sequent calculus
- 期刊名称Journal of Pure and Applied Algebra
- 作者Carsten Führmann; David Pym
- 卷第204卷
- 期第1期
- 印刷ISSN0022-4049
- 文件大小591.94KB
- 发表时间2006
- DOI10.1016/j.jpaa.2005.03.016
- 页码21-78
同期刊推荐
Editorial BoardJournal of Pure and Applied Algebra · 1971
Coherence in closed categoriesG.M. Kelly; S. Maclane · Journal of Pure and Applied Algebra · 1971
Betweenness, orders and interval graphsPeter C. Fishburn · Journal of Pure and Applied Algebra · 1971
Categories of continuous functors, IP.J. Freyd; G.M. Kelly · Journal of Pure and Applied Algebra · 1972
Higher samelson productsF.D. Williams · Journal of Pure and Applied Algebra · 1972
The intersection property of amalgamationsClaus Michael Ringel · Journal of Pure and Applied Algebra · 1972
Localization and completionJoachim Lambek · Journal of Pure and Applied Algebra · 1972
CorrectionJournal of Pure and Applied Algebra · 1972