Elements of Formal Semantics最新文献

筛选
英文 中文
1 Introduction 1介绍
Elements of Formal Semantics Pub Date : 2016-04-01 DOI: 10.1515/9780748677771-004
{"title":"1 Introduction","authors":"","doi":"10.1515/9780748677771-004","DOIUrl":"https://doi.org/10.1515/9780748677771-004","url":null,"abstract":"","PeriodicalId":233534,"journal":{"name":"Elements of Formal Semantics","volume":"38 2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114574001","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Abbreviations 缩写
Elements of Formal Semantics Pub Date : 2016-04-01 DOI: 10.1515/9780748677771-003
{"title":"Abbreviations","authors":"","doi":"10.1515/9780748677771-003","DOIUrl":"https://doi.org/10.1515/9780748677771-003","url":null,"abstract":"","PeriodicalId":233534,"journal":{"name":"Elements of Formal Semantics","volume":"57 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123700084","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Frontmatter
Elements of Formal Semantics Pub Date : 2016-04-01 DOI: 10.1515/9780748677771-fm
{"title":"Frontmatter","authors":"","doi":"10.1515/9780748677771-fm","DOIUrl":"https://doi.org/10.1515/9780748677771-fm","url":null,"abstract":"","PeriodicalId":233534,"journal":{"name":"Elements of Formal Semantics","volume":"136 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115914080","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
5 Long-Distance Meaning Relationships 异地恋的意义
Elements of Formal Semantics Pub Date : 2016-04-01 DOI: 10.1515/9780748677771-008
{"title":"5 Long-Distance Meaning Relationships","authors":"","doi":"10.1515/9780748677771-008","DOIUrl":"https://doi.org/10.1515/9780748677771-008","url":null,"abstract":"","PeriodicalId":233534,"journal":{"name":"Elements of Formal Semantics","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120964065","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Notations 符号
Elements of Formal Semantics Pub Date : 2016-04-01 DOI: 10.1016/b978-0-12-801457-8.09999-7
Zhiping Chen
{"title":"Notations","authors":"Zhiping Chen","doi":"10.1016/b978-0-12-801457-8.09999-7","DOIUrl":"https://doi.org/10.1016/b978-0-12-801457-8.09999-7","url":null,"abstract":"","PeriodicalId":233534,"journal":{"name":"Elements of Formal Semantics","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126333475","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
7 Conclusion and Further Topics 7结论和进一步的主题
Elements of Formal Semantics Pub Date : 2016-04-01 DOI: 10.1515/9780748677771-010
{"title":"7 Conclusion and Further Topics","authors":"","doi":"10.1515/9780748677771-010","DOIUrl":"https://doi.org/10.1515/9780748677771-010","url":null,"abstract":"","PeriodicalId":233534,"journal":{"name":"Elements of Formal Semantics","volume":"35 4","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120913019","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Appendix to Chapter 3 第三章附录
Elements of Formal Semantics Pub Date : 2016-04-01 DOI: 10.1017/CBO9781316442920.007
Jeffrey J. Harden
{"title":"Appendix to Chapter 3","authors":"Jeffrey J. Harden","doi":"10.1017/CBO9781316442920.007","DOIUrl":"https://doi.org/10.1017/CBO9781316442920.007","url":null,"abstract":"The study of mathematics goes well beyond a knowledge of the real numbers. In this chapter, we discuss some topics which are tangentially related to the material of this course, but which can take a willing student a bit further into more advanced mathematics. 1. Cardinality Intuitively, cardinality is the major of the 'size' of a set. For example , we should predict that a set containing two elements (regardless of what they are) should be 'larger' in some essential way than a set containing only one. In fact, mathematicians were surprised to discover that an infinite set can actually be essentially larger than another, a fact we will prove. Definition. If A and B are sets, we write |A| = |B| if there exists a bijection f : A → B. We read |A| = |B| as \" the cardinality of A equals the cardinality of B. Again |A| = |B| intuitively means that both sets have the \" same number of elements \". This is not startling for finite sets. It is no surprise that |{a, b, c}| = |{1, 2, 3}|. However this definition can lead to non-intuitive results. We can have A ⊆ B, A = B yet |A| = |B| (how?).","PeriodicalId":233534,"journal":{"name":"Elements of Formal Semantics","volume":"67 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126285390","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
6 Intensionality and PossibleWorlds 密集性和可能的世界
Elements of Formal Semantics Pub Date : 2016-04-01 DOI: 10.1515/9780748677771-009
{"title":"6 Intensionality and PossibleWorlds","authors":"","doi":"10.1515/9780748677771-009","DOIUrl":"https://doi.org/10.1515/9780748677771-009","url":null,"abstract":"","PeriodicalId":233534,"journal":{"name":"Elements of Formal Semantics","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126920039","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
3 Types and Meaning Composition 3类型和意义组成
Elements of Formal Semantics Pub Date : 2016-04-01 DOI: 10.1515/9780748677771-006
{"title":"3 Types and Meaning Composition","authors":"","doi":"10.1515/9780748677771-006","DOIUrl":"https://doi.org/10.1515/9780748677771-006","url":null,"abstract":"","PeriodicalId":233534,"journal":{"name":"Elements of Formal Semantics","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125569197","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
2 Meaning and Form 2意义与形式
Elements of Formal Semantics Pub Date : 2016-04-01 DOI: 10.1515/9780748677771-005
{"title":"2 Meaning and Form","authors":"","doi":"10.1515/9780748677771-005","DOIUrl":"https://doi.org/10.1515/9780748677771-005","url":null,"abstract":"","PeriodicalId":233534,"journal":{"name":"Elements of Formal Semantics","volume":"61 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126585983","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信
小红书