Haotian TongDag Westerståhl2025-03-112025-03-112023jz000116-0002https://tustorage.ulb.tu-darmstadt.de/handle/tustorage/10708Carnap’s Problem for Intuitionistic Propositional LogicArticlehttps://doi.org/10.3390/logics1040009