多類論理