ECT - Trabalhos apresentados em eventos
URI Permanente para esta coleçãohttps://repositorio.ufrn.br/handle/1/2971
Navegar
Submissões Recentes
Artigo A uniform framework for substructural logics with modalities(Easy Chair, 2017-05-04) Vega, Carlos Alberto Olarte; Lellmann, Björn; Pimentel, Elaine GouveaIt is well known that context dependent logical rules can be problematic both to implement and reason about. This is one of the factors driving the quest for better behaved, i.e., local, logical systems. In this work we investigate such a local system for linear logic (LL) based on linear nested sequents (LNS). Relying on that system, we propose a general framework for modularly describing systems combining, coherently, substructural behaviors inherited from LL with simply dependent multimodalities. This class of systems includes linear, elementary, a ne, bounded and subexponential linear logics and extensions of multiplicative additive linear logic (MALL) with normal modalities, as well as general combinations of them. The resulting LNS systems can be adequately encoded into (plain) linear logic, supporting the idea that LL is, in fact, a “universal framework” for the specification of logical systems. From the theoretical point of view, we give a uniform presentation of LL featuring di erent axioms for its modal operators. From the practical point of view, our results lead to a generic way of constructing theorem provers for di erent logics, all of them based on the same grounds. This opens the possibility of using the same logical framework for reasoning about all such logical systemsArtigo Inovações institucionais na pesquisa agrícola na América Latina e no Caribe(Simpósio de Gestão da Inovação Tecnológica, 2006) Pedro, Edilson da Silva; Salles-Filho, Sergio; Mendes, Paule JeaneArtigo Capacitação tecnológica em usina do setor sucroalcooleiro(Encontro Nacional de Engenharia de Produção, 2003) Pedro, Edilson da Silva; Assumpção, Maria Rita Pontes AlvesArtigo Capacitação e gestão tecnológica agroindustrial: um estudo de caso no setor sucroalcooleiro(Simpósio de Engenharia de Produção, 2003) Pedro, Edilson da Silva; Alves, Maria Rita Pontes Assumpção