- Applied mathematics
- >
- Theoretical computer science
- >
- Logic in computer science
- >
- Linear logic

- Fields of mathematics
- >
- Mathematical logic
- >
- Logic in computer science
- >
- Linear logic

- Formal systems
- >
- Systems of formal logic
- >
- Substructural logic
- >
- Linear logic

- Mathematical logic
- >
- Non-classical logic
- >
- Substructural logic
- >
- Linear logic

- Mathematical logic
- >
- Proof theory
- >
- Substructural logic
- >
- Linear logic

- Mathematical proofs
- >
- Proof theory
- >
- Substructural logic
- >
- Linear logic

- Metalogic
- >
- Proof theory
- >
- Substructural logic
- >
- Linear logic

- Philosophy of mathematics
- >
- Mathematical logic
- >
- Logic in computer science
- >
- Linear logic

- Theoretical computer science
- >
- Mathematics of computing
- >
- Logic in computer science
- >
- Linear logic

Linear logic

Linear logic is a substructural logic proposed by Jean-Yves Girard as a refinement of classical and intuitionistic logic, joining the dualities of the former with many of the constructive properties o

Geometry of interaction

The Geometry of Interaction (GoI) was introduced by Jean-Yves Girard shortly after his work on linear logic. In linear logic, proofs can be seen as various kinds of networks as opposed to the flat tre

© 2023 Useful Links.