A uniform framework for substructural logics with modalities

Autores		Vega, Carlos Alberto Olarte; Lellmann, Björn; Pimentel, Elaine Gouvea
Editor		Easy Chair
Data		2017-05-04
Palavras-chave		Logical frameworks Multimodalities Linear nested sequents Linear logic
Citação		VEGA, Carlos Alberto Olarte; LELLMANN, Björn; PIMENTEL, Elaine Gouvea. A uniform framework for substructural logics with modalities. In: INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING, 21., 2017. Anais [...] . S. L.: Epic Series In Computing, 2017. v. 46, p. 435-455. Disponível em: https://easychair.org/publications/paper/d5zT. Acesso em: 07 dez. 2021. DOI: https://doi.org/10.29007/93qg
Resumo
Abstract
URI		https://repositorio.ufrn.br/handle/123456789/45218