substructural logic

mathematics

Learn about this topic in these articles:

foundations of mathematics

  • Achilles paradox
    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