Haotian TongDag Westerståhl2025-11-132025-11-13https://tustorage.ulb.tu-darmstadt.de/handle/tustorage/40486Carnap’s Problem for Intuitionistic Propositional Logicsupplierxml