Categorial frameworks - Körner, Stephan (Library of philosophy and logic, 1970)