On the Formal Structure of the Propositional Calculus II

In the previous paper with the same title, it was shown that with the accepted meanings of 'and', 'or', the totality of propositions form a distributive lattice P, in which the 'sum' and 'product' correspond to 'and', 'or'; we specifically examined the nature of negation with respect to these operations and showed that if we took the minimal meaning of negation, then the negation of any proposition turns out to be its product-complement in P. Lastly, it was shown that this meaning of negation is conformable to its meaning in Intuitionistic Logic (as for instance that formulated by Heyting).