Publications

Authors:

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

Title:

Extended Curry-Howard Correspondence for a Basic Constructive Modal Logic

Year:

2001

Type of item:

Contributo in atti di convegno

Tipologia ANVUR:

Contributo in Atti di convegno

Language:

Inglese

Congresso:

Methods for Modalities 2

Place:

Amsterdam

Period:

29 - 30 Nov 2001

Keyword:

intuitionistic modal logic; Curry Howard isomorphism; Categorical logic

Short description of contents:

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.

Web page:

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

Product ID:

110

Handle IRIS:

11562/110

Deposited On:

November 13, 2012

Last Modified:

November 3, 2022

Bibliographic citation:

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

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