Assertion: logic's semantic | /r/HasProperty | given for classical logic
Facets:
Source sentences:
text: Finally, it should be noted that a proof theoretic semantics can be given for classical logic as well as a variety of non-classical logics.