admissible rules, computational complexity, finite model property, Fuzzy Logics, Gödel logic, intuitionistic logic.
