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]
Abstract is missing.