with contradictory ones. Both logics are objects of interesting analysis by modern