Affordable Access

Infinite-Valued Propositional Type Theory for Semantics

Authors
Publisher
UNICAMP
Publication Date

Abstract

Publications mainResearchArea.mainResearchArea organisations[0].organisation.id organisations[0].organisation.organisation organisations[1].organisation.id organisations[1].organisation.organisation externalPublication persons[0].person.id persons[0].person.employeeId persons[0].personRole persons[0].firstName persons[0].lastName persons[0].organisations title owner.id owner.owner typeClassification.typeClassification publicationStatus.publicationStatus publicationDate.year uuid id created modified modifiedBy creator remoteOrigin keywordGroups[0].logicalName keywordGroups[0.0].freeKeywords[da_DK] sourceLicensesDismissed Source: orbit visibility language.language acceptedDuplicate submissionYear publicationCategory.publicationCategory peerReview workflowInformations[0] markedForRevalidation publisher.id publisher.name publisher.placeOfPublication publisher.printISBNs[0] hostPublicationEditors[0].firstName hostPublicationEditors[0].lastName hostPublicationEditors[1].firstName hostPublicationEditors[1].lastName hostPublicationTitle bookSeries[0].journal.id bookSeries[0].journal.journal Technical/natural sciences 4712 Algorithms and Logic - Former organisational unit. 31/12/12. 4044 Department of Informatics and Mathematical Modeling - Former organisational unit. 31/12/12. Taken over by Department of Applied Mathematics and Computer Science 2181749 6524 Author Jørgen Villadsen Algorithms and Logic, Department of Informatics and Mathematical Modeling Infinite-Valued Propositional Type Theory for Semantics 4044 Department of Informatics and Mathematical Modeling - Former organisational unit. 31/12/12. Taken over by Department of Applied Mathematics and Computer Science Book chapter Published 2009 2204e8d7-595e-46ec-9e89-a1e1e11a2f07 4096184 2/26/12 2/26/12 soeren soeren keywordContainers 256986 FREE English 2009 Research validated 4096180 UNICAMP Campinas, Brazil 978-85-86497-05-6 Jean-Yves Béziau Alexandre Costa-Leite Dimensions of Logical Concepts 9426929 Coleção CLE

There are no comments yet on this publication. Be the first to share your thoughts.