Density Elimination and Rational Completeness for First-Order Logics.

Agata Ciabattoni, George Metcalfe

Browse the full LFCS paper archive.