Logical frameworks for truth and abstraction. An axiomatic study
scientific article; zbMATH DE number 918845