Among these was categorial grammar, a highly flexible framework for the analysis of natural language syntax and (indirectly) semantics that remains a major influence on work in formal linguistics.
He was one of the founders of the journal Studia Logica in its current incarnation, editing it from 1953 to his death.
However, some languages' vocabularies can produce disconnected sentences, which are only partly mapped by the meaning rules.
Therefore, when one uses a language, even scientific one, a conceptual apparatus, an untranslatable set of meanings, is needed too, and with it a choice of the problems to be settled.
For this reason the theory is a form of conventionalism, and it is radical because even simple experiential reports are exposed to these language-wide considerations.