LP-1996-06: Lepage, François and Lapierre, Serge (1996) The Functional Completeness of 4-value Monotonic Protothetics. [Report]
LP-1990-12: Lapierre, Serge (1990) A Functional Partial Semantics for Intensional Logic. [Report]