| First, a correspondence between formulas that are provable in the implicational fragment of intuitionistic logic and the typable combinatory terms was discovered. |
| From this set of data we can construe the implicational ordering in. |
| This is contrasted with claims that structural complexity asymmetries alone can explain implicational universals. |
| In, the densities of truth for the purely implicational fragments of classical and intuitionistic logic, in a language with one variable, were computed. |
| It might seem that to determine which are the right formal tools we already need to know what the implicational relations are between the natural representations that we attempt to model, at least in basic cases. |
| But there are two subsystems that are dedicated to making sense of the whole thing, which they call the propositional and the implicational subsystems. |
