ArticleAuthor: Louis H. KauffmanPages: 189-223Keywords: distinctionindicationmarkedunmarkedcalculus of indicationsboundarycalculus of boundariesre-entryHeyting algebraAbstract in PDF: Back to Issue: Laws of Form