Note that both semantical injectivity and syntactical separability can be studied in linear logic thanks to such abstractions from inessential commutations.
The aim was to capture the essential structure of the proof theory of cut elimination while avoiding the semantically inessential aspects of the syntax.
The latter is a completely inessential restriction, designed only to clarify notation.
We make several simplifications by passing to inessential reductions.
Otherwise, j is called an inessential return situation.
She has now the chance to show whether she prefers the luxury of quarrelling over inessentials to the less glamorous and more immediate tasks of consolidation.
If we control the price of essentials and the volume of money is the same, the price of inessentials rises further, as happened in 1949 and 1950.
Cannot these inessentials be eliminated and the dollars spent on something far more essential, namely, newsprint?
