Assertion: logic's theorem | /r/HasProperty | valid
Facets:
value: in all \(\mathsf{j}_{cs}\) models
type: OTHER
Source sentences:
text: Theorem 2: A formula \(X\) is provable in \(\mathsf{J}_{CS}\) if and only if \(X\) is valid in all \(\mathsf{J}_{CS}\) models.