Category:Substructural logic
![]() | Philosophy portal |
Here is a list of articles in the Substructural logic category of the Philosophy portal.
![]() |
Wikimedia Commons has media related to Substructural logic. |
Pages in category "Substructural logic"
The following 8 pages are in this category, out of 8 total.
- Substructural logic (philosophy)
A
- Affine logic (philosophy)
B
- Bunched logic (computing)
L
- Linear logic (computing)
N
- Noncommutative logic (philosophy)
R
- Relevance logic (philosophy)
S
- Separation logic (computing)
- Strict logic (philosophy)