Reviews for the American Mathematical Society (AMS): Russell O’Connor. Classical mathematics for a constructive world. MSCS (21): 861–882, Cambridge University Press. 2010.
Kammueller, Florian (2012) Reviews for the American Mathematical Society (AMS): Russell O’Connor. Classical mathematics for a constructive world. MSCS (21): 861–882, Cambridge University Press. 2010. Mathematical Reviews (281788).
Full text is not in this repository.
Official URL: http://www.ams.org/mathscinet-getitem?mr=2817882
Russell O'Connor presents an alternative method of bridging the gap between constructive and classical logics to facilitate integrated reasoning in particular for interactive theorem provers. Instead of adding classical axioms (like the principle of the excluded middle x∨¬x) to a constructive logic, the author proposes the opposite. He interprets constructive logics as an extension to classical logics by adding two new logical connectives + and Σ for constructive disjunction and constructive existential quantification.
|Research Areas:||Science & Technology > Science & Technology|
|Deposited On:||31 May 2012 08:07|
|Last Modified:||06 Feb 2013 11:34|
Repository Staff Only: item control page
Downloads per month over past year