This is an outdated version published on 2010-11-26. Read the most recent version.

Complement-Topoi and Dual Intuitionistic Logic

Authors

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

DOI:

https://doi.org/10.26686/ajl.v9i0.1819

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.

Downloads

Download data is not yet available.

Author Biography

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

Downloads

Published

2010-11-26

Versions

Issue

Vol. 9 (2010): Australasian Journal of Logic

Section

Articles