LP-1996-06: François Lepage, Serge Lapierre The Functional Completeness of 4-value Monotonic Protothetics 1.Full Text. < Back