Assertion: logic's property | /r/HasProperty | established
Facets:
Source sentences:
text: The initial Justification Logic system, the Logic of Proofs \(\mathsf{LP}\), was introduced in 1995 in (Artemov 1995) (cf. also (Artemov 2001)) where such basic properties as Internalization, Realization, arithmetical completeness, were first established.