Haotian TongDag Westerståhl2025-11-132025-11-132023jz000116-0002https://tustorage.ulb.tu-darmstadt.de/handle/tustorage/40484Carnap’s Problem for Intuitionistic Propositional LogicArticlehttps://doi.org/10.3390/logics1040009