Assertion: logic's application | /r/HasProperty | characterised in justification logic
Facets:
value: respectively
type: MANNER
value: by the following axioms
type: OTHER
Source sentences:
text: Application and join are characterised in justification logic by the following axioms respectively: