Concept
Noncommutative logic
Overview
logic where the order of operations affects outcomes
Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).
Related ideas
- Journal of Symbolic Logic
- Logical connective
- Partially ordered set
- Sequent calculus
- Syntax
- Total order
- Computational linguistics
- Linear logic
- Categorial grammar
- Jean-Yves Girard
- Structural rule
- Cut-elimination theorem
- Substructural logic
- J. Roger Hindley
- Admissible rule
Place in the tradition
Part of Outline of philosophy.
Narrower topics: