• many-sorted logic
• many-sorted logics

many-sorted logic (suomeksi)

Määritelmät:

• (lb, en, logic) A logic that directly supports classification of entities into disjunct sorts.