Ein vollständiger Ableitungsbegriff für die Äquivalenz in einem funktionell unvollständigem dreiwertigen Aussagenkalkül.