A (possibly dumb) question about G and v. If the sentences of L are equivalent to vertices of G, then are the arrows in G being interpreted as rules of inference? If so, how does this deal with rules of inference that take multiple sentences of input (both A and A->B are needed to arrive at B) since the arrows can only “link” two sentences?
A (possibly dumb) question about G and v. If the sentences of L are equivalent to vertices of G, then are the arrows in G being interpreted as rules of inference? If so, how does this deal with rules of inference that take multiple sentences of input (both A and A->B are needed to arrive at B) since the arrows can only “link” two sentences?