many-sorted logic (English, noun)
expansion: many-sorted logic (plural many-sorted logics)
Senses:
topics: human-sciences
logic
mathematics
philosophy
sciences
glosses: A logic that directly supports classification of entities into disjunct sorts.
Forms:
form: many-sorted logics
tags: plural