many-sorted predicate calculus

views updated

many-sorted predicate calculus (many-sorted first-order logic) See predicate calculus.