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 
ORCID: https://orcid.org/0000-0001-5839-5488
(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)
.
[Article]
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: | 13 Oct 2016 14:24 |
| URI: | https://eprints.mdx.ac.uk/id/eprint/9088 |
Actions (login required)
 |
View Item |
Statistics
Additional statistics are available via IRStats2.
CORE (COnnecting REpositories)
CORE (COnnecting REpositories)