Assertion: logic's semantic | /r/HasProperty | leblanc
Facets:
Source sentences:
text: that is, the logic axiomatized by (A1)–(A7) — is sound and complete with respect to this semantics (Leblanc and Thomason 1968).