Some Criteria of Decidability for Axiomatic Systems in Three-Valued Logic

I. D. Zaslavsky. Some Criteria of Decidability for Axiomatic Systems in Three-Valued Logic. In Balder ten Cate, Henk Zeevat, editors, Logic, Language, and Computation, 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005, Batumi, Georgia, September 12-16, 2005. Revised Selected Papers. Volume 4363 of Lecture Notes in Computer Science, pages 247-259, Springer, 2005. [doi]

Abstract

Abstract is missing.