Highly Influential

# 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} }

- Published in ArXiv 2017

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

#### References

##### Publications referenced by this paper.

SHOWING 1-10 OF 25 REFERENCES

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential