| Let L1 be a sublanguage of L2 and assume that T1 and T2 are, respectively, the pure L1-theory with identity and the pure L2-theory with identity. |
| In C, strong negation is interpreted in such a way that the intuitionistic implication of its negation-free sublanguage is a connexive implication. |
| If we take seriously the idea that change involves the application of incompatible predicates, then the sublanguage cannot express the contrast between old Oscar and young Oscar. |
| Evans developed a little sublanguage for describing line figures, and this was typed into the machine. |
| In this paper, we show how to compute a controllable and coobservable sublanguage of the specification in a computationally efficient way. |
