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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have