A Cointuitionistic Adjoint Logic

@article{Eades2017ACA,
  title={A Cointuitionistic Adjoint Logic},
  author={Harley Eades and Gianluigi Bellin},
  journal={CoRR},
  year={2017},
  volume={abs/1708.05896}
}
Bi-intuitionistic logic (BINT) is a conservative extension of intuitionistic logic to include the duals of each logical connective. One leading question with respect to BINT is, what does BINT look like across the three arcs – logic, typed λ-calculi, and category theory – of the Curry-HowardLambek correspondence? Categorically, BINT can be seen as a mixing of two worlds: the first being intuitionistic logic (IL), which is modeled by a cartesian closed category, and the second being the dual to… CONTINUE READING
Tweets
This paper has been referenced on Twitter 14 times. VIEW TWEETS

References

Publications referenced by this paper.
SHOWING 1-10 OF 25 REFERENCES

A mixed linear and non-linear logic: Proofs, terms and models (preliminary report)

  • Nick Benton
  • Technical Report UCAM-CL-TR-352,
  • 1994
Highly Influential
9 Excerpts

Similar Papers

Loading similar papers…