Light dialectica revisited

&
Annals of Pure and Applied Logic 161 (11):1379-1389 (2010)
  Copy   BIBTEX

Abstract

We upgrade the light Dialectica interpretation [6] by adding two more light universal quantifiers, which are both semi-computational and semi-uniform and complement each other. An illustrative example is presented for the new light quantifiers and a new application is given for the older uniform quantifier. The realizability of new light negative formulations for the Axiom of Choice and for the Independence of Premises is explored in the new setting

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2010.04.008

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,682

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Light monotone Dialectica methods for proof mining.Mircea-Dan Hernest - 2009 - Mathematical Logic Quarterly 55 (5):551-561.
Is and Ought Revisited.Kuno Lorenz - 1987 - Dialectica 41 (1‐2):129-144.
Neutral relations revisited.Fraser MacBride - 2007 - Dialectica 61 (1):25–56.
Collective guilt feeling revisited.Anita Konzelmann Ziv - 2007 - Dialectica 61 (3):467–493.
Cambridge changes revisited: Why certain relational changes are indispensable.David Weberman - 1999 - Dialectica 53 (2):139–149.
Collective Guilt Feeling Revisited.Anita Konzelmann Ziv - 2007 - Dialectica 61 (3):467-493.
Light from Darkness, From Ignorance Knowledge.Michael Wreen - 1989 - Dialectica 43 (4):299-314.
A few linguistic concepts revisited in the light of Peirce’s semiotics.Joëlle Réthoré - 1993 - Semiotica 97 (3-4):387-400.
Meaning, Truth‐Conditions, Proposition: Frege's Doctrine of Sense Retrieved, Resumed and Redeployed in the Light of Certain Recent Criticisms.David Wiggins - 1992 - Dialectica 46 (1):61-90.
An analysis of gödel's dialectica interpretation via linear logic.Paulo Oliva - 2008 - Dialectica 62 (2):269–290.
Dialectica entre dans sa dixième année d'existence.F. Gonseth - 1956 - Dialectica 10 (1):5-8.
Matemáticas y Dialéctica en República VI-VII.José Luis Ventura Medina - 2009 - Apuntes Filosóficos 19 (34).
Hommage au professeur Ferdinand Gonseth. Fondateur et directeur de 〈Dialectica〉.Paul Emile Pilet - 1966 - Dialectica 20 (1):3-4.
Hommage à J.‐M. Jauch Membre du Comité directeur de Dialectica en 1973 et 1974.F. Gonseth - 1975 - Dialectica 29 (1):85-85.

Analytics

Added to PP
2013-12-18

Downloads
36 (#453,634)

6 months
6 (#572,748)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Linear Logic.Jean-Yves Girard - 1987 - Theoretical Computer Science 50:1–102.
Godel's functional interpretation.Jeremy Avigad & Solomon Feferman - 1998 - In Samuel R. Buss (ed.), Handbook of proof theory. New York: Elsevier. pp. 337-405.
Unifying Functional Interpretations.Paulo Oliva - 2006 - Notre Dame Journal of Formal Logic 47 (2):263-290.

View all 10 references / Add more references