On the Computational Interpretation of Negation

13 years 4 months ago

Download www.ling.ohio-state.edu

Abstract. We investigate the possibility of giving a computational interpretation of an involutive negation in classical natural deduction. We first show why this cannot be simply achieved by adding

Michel Parigot

Real-time Traffic

Automated Reasoning | Classical Natural Deduction | Computational Interpretation | CSL 2000 | Involutive Negation |

claim paper

» Asymmetric Interpretations of Positive and Negative Human Feedback for a Social Learning A...

» Terrain Analysis for Blind Wheelchair Users Computer Vision Algorithms for Finding Curbs a...

» The Peirce Translation and the Double Negation Shift

» Existential witness extraction in classical realizability and via a negative translation

» Understanding and Using Spectors Bar Recursive Interpretation of Classical Analysis

» The Impact of Interpretation Problems on Tutorial Dialogue

» The bounded functional interpretation of the double negation shift

» Polynomial Interpretations with Negative Coefficients

Post Info
More Details (n/a)

Added	17 Dec 2010
Updated	17 Dec 2010
Type	Journal
Year	2000
Where	CSL
Authors	Michel Parigot

Comments (0)

Sciweavers

On the Computational Interpretation of Negation

Automated Reasoning | Classical Natural Deduction | Computational Interpretation | CSL 2000 | Involutive Negation |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers