De especial relevancia se consideran las definiciones para el Cálculo de deducción natural y las puertas lógicas en los circuitos electrónicos.