This book introduces some extensions of resource- aware logics, and shows some fundamental (e.g., cut- elimination and completeness) theorems for these extensions. By resource-aware logics, we mean substructural logics without the structural rule of contraction in Gentzen-type sequent calculi. Typical examples of these resource-aware logics are linear logics, which are known to be useful for describing concurrent systems, and non-commutative logics, which are known to be useful for formalizing grammatical reasoning. These logics are known to be appropriate for representing...