Complement-Topoi and Dual Intuitionistic Logic

  • Luis Estrada-González Facultad de Humanidades - Universidad Autónoma del Estado de Moralos

Abstract

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.

Author Biography

Luis Estrada-González, Facultad de Humanidades - Universidad Autónoma del Estado de Moralos
Published
2010-11-26
How to Cite
ESTRADA-GONZÁLEZ, Luis. Complement-Topoi and Dual Intuitionistic Logic. The Australasian Journal of Logic, [S.l.], v. 9, nov. 2010. ISSN 1448-5052. Available at: <https://ojs.victoria.ac.nz/ajl/article/view/1819>. Date accessed: 23 may 2019. doi: https://doi.org/10.26686/ajl.v9i0.1819.