1. Sequent calculus for intuitionistic linear propositional logic. In: Mathematical Logic (ed.), Plenum Press, New York 1990, pp. 223–242.
2. Semantic parallels in natural language and computation. In: Logic Colloquium 1987 ( et al., eds.), North-Holland Publ. Comp., Amsterdam 1989, pp. 331–375.
3. Language in action
4. Lattice Theory. 3rd edition. American Mathematical Society, Providence, R. I., 1967.
5. and , Residuation Theory. Pergamon Press, Oxford 1972.