De Morgan's and strong De Morgan's laws in a topos of shaves Francis Borceux, Maria Cristina Pedicchio (1987) Acta Universitatis Carolinae. Mathematica et Physica
Deduction over graphs under constraints : a soundness and completeness theorem Seyed-Kazem Lellahi, Nicolas Spyratos (1993) Diagrammes