Substructural Negations

Authors

  • Takuro Onishi Japanese Society for the Promotion of Science Postdoctoral Fellow

DOI:

https://doi.org/10.26686/ajl.v12i4.2225

Abstract

We present substructural negations, a family of negations (or negative modalities) classified in terms of structural rules of an extended kind of sequent calculus, display calculus. In considering the whole picture, we emphasize the duality of negation. Two types of negative modality, impossibility and unnecessity, are discussed and "self-dual" negations like Classical, De Morgan, or Ockham negation are redefined as the fusions of two negative modalities. We also consider how to identify, using intuitionistic and dual intuitionistic negations, two accessibility relations associated with impossibility and unnecessity.

Downloads

Download data is not yet available.

Downloads

Published

2015-06-03