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-03-11T15:58:24Z | |
dc.date.available | 2025-03-11T15:58:24Z | |
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/10708 | |
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/10709 | |
dcat.distribution.supplierxml | https://tustorage.ulb.tu-darmstadt.de/handle/tustorage/10710 | |
dspace.entity.type | Dataset | |
relation.isDistributionOfDataset | 57796132-2ef7-490e-beaa-d3ab5aa6f8a2 | |
relation.isDistributionOfDataset | fbe52a74-fefa-4863-b8f0-e90d4cccaab8 | |
relation.isDistributionOfDataset | fc1d5e12-637b-4429-a701-79a944b62a57 | |
relation.isDistributionOfDataset.latestForDiscovery | 57796132-2ef7-490e-beaa-d3ab5aa6f8a2 | |
wdm.archivematicaaipuuid.original | a5944bd2-e3e8-4e06-97d6-e0d773527db8 |