Haotian TongDag Westerståhl2025-02-252025-02-252023jz000116-0002https://tustorage.ulb.tu-darmstadt.de/handle/tustorage/10618Carnap’s Problem for Intuitionistic Propositional LogicArticlehttps://doi.org/10.3390/logics1040009