The effect of choosing an involutive negation is indeed to induce a symetry at the level of application. As the application associated to → cannot be symmetric, the only possibility to get a safe calculus with an involutive negation is to keep separated the computational interpretations of ¬ and →.
We investigate the possibility of giving a computational interpretation of an involutive negation in classical natural deduction.
We investigate the possibility of giving a computational interpretation of an involutive negation in classical natural deduction.
It seems to indicate that an involutive negation generates an original way of computing, because symmetric λµ-calculus contains both ways, and should be a ...
We investigate the possibility of giving a computational interpretation of an involutive negation in classical natural deduction.
Aug 11, 2024 · Negation is a common linguistic phenomenon. Yet language models face challenges with nega- tion in many natural language understanding.
Oct 26, 2022 · We present an automated procedure to collect pairs of sentences with negation and their affirmative interpretations, resulting in over 150,000 ...
Duration: 6:15
Posted: Mar 18, 2022
Posted: Mar 18, 2022
The objective of this paper is to give an introduction and tutorial to the computational interpretations of the classical sequent calculus as a programming ...
Bibliographic details on On the Computational Interpretation of Negation.