Assertion: infinitary logic | /r/CapableOf | allow proofs of infinite length
Facets:
Source sentences:
text: (All relevance logics are paraconsistent, but not all paraconsistent logics are relevant) infinitary logic : whereas classical logic only permits finite-length propositions and finite-length proofs, infinitary logic allows propositions and proofs of infinite length