Production and Causal Logics for Nonmonotonic Reasoning