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