1. Establish that Fregean logics with theorems are all Assertional, and hence truth-equational, and that for a fully selfextensional logic, to be Assertional is the same as to be truth-equational

2. Admitting Thus, by Admitting these more general continuation expressions we get a considerable simplification of the equational presentation of -calculus

3. We then look further into these geometric Adjunctions at different levels of generality, from syntactic categories to (possibly infinitary) equational classes of …

4. 18 Cooperated now on market multifarious, dimension no longer onefold books, broke the fixed frame of traditional bookshelf, the limitation with equational space, use rise convenient freely.