I would like to know more about co-Heyting algebras, particularly from the perspective of their logics (like paraconsistent logics).
What books are available out there on the topic?
It might be that it's too specialised a topic. I get that.
I have looked at the references on the ncatlab page. Wikipedia doesn't have much on them.
I guess there's some functor I can exploit then just study Heyting algebras, but that approach doesn't take their logics into consideration all that much. It'd be great if that work was done for me somewhere.