If I may interject (assuming it isn’t too early to start proposing solutions), it does turn out to be the case that computability logic is a superset of linear logic, which encodes resource-boundedness and avoids material entailment paradoxes, intuitionistic logic, which encodes proof/justification, and classical logic, which encodes truth. To accept less is to sacrifice one or more of the above attributes in terms of expressiveness.
Thanks; I certainly didn’t intend to say that all logics are equivalent so it doesn’t matter… edited to clarify...
If I may interject (assuming it isn’t too early to start proposing solutions), it does turn out to be the case that computability logic is a superset of linear logic, which encodes resource-boundedness and avoids material entailment paradoxes, intuitionistic logic, which encodes proof/justification, and classical logic, which encodes truth. To accept less is to sacrifice one or more of the above attributes in terms of expressiveness.
Thanks; I certainly didn’t intend to say that all logics are equivalent so it doesn’t matter… edited to clarify...