Yang Song, Tsubasa Takagi. Completeness Theorem for Many-valued Logic with Internalized Meta-judgment. In 56th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2026, Sendai, Japan, May 19-21, 2026. pages 81-86, IEEE, 2026. [doi]
No references recorded for this publication.
No citations of this publication recorded.