文章基本信息
- 标题：Complement-Topoi and Dual Intuitionistic Logic
- 本地全文：下载
- 作者：Luis Estrada-González
- 期刊名称：Australasian Journal of Logic
- 印刷版ISSN：1448-5052
- 电子版ISSN：1448-5052
- 出版年度：2010
- 卷号：9
- 期号：0
- 出版社：Philosophy Department, University of Melbourne
- 摘要：Mortensen studies dual intuitionistic logic by dualizing topos internal logic, but he did not study a sequent calculus. In this paper I present a sequent calculus for complement-topos logic, which throws some light on the problem of giving a dualization for LJ.
