A Cut-Free, Sound and Complete Russellian Theory of Definite Descriptions.

Andrzej Indrzejczak, Nils Krbis

Browse the full TABLEAUX paper archive.