Deduction in many-valued logics: a survey. Reiner Hähnle, Gonzalo Escalada-Imaz (1997) Mathware and Soft Computing
Die Nichtaxiomatisierbarkeit der unendlichwertigen Mengenlehre. Matthias Ragaz (1983) Archiv für mathematische Logik und Grundlagenforschung
Die Unentscheidbarkeit der einstelligen unendlichwertigen Prädikatenlogik. Matthias Ragaz (1983) Archiv für mathematische Logik und Grundlagenforschung