Linear logic

Home > Philosophy > Logic > Propositional Logic > Linear logic

Linear logic is a type of multiplicative logic that is designed to handle resources and their interactions. It is used in computer science and programming to analyze and model resource usage.