Assertion: free logic | /r/HasProperty | represented by each of three formal methods
Facets:
Source sentences:
text: Section 2 shows how free logic may be represented by each of three formal methods: axiom systems, natural deduction rules and tree rules.