Equational Logic

Lógica Equacional é um tipo de lógica formal que lida com a substituição de termos iguais em expressões. É a base para muitas linguagens de programação funcionais e sistemas de reescrita de termos.