Tyko Straßen Syntactical Models and Fixed Points for the Basic Logic of Proofs. 291-322 1994 12 Ann. Math. Artif. Intell. 3-4 db/journals/amai/amai12.html#Strassen94