On Translation of Finitely-Valued Logics to Classical First-Order Logic

Viorica Sofronie-Stokkermans. On Translation of Finitely-Valued Logics to Classical First-Order Logic. In ECAI. pages 410-411, 1998.

Abstract

Abstract is missing.