3、Classical logic has no ability of dealing with inconsistency, while hypo-logic can reason normally in an inconsistence situation.
4、Particularly, in case of change of Name of Company, modification MUST be done prior to purchase of bidding document in order to avoid inconsistence.
2、The realization of the inconsistence of the situation model can bring forward new hypotheses.
1、inconsistence of geometrical construction