Complement-Topoi and Dual Intuitionistic Logic

Luis Estrada-González
2010 The Australasian Journal of Logic  
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.
doi:10.26686/ajl.v9i0.1819 fatcat:x3xmpxk5dfeepnhrbsntoyatda