Directory
References
Discover
substructural logic
mathematics
Learn about this topic in these articles:
foundations of mathematics
- In foundations of mathematics: Other logics
…important have been various so-called substructural logics in which the usual properties of the deduction symbol are weakened: relevance logic is studied by philosophers, linear logic by computer scientists, and a noncommutative version of the latter by linguists.
Read More