R. Diaconescu. Grothendieck institutions. App. Cat. Str., 10(4):383--402, 2002. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
Completeness Results for Fibred Parchments Beyond the.. - Caleiro, Gouveia, Ramos (2003) (Correct)
....preservation as the ones we have presented. Despite all the results obtained so far, the challenge of combining logics is still far from over. Regarding fibring, specifically, one interesting line of research to pursue is a comprehensive comparison to Diaconescu s Grothendieck institutions [8]. Another important subject that needs further investigation is the collapsing problem. In this paper we have avoided the problem by making a careful use of fullness. However, in general, fibring logics of very distinct nature can give rise to trivialities. In [23] modulated fibring was presented ....
R. Diaconescu. Grothendieck institutions. App. Cat. Str., 10(4):383--402, 2002.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC