Abstract
Intuitionism is deemed to be the most important non-classical logic calculus. There is not much exaggeration in saying that it has arisen accidentally, as an attempt to axiomatize a certain three-valued logic. In fact, it should be rather regarded as the result of a programme of putting constraints on the laws and rules of classical logic.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Bolc, L., Borowik, P. (1992). Intuitionistic Propositional Calculus. In: Many-Valued Logics. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-08494-6_5
Download citation
DOI: https://doi.org/10.1007/978-3-662-08494-6_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-08145-3
Online ISBN: 978-3-662-08494-6
eBook Packages: Springer Book Archive