为了把柯霍同构「糊」出来恶补了很多代数知识，尤其是序论。

说stlc柯霍同构直觉逻辑，这是强了很多的说法，即使指明蕴含片段，仍然是强了很多的。因为最最最弱的同构只需要

1 偏序
2 a•b≤a或a•b≤b

ai说这个叫整性，我得把环认真看一遍才能知道是什么意思。

条件2是保证弱化规则成立的。但这个规则本身也是非常的弱，它既不需要•单调保序，也不需要a•b有最大最小，以至于可以连半格都不算。

条件1保证了伽罗华联络，对逻辑来说就是演绎定理，或者自然演绎的蕴含引入，或者矢列演算的蕴含右引入。对于λ这需要一个比较特别的方式定义偏序。

弱到这个程度不能叫逻辑了已经，逻辑再弱也得是个格。

另外交换律也是可以没有的。