Assertion: logic | /r/HasProperty | proof
Facets:
Source sentences:
text: To formalize mathematical speech the justification logic \({\textsf{LP}}\) is a natural choice since \(t{:}X\) was designed to have characteristics of “\(t\) is a proof of \(X\).