Concept
Many-sorted logic
Overview
hierarchical typed logic
Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).
Related ideas
- Integer
- Domain of discourse
- Homogeneity and heterogeneity
- Structure (mathematical logic)
- Abstract algebraic logic
Place in the tradition
Part of Non-classical logic.