Substructural Logic

Logic where you don’t have all the structural rules: weakening,

For example Linear Logic