Assertion: classical logic | /r/CapableOf | permit finite-length proofs
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
text: : whereas classical logic only permits finite-length propositions and finite-length proofs, infinitary logic allows propositions and proofs of infinite length quantum logic: a system of logic used to reason about quantum mechanical systems