Reviews for the American Mathematical Society (AMS): Russell O’Connor. Classical mathematics for a constructive world. MSCS (21): 861–882, Cambridge University Press. 2010.
Article
Kammueller, F. 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.
Type | Article |
---|---|
Title | Reviews for the American Mathematical Society (AMS): Russell O’Connor. Classical mathematics for a constructive world. MSCS (21): 861–882, Cambridge University Press. 2010. |
Authors | Kammueller, F. |
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. |
Research Group | Foundations of Computing group |
Artificial Intelligence group | |
Publisher | American Mathematical Society |
Journal | Mathematical Reviews |
Publication process dates | |
Deposited | 31 May 2012 |
Output status | Published |
Web address (URL) | http://www.ams.org/mathscinet-getitem?mr=2817882 |
Language | English |
Permalink -
https://repository.mdx.ac.uk/item/83q46
60
total views0
total downloads0
views this month0
downloads this month