代数逻辑指以线形代数记法来表现推理过程的符号逻辑。线形代数记法能分布于一条直线，容易排版印刷，因此，在逻辑学发展的很长一段时期，以线形代数记法为表现工具的代数逻辑占据着统治地位，被认为是正统的标准逻辑。但代数记法可读性不强，不够直观，要掌握以这种记法表现的逻辑学往往需要专门训练。代数逻辑有时还指用代数方法研究逻辑学的各种逻辑理论。
皮尔斯化归论题是美国皮尔斯在关系逻辑研究中提出的一种命题。该命题有肯定和否定两种表述，即所有三元以上的关系都可化归到三元关系，所有三元以上的关系都可由三元关系组合而成；但三元关系并不能化归到一元关系或二元关系。该命题被皮尔斯作为其范畴理论乃至整个哲学体系的重要基础。
温馨提示：
