Über die Logik perfekter paradefiniter Algebren