Nonclassical Logics and Their Applications