附带说明一下,联结词←的引入(除→之外)也确保了可证矢列式对应于可证公式.因此,最后我们考虑的是当融合运算°从中省略掉的情况.在构式演算中,这仅仅意味着放弃(├)和(├)这两条规则,为了得到一种适当的公理化,人们不得不添加两条新规则(R9)和(R10)来取代(R2) - (R3)及(R7) - (R8).
(R9)
(R10)
得到的这两个逻辑由来表示,而且它们也能像前面那样被表明是等价的.
的典范标架.标架和模型的概念根本不必修改(也许,除了省略(g12)外).然而,在典范标架的定义中,典范可达性关系的定义应该可被如下的(g20)来代替.
(g20)
对于对偶的广义伽洛瓦逻辑语义学来说是可靠且完全的.
3.7 票据衍推中的