Logical frameworks for truth and abstraction : : an axiomatic study - Cantini, Andrea (Studies in logic and the foundations of mathematics ;, 1996)