---
tag: 1YVH58NKSN
kind: concept
name: Linear logics
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section L
    note: adopted
    mention: wikipedia://en/76765067#KB25
    sections: [Summary]
inventory: [16CF49AH7D]
---

## Summary

A subfield of logic that emphasizes the concept of resources, where logical operations consume their arguments, differing from classical logic's treatment of assumptions as reusable.