Assertion: logic's semantic | /r/CapableOf | validate the theorems of pfl
Facets:
Source sentences:
text: This semantics validates all and only the theorems of PFL (Bencivenga 1981, Morscher & Simons 2001, pp.