Displaying similar documents to “A Formalisation of the 2-Valued Propositional Calculus with Self-dual Primitives.”