Assertion: relevance logic | /r/HasProperty | paraconsistent
Facets:
Source sentences:
text: (All relevance logics are paraconsistent, but not all paraconsistent logics are relevant)
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