Formalização da lógica linear em Coq
In proof theory, the cut-elimination theorem (or Hauptsatz, which means main result) is of paramount importance since it implies the consistency and the subformula property for the given system. This theorem states that any proof in the sequent calculus that makes use of the cut rule can be repla...
Na minha lista:
Autor principal: | Xavier, Bruno Francisco |
---|---|
Outros Autores: | Vega, Carlos Alberto Olarte |
Formato: | Dissertação |
Idioma: | por |
Publicado em: |
Brasil
|
Assuntos: | |
Endereço do item: | https://repositorio.ufrn.br/jspui/handle/123456789/22622 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registros relacionados
-
Um estudo de lógica linear com subexponenciais
por: Orto, Laura Fernandes Dell
Publicado em: (2017) -
Mechanizing focused linear logic in coq
por: Xavier, Bruno, et al.
Publicado em: (2020) -
Linear logic as a logical framework
por: Xavier, Bruno Francisco
Publicado em: (2023) -
Especificação e verificação de protocolos de votação em lógica linear com focusing
por: Silva, Washington Cavalcante da
Publicado em: (2018) -
An introduction to generalized linear models /
por: Dobson, Annette J., et al.
Publicado em: (2022)