Deciding Non-fregean Identities: A Dual Tableau Approach.

Joanna Golinska-Pilarek, Taneli Huuskonen, Michal Zawidzki

Browse the full JELIA paper archive.