System Description: Kimba, A Model Generator for Many-Valued First-Order Logics.

Karsten Konrad, David A. Wolfram

Browse the full CADE paper archive.