Open Access Open Access  Restricted Access Subscription Access
Open Access Open Access Open Access  Restricted Access Restricted Access Subscription Access

On the Formal Structure of the Propositional Calculus II


Affiliations
1 University of Madras, India
     

   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
Notifications
Font Size


Abstract Views: 210

PDF Views: 0




  • On the Formal Structure of the Propositional Calculus II

Abstract Views: 210  |  PDF Views: 0

Authors

S. Pankajam
University of Madras, India

Abstract


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).