Correspondencia Álgebra-Lógica
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
Cualquier relación sistemática que vincule estructuras algebraicas con sistemas lógicos de modo que identidades algebraicas reflejen leyes lógicas y las deducciones lógicas correspondan a construcciones algebraicas.