Kazushige Terui. On the Consistency of Naive Set Theories over Substructural and Fuzzy Logics. In Frank Pfenning, editor, 11th International Conference on Formal Structures for Computation and Deduction, FSCD 2026, Lisbon, Portugal, July 20-23, 2026. Volume 378 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026. [doi]
No references recorded for this publication.
No citations of this publication recorded.