Lógica lineal
Linear logic
- Fecha
- 1987 · fiabilidad baja
- Lugar
- París, Francia
- Autoría
- Jean-Yves Girard
- Ámbito
- Saber y símbolos
Qué se descubrió
Lógica subestructural propuesta por el lógico francés Jean-Yves Girard como refinamiento de la lógica clásica e intuicionista, que combina las dualidades de la primera con las propiedades constructivas de la segunda.
A qué dio paso
- Base teórica para la semántica de la programación concurrente y los tipos lineales
- Influencia en lenguajes de programación con gestión explícita de recursos
- Desarrollo de la teoría de pruebas y las redes de demostración (proof nets)