Return to Article Details An informational semantics for logical consequence Download Download PDF