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-02-25T12:50:01Z | |
| dc.date.available | 2025-02-25T12:50:01Z | |
| 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/10618 | |
| 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/10619 | |
| dcat.distribution.supplierxml | https://tustorage.ulb.tu-darmstadt.de/handle/tustorage/10620 | |
| dspace.entity.type | Dataset | |
| relation.isDistributionOfDataset | b695cb9e-be4f-49df-8ba5-cfce6c1b787b | |
| relation.isDistributionOfDataset | 4d9bc827-7dc9-4ca6-894d-a724111639ae | |
| relation.isDistributionOfDataset | 78ade08d-4b80-4b84-b746-6ccc31fb3b55 | |
| relation.isDistributionOfDataset.latestForDiscovery | b695cb9e-be4f-49df-8ba5-cfce6c1b787b | |
| wdm.archivematicaaipuuid.original | a5944bd2-e3e8-4e06-97d6-e0d773527db8 |