I've slept since we had the thread about lemma concatenation. But this seems relevant:
https://philpapers.org/rec/BARAHO-17?ref=mail "In other words, if cumulative deductive progress is not guaranteed, we cannot be sure that lemmas are knowledge checkpoints. But this seems quite an important property of classical reasoning, while it certainly is not a feature of reasoning carried out in ST." -- glen ============================================================ FRIAM Applied Complexity Group listserv Meets Fridays 9a-11:30 at cafe at St. John's College to unsubscribe http://redfish.com/mailman/listinfo/friam_redfish.com archives back to 2003: http://friam.471366.n2.nabble.com/ FRIAM-COMIC http://friam-comic.blogspot.com/ by Dr. Strangelove
