It is not the case that Strong completeness requires that every semantically valid inference be derivable, but many-sorted logics with sort-restricted quantifiers can generate models where cross-sort inferences resist standard Henkin construction.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.