代數邏輯

代數邏輯指以線形代數記法來表現推理過程的符號邏輯。線形代數記法能分布於一條直線，容易排版印刷，因此，在邏輯學發展的很長一段時期，以線形代數記法為表現工具的代數邏輯占據著統治地位，被認為是正統的標準邏輯。但代數記法可讀性不強，不夠直觀，要掌握以這種記法表現的邏輯學往往需要專門訓練。代數邏輯有時還指用代數方法研究邏輯學的各種邏輯理論。

皮爾斯化歸論題是美國皮爾斯在關係邏輯研究中提出的一種命題。該命題有肯定和否定兩種表述，即所有三元以上的關係都可化歸到三元關係，所有三元以上的關係都可由三元關係組合而成；但三元關係並不能化歸到一元關係或二元關係。該命題被皮爾斯作為其範疇理論乃至整個哲學體系的重要基礎。