Indexed General Logics

Uwe WolterAlfio MartiniEdward Hermann Haeusler

Models based on category theory have been proved to be very useful and enlightening in several areas of computer science, including models for software engineering via architecture, and formal notions of logic. In this paper we present a fully categorical notion of a logical system, called Indexed Frame. Instances of this concept arise, for instance, from institutions, entailment systems and ?-institutions. Thus the concept of general logics, that combines institutions with entailment systems, can be reflected by a combination of indexed frames.

Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato:
     Mantida por: