J. W. Degen Proof Theory for Finitely Valid Sentences. 47-59 2001 35 Reports on Mathematical Logic http://www.iphils.uj.edu.pl/rml/rml-35/a-deg-35.htm db/journals/rml/rml35.html#Degen01