1. Begründung einer strengen Implikation
2. and , Entailment: The Logic of Relevance and Necessity, Volume 1. Princeton University Press, Princeton N. J. 1975.
3. Being and Existence: Two Ways of Formal Ontology. Yale University PhD Dissertation, New Haven 1969.
4. The first axiomatization of a relevant logic. Zentrum Philosophie und Wissenschaftstheorie Bericht, Konstanz 1990, pp. 9–90.
5. Relevance Logic and Entailment. In: Handbook of Philosophical Logic, Volume III ( and , eds.), D. Reidel Publ. Comp., Dordrecht 1986, pp. 117–224.