RT Article T1 A Substructural Logic for Inconsistent Mathematics JF Dialetheism and its applications SP 155 OP 176 A1 Badia, Guillermo A1 Weber, Zach A2 Weber, Zach LA English YR 2019 UL https://ixtheo.de/Record/1759997455 SN 9783030302207