Um estudo de lógica linear com subexponenciais
In Classical Logic, we can use a given hypothesis an indefinite number of times. For example, the proof of a theorem may use the same lemma several times. However, in physical, chemical and computational systems, the situation is different: a resource cannot be reused after being consumed in one...
Na minha lista:
Autor principal: | Orto, Laura Fernandes Dell |
---|---|
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/22623 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registros relacionados
-
Formalização da lógica linear em Coq
por: Xavier, Bruno Francisco
Publicado em: (2017) -
Especificação e verificação de protocolos de votação em lógica linear com focusing
por: Silva, Washington Cavalcante da
Publicado em: (2018) -
Handbook of proof theory /
por: Buss, Samuel R.
Publicado em: (2022) -
Introduction to mathematical proofs : a transition /
por: Roberts, Charles E.,
Publicado em: (2022) -
Lógica /
por: Zegarelli, Mark., et al.
Publicado em: (2022)