| But there are two subsystems that are dedicated to making sense of the whole thing, which they call the propositional and the implicational subsystems. |
| First, a correspondence between formulas that are provable in the implicational fragment of intuitionistic logic and the typable combinatory terms was discovered. |
| 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. |
| The implicational structure of Kalla's book is one of its best features. |
| From this set of data we can construe the implicational ordering in. |
