Reference Entry

intuitionistic logic

Simon Blackburn

in The Oxford Dictionary of Philosophy

Second edition

Published in print January 2008 | ISBN: 9780199541430
Published online January 2008 | e-ISBN: 9780191727726
intuitionistic logic

Show Summary Details


The logical system developed initially by A. Heyting (b. 1898) to formalize the reasonings allowed by mathematical *

Reference Entry.  323 words. 

Subjects: Philosophy

Full text: subscription required

How to subscribe Recommend to my Librarian

Buy this work at Oxford University Press »

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.