question about rules where the conclusions are rules

how does one call rules written in the form of A => (B => (C => D))
which is of course the same as (A & B & C) => D
but I was just wondering wether there was a special name for the former 
form..

-- 
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/

Received on Saturday, 22 October 2005 15:15:47 UTC