Philosophical Foundations of Intuitionistic Logic

Intuitionistic logic, as a non-classical logic, encompasses the principles of logical reasoning which were used by L. E. J. Brouwer in developing his intuitionistic mathematics. Brouwer rejected the principle of the excluded middle on the basis of his philosophy. In his philosophical view, logic is...

Deskribapen osoa

Xehetasun bibliografikoak
Egile Nagusiak: L Nabavi, MA Hojati, H Alaeenezhad
Formatua: Artikulua
Hizkuntza:fas
Argitaratua: University of Isfahan 2013-02-01
Saila:Metaphysics
Gaiak:
Sarrera elektronikoa:http://mph.ui.ac.ir/article_19184_a350f1d700b579c491d6104594fbaa5d.pdf