There are more ways to formalize the intention mentioned above; a "many-sorted logic" is any package of information which fulfills it.
A many-sorted logic is any package of information which fulfills it. There are more ways to formalize the intention mentioned above.
There are more ways to formalize the intention mentioned above. A many-sorted logic is any package of information which fulfills it.
There are more ways to formalize the intention mentioned above. A many-sorted logic is any package of information which fulfills it.