many-sorted logic love

many-sorted logic

Definitions

from Wiktionary, Creative Commons Attribution/Share-Alike License.

  • noun logic A logic that directly supports classification of entities into disjunct sorts.

Etymologies

Sorry, no etymologies found.

Support

Help support Wordnik (and make this page ad-free) by adopting the word many-sorted logic.

Examples

    Sorry, no example sentences found.

Comments

Log in or sign up to get involved in the conversation. It's quick and easy.