B"—ol) can 'erase attribute B" wherever it occurs' [Gir92a], ... proof (with only proper cuts) in which the identity axioms B F B are restricted to the case ...
確定! 回上一頁