Carnap’s Problem for Intuitionistic Propositional Logic
| datacite.relatedItem.firstPage | 163 | |
| datacite.relatedItem.issue | 4 | |
| datacite.relatedItem.relatedIdentifierType | ISSN | |
| datacite.relatedItem.relatedItemIdentifier | 2813-0405 | |
| datacite.relatedItem.relationType | IsPublishedIn | |
| datacite.relatedItem.title | Logics | |
| datacite.relatedItem.volume | 1 | |
| dc.contributor.author | Haotian Tong | |
| dc.contributor.author | Dag Westerståhl | |
| dc.date.accessioned | 2025-11-13T10:39:43Z | |
| dc.date.available | 2025-11-13T10:39:43Z | |
| dc.date.issued | 2023 | |
| dc.identifier.doi | https://doi.org/10.3390/logics1040009 | |
| dc.identifier.other | jz000116-0002 | |
| dc.identifier.uri | https://tustorage.ulb.tu-darmstadt.de/handle/tustorage/40484 | |
| dc.publisher | MDPI AG | |
| dc.rights.uri | https://creativecommons.org/licenses/by/4.0/ | |
| dc.title | Carnap’s Problem for Intuitionistic Propositional Logic | |
| dc.type | Article | |
| dcat.distribution.pdf | https://tustorage.ulb.tu-darmstadt.de/handle/tustorage/40485 | |
| dcat.distribution.supplierxml | https://tustorage.ulb.tu-darmstadt.de/handle/tustorage/40486 | |
| dspace.entity.type | Dataset | |
| relation.isDistributionOfDataset | 21f68028-450d-41ed-aa74-74c975fae77d | |
| relation.isDistributionOfDataset | 0869bff9-8309-46f1-b0ce-2218a3d45527 | |
| relation.isDistributionOfDataset | a1536d29-45df-4bbc-ba6e-f6480bd848a5 | |
| relation.isDistributionOfDataset.latestForDiscovery | 21f68028-450d-41ed-aa74-74c975fae77d | |
| wdm.archivematicaaipuuid.original | a5944bd2-e3e8-4e06-97d6-e0d773527db8 |