Assertion: free logic | /r/CapableOf | allow open formulas
Facets:
Source sentences:
text: The formulas used in the axiom systems discussed so far are closed, but some free logics allow open formulas—i.e., formulas that contain free variables.