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.

Abstract

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.

Item Type: Article
Research Areas: A. > School of Science and Technology > Computer Science > Foundations of Computing group
A. > School of Science and Technology > Computer Science > Artificial Intelligence group
Item ID: 9088
Useful Links:
Depositing User: Dr Florian Kammueller
Date Deposited: 31 May 2012 08:07
Last Modified: 18 Mar 2015 11:15
URI: http://eprints.mdx.ac.uk/id/eprint/9088

Actions (login required)

Edit Item Edit Item