Return to Article Details Equality and Apartness in Bi-intuitinistic Logic Download Download PDF