A calculus for order-sorted predicate logic with sort literals

• Authors:

• U. Hedtstück;P. H. Schmitt

• Affiliations:

• -;-

• Venue:
• Proceedings of the workshop on Sorts and types in artificial intelligence
• Year:
• 1990