Many-valued logic
On basic groups in partial many-valued logics
Logic Programs and Many-Valued Logic.