代數邏輯

在數理邏輯中 ， 代數邏輯使用抽象代數方法形式化邏輯 。