Assertion: free logic | /r/DefinedAs | a1)–(a6
Facets:
Source sentences:
text: Adding (LL) to the free logic defined by (A1)–(A6) and (A7-) gives the minimal free definite description theory MFD.