not vs. non

Has anyone worked out details of relationships between co-Heyting =93non=94= (via left adjoint to join) and Heyting =93not=94 (via right adjoint to meet), as these appear in Bill Lawvere's Como 1990 paper =93Intrinsic Co-Heyting Boundaries and the Leibniz Rule in Certain Toposes=94 (SLNM 1488), perhaps = in a bi-Heyting framework and/or in the presence of quantifiers? Any references would be appreciated. Thank you kindly. Al Vilcius Campbellville, ON 22-Nov-2004 16:52:19 -0400,4053;000000000000-00000000