Home
Random
Log in
Settings
Donations
About Wiktionary
Disclaimers
Search
many-sorted logic
Language
Watch
Edit
English
edit
English
Wikipedia
has an article on:
many-sorted logic
Wikipedia
Noun
edit
many
-
sorted
logic
(
plural
many-sorted logics
)
(
logic
)
A
logic
that directly supports
classification
of entities into
disjunct
sorts.
Categories
:
English lemmas
English nouns
English countable nouns
English multiword terms
en:Logic
Hidden category:
Pages with 1 entry