Logical frameworks for truth and abstraction | lit.salon