Open Access
Subscription Access
Open Access
Subscription Access
On the Formal Structure of the Propositional Calculus II
Subscribe/Renew Journal
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).
Subscription
Login to verify subscription
User
Font Size
Information
Abstract Views: 218
PDF Views: 0