Semántica Algebraica
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
La práctica de representar un sistema lógico mediante estructuras algebraicas en las que los conectivos lógicos, las reglas de inferencia y la consecuencia corresponden a operaciones algebraicas, ecuaciones o relaciones de orden, de modo que la implicación semántica queda capturada por identidades o desigualdades algebraicas.