The formula is strange. For example, here’s a small proof fragment, where is an arbitrary goal formula:
Is the in the right premise of the loli-left rule the same as the one we started with in the conclusion?
Read the rest of this entry »
Blog at WordPress.com.