Linear logic
Lógica lineal
- Date
- 1987 · confidence low
- Place
- Paris, France
- Credited to
- Jean-Yves Girard
- Field
- Knowledge & symbols
What was discovered
A substructural logic proposed by French logician Jean-Yves Girard as a refinement of classical and intuitionistic logic, joining the dualities of the former with the constructive properties of the latter.
What it led to
- Theoretical basis for the semantics of concurrent programming and linear types
- Influence on programming languages with explicit resource management
- Development of proof theory and proof nets