Publications

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

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 LogicProceedings of "Methods for Modalities 2" , Amsterdam , 29 - 30 Nov 2001 , 2001

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

Related projects
Title Department Managers
Logica in Informatica: dimostrazioni, tipi e computazioni Department Informatica Andrea Masini
<<back

Activities

Research facilities