刷新
{{item.name}}会员
Infinitesimal and intensional software
无穷小和内涵软件
基本信息
- 批准号：357-2007
- 负责人：
- 金额：$ 1.68万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Discovery Grants Program - Individual
- 财政年份：2011
- 资助国家：加拿大
- 起止时间：2011-01-01 至 2012-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
I will investigate theoretical and practical aspects of a new type of logic I call "infinitesimal logic".
我将研究一种我称之为“无穷小逻辑”的新型逻辑的理论和实践方面。
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
数据更新时间：{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
数据更新时间：{{ journalArticles.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ monograph.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ sciAawards.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ patent.updateTime }}
Wadge, William其他文献
Wadge, William的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Wadge, William', 18)}}的其他基金
Infinitesimal and intensional software
无穷小和内涵软件
- 批准号：
357-2007 - 财政年份：2010
- 资助金额：
$ 1.68万 - 项目类别：
Discovery Grants Program - Individual
Infinitesimal and intensional software
无穷小和内涵软件
- 批准号：
357-2007 - 财政年份：2009
- 资助金额：
$ 1.68万 - 项目类别：
Discovery Grants Program - Individual
Infinitesimal and intensional software
无穷小和内涵软件
- 批准号：
357-2007 - 财政年份：2008
- 资助金额：
$ 1.68万 - 项目类别：
Discovery Grants Program - Individual
Infinitesimal and intensional software
无穷小和内涵软件
- 批准号：
357-2007 - 财政年份：2007
- 资助金额：
$ 1.68万 - 项目类别：
Discovery Grants Program - Individual
Intensional programming and versioning
强化编程和版本控制
- 批准号：
357-2002 - 财政年份：2006
- 资助金额：
$ 1.68万 - 项目类别：
Discovery Grants Program - Individual
Intensional programming and versioning
强化编程和版本控制
- 批准号：
357-2002 - 财政年份：2005
- 资助金额：
$ 1.68万 - 项目类别：
Discovery Grants Program - Individual
Intensional programming and versioning
强化编程和版本控制
- 批准号：
357-2002 - 财政年份：2004
- 资助金额：
$ 1.68万 - 项目类别：
Discovery Grants Program - Individual
Intensional programming and versioning
强化编程和版本控制
- 批准号：
357-2002 - 财政年份：2003
- 资助金额：
$ 1.68万 - 项目类别：
Discovery Grants Program - Individual
Intensional programming and versioning
强化编程和版本控制
- 批准号：
357-2002 - 财政年份：2002
- 资助金额：
$ 1.68万 - 项目类别：
Discovery Grants Program - Individual
Intensional programming
内涵式编程
- 批准号：
357-1998 - 财政年份：2001
- 资助金额：
$ 1.68万 - 项目类别：
Discovery Grants Program - Individual
相似海外基金
数学の基礎における内包的概念と新しい内包論理の構築
在数学基础中构建内涵概念和新内涵逻辑
- 批准号：
22K00028 - 财政年份：2022
- 资助金额：
$ 1.68万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Proof-Theoretic Foundations of Intensional Semantics. Counterfactuals of belief and knowledge
内涵语义学的证明理论基础。
- 批准号：
319239199 - 财政年份：2016
- 资助金额：
$ 1.68万 - 项目类别：
Research Grants
Unity and Unification in Intensional Semantics
内涵语义学的统一与统一
- 批准号：
261494742 - 财政年份：2014
- 资助金额：
$ 1.68万 - 项目类别：
Research Grants
Proof-theoretic semantics of intensional transitive verbs
内涵及物动词的证明理论语义
- 批准号：
214880918 - 财政年份：2012
- 资助金额：
$ 1.68万 - 项目类别：
Research Grants
On the Intensional Interpretation of the Indefinite Noun Phrase UN N in French
论法语不定名词短语UN N的内涵解释
- 批准号：
23520515 - 财政年份：2011
- 资助金额：
$ 1.68万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
The semantics and pragmatics of Japanese plurals
日语复数的语义和语用
- 批准号：
23520463 - 财政年份：2011
- 资助金额：
$ 1.68万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Infinitesimal and intensional software
无穷小和内涵软件
- 批准号：
357-2007 - 财政年份：2010
- 资助金额：
$ 1.68万 - 项目类别：
Discovery Grants Program - Individual
A Cognitive Study on the Acquisition of Intensional Verbs in English
英语内涵动词习得的认知研究
- 批准号：
21720174 - 财政年份：2009
- 资助金额：
$ 1.68万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
GIPSY - General intensional programing system
GIPSY - 通用内涵编程系统
- 批准号：
227820-2009 - 财政年份：2009
- 资助金额：
$ 1.68万 - 项目类别：
Discovery Grants Program - Individual
Infinitesimal and intensional software
无穷小和内涵软件
- 批准号：
357-2007 - 财政年份：2009
- 资助金额：
$ 1.68万 - 项目类别：
Discovery Grants Program - Individual