Pubblicazioni

Extended Curry-Howard Correspondence for a Basic Constructive Modal Logic  (2001)

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:
27 settembre 2022
Citazione bibliografica:
Bellin, Gianluigi; V., De Paiva; E., Ritter, Extended Curry-Howard Correspondence for a Basic Constructive Modal LogicAtti di "Methods for Modalities 2" , Amsterdam , 29 - 30 Nov 2001 , 2001

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

Progetti Collegati
Titolo Dipartimento Responsabili
Logica in Informatica: dimostrazioni, tipi e computazioni Dipartimento Informatica Andrea Masini
<<indietro

Attività

Strutture