Tableau-based Decision Procedure for Non-Fregean Logic of Sentential Identity.

Joanna Golinska-Pilarek, Taneli Huuskonen, Michal Zawidzki

Browse the full CADE paper archive.