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.

Examples

    Sorry, no example sentences found.

Comments

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