Untyping Typed Algebras and Colouring Cyclic Linear LogicReportar como inadecuado



 Untyping Typed Algebras and Colouring Cyclic Linear Logic


Untyping Typed Algebras and Colouring Cyclic Linear Logic - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

Descargar gratis o leer online en formato PDF el libro: Untyping Typed Algebras and Colouring Cyclic Linear Logic
We prove -untyping- theorems: in some typed theories semirings, Kleene algebras, residuated lattices, involutive residuated lattices, typed equations can be derived from the underlying untyped equations. As a consequence, the corresponding untyped decision procedures can be extended for free to the typed settings. Some of these theorems are obtained via a detour through fragments of cyclic linear logic, and give rise to a substantial optimisation of standard proof search algorithms.



Autor: Damien Pous

Fuente: https://archive.org/







Documentos relacionados