Tag Non-classical logic