Sémantique Algébrique

La pratique de représenter un système logique par des structures algébriques dans lesquelles les connecteurs logiques, les règles d'inférence et la conséquence correspondent à des opérations algébriques, des équations ou des relations d'ordre, de sorte que l'entailment sémantique est capturé par des identités ou inégalités algébriques.