Pubblicazioni

Autori:

Bellin, Gianluigi; V., De Paiva; E., Ritter

Titolo:

Extended Curry-Howard Correspondence for a Basic Constructive Modal Logic

Anno:

2001

Tipologia prodotto:

Contributo in atti di convegno

Tipologia ANVUR:

Contributo in Atti di convegno

Lingua:

Inglese

Titolo del Convegno:

Methods for Modalities 2

Luogo:

Amsterdam

Periodo:

29 - 30 Nov 2001

Parole chiave:

intuitionistic modal logic; Curry Howard isomorphism; Categorical logic

Breve descrizione dei contenuti:

The significance of the extended Curry Howard correspondence relating the simply typed lambda calculus to proofs of intuitionistic propositioinal logic and to appropriate classes of categories are widely known. In this note we pursue an analogous correspondence for a basic intuitionistic modal logic IK with both the necessity and the possibility operators.

Pagina Web:

http://profs.sci.univr.it/~bellin/papers.html

Id prodotto:

110

Handle IRIS:

11562/110

depositato il:

13 novembre 2012

ultima modifica:

3 novembre 2022

Citazione bibliografica:

Bellin, Gianluigi; V., De Paiva; E., Ritter, Extended Curry-Howard Correspondence for a Basic Constructive Modal Logic , Atti di "Methods for Modalities 2" , Amsterdam , 29 - 30 Nov 2001 , 2001

Consulta la scheda completa presente nel repository istituzionale della Ricerca di Ateneo