For simplicity, the logics presented so far have been intuitionistic.
为了简单性，迄今为止提出的逻辑都是直觉的。