A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Classical and Intuitionistic Subexponential Logics are Equally Expressive
[article]
2010
arXiv
pre-print
It is standard to regard the intuitionistic restriction of a classical logic as increasing the expressivity of the logic because the classical logic can be adequately represented in the intuitionistic logic by double-negation, while the other direction has no truth-preserving propositional encodings. We show here that subexponential logic, which is a family of substructural refinements of classical logic, each parametric over a preorder over the subexponential connectives, does not suffer from
arXiv:1006.3134v1
fatcat:mlzrr7v4ajb7nm5h2nfpbhnswi