 The clauses for ‘\({\sim}\)’ and ‘ \(\rightarrow\) ’ are the same as in negative free logic. PFL with classical identity — that is, the logic axiomatized by (A1)–(A7) — is sound and complete with respect to this semantics (Leblanc and Thomason 1968).