Studies in many-valued logics, partial traces, and computability
多值逻辑、部分迹和可计算性研究
基本信息
- 批准号：RGPIN-2018-06867
- 负责人：
- 金额：$ 1.68万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Discovery Grants Program - Individual
- 财政年份：2021
- 资助国家：加拿大
- 起止时间：2021-01-01 至 2022-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
Categorical logic in Computer Science; Complexity and computability theory; Formal Methods in Coq; Inverse Semigroups; Linear Logic; MV and Effect Algebras; Non-Commutative Stone Duality; Probabilistic/quantum Logics; Traced Monoidal Categories; Turing Categories
计算机科学的分类逻辑；复杂性和计算理论； COQ中的形式方法；反向群；线性逻辑； MV和效应代数；非共同的石头双重性；概率/量子逻辑；追踪单体类别；图灵类别
项目成果
期刊论文数量（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 }}
Scott, Philip其他文献
Diagnosing limb paresis and paralysis in sheep
- DOI：
10.1136/inp.h5547 - 发表时间：
2015-11-01 - 期刊：
- 影响因子：0.3
- 作者：
Crilly, James Patrick;Rzechorzek, Nina;Scott, Philip - 通讯作者：
Scott, Philip
A survey of secure middleware for the Internet of Things
- DOI：
10.7717/peerj-cs.114 - 发表时间：
2017-05-08 - 期刊：
- 影响因子：3.8
- 作者：
Fremantle, Paul;Scott, Philip - 通讯作者：
Scott, Philip
What are the important design features of personal health records to improve medication adherence for patients with long-term conditions? A systematic literature review
- DOI：
10.1136/bmjopen-2018-028628 - 发表时间：
2019-09-01 - 期刊：
- 影响因子：2.9
- 作者：
Andrikopoulou, Elisavet;Scott, Philip;Good, Alice - 通讯作者：
Good, Alice
Federated Identity and Access Management for the Internet of Things
- DOI：
10.1109/siot.2014.8 - 发表时间：
2014-01-01 - 期刊：
- 影响因子：0
- 作者：
Fremantle, Paul;Aziz, Benjamin;Scott, Philip - 通讯作者：
Scott, Philip
Digital health and patient safety: Technology is not a magic wand
- DOI：
10.1177/1460458219876183 - 发表时间：
2019-10-04 - 期刊：
- 影响因子：3
- 作者：
Sujan, Mark;Scott, Philip;Cresswell, Kathrin - 通讯作者：
Cresswell, Kathrin
Scott, Philip的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Scott, Philip', 18)}}的其他基金
Studies in many-valued logics, partial traces, and computability
多值逻辑、部分迹和可计算性研究
- 批准号：
RGPIN-2018-06867 - 财政年份：2020
- 资助金额：
$ 1.68万 - 项目类别：
Discovery Grants Program - Individual
Studies in many-valued logics, partial traces, and computability
多值逻辑、部分迹和可计算性研究
- 批准号：
RGPIN-2018-06867 - 财政年份：2019
- 资助金额：
$ 1.68万 - 项目类别：
Discovery Grants Program - Individual
Studies in many-valued logics, partial traces, and computability
多值逻辑、部分迹和可计算性研究
- 批准号：
RGPIN-2018-06867 - 财政年份：2018
- 资助金额：
$ 1.68万 - 项目类别：
Discovery Grants Program - Individual
Polarized logics, geometry of interaction, and the dynamics of resource sensitive computation
极化逻辑、交互几何以及资源敏感计算的动态
- 批准号：
8544-2011 - 财政年份：2016
- 资助金额：
$ 1.68万 - 项目类别：
Discovery Grants Program - Individual
Polarized logics, geometry of interaction, and the dynamics of resource sensitive computation
极化逻辑、交互几何以及资源敏感计算的动态
- 批准号：
8544-2011 - 财政年份：2014
- 资助金额：
$ 1.68万 - 项目类别：
Discovery Grants Program - Individual
Polarized logics, geometry of interaction, and the dynamics of resource sensitive computation
极化逻辑、交互几何以及资源敏感计算的动态
- 批准号：
8544-2011 - 财政年份：2013
- 资助金额：
$ 1.68万 - 项目类别：
Discovery Grants Program - Individual
Polarized logics, geometry of interaction, and the dynamics of resource sensitive computation
极化逻辑、交互几何以及资源敏感计算的动态
- 批准号：
8544-2011 - 财政年份：2012
- 资助金额：
$ 1.68万 - 项目类别：
Discovery Grants Program - Individual
Polarized logics, geometry of interaction, and the dynamics of resource sensitive computation
极化逻辑、交互几何以及资源敏感计算的动态
- 批准号：
8544-2011 - 财政年份：2011
- 资助金额：
$ 1.68万 - 项目类别：
Discovery Grants Program - Individual
Polarized logics, geometry of proofs, and semantics of computation
极化逻辑、证明几何和计算语义
- 批准号：
8544-2006 - 财政年份：2010
- 资助金额：
$ 1.68万 - 项目类别：
Discovery Grants Program - Individual
Polarized logics, geometry of proofs, and semantics of computation
极化逻辑、证明几何和计算语义
- 批准号：
8544-2006 - 财政年份：2009
- 资助金额：
$ 1.68万 - 项目类别：
Discovery Grants Program - Individual
相似国自然基金
Simulation and certification of the ground state of many-body systems on quantum simulators
- 批准号：
- 批准年份：2020
- 资助金额：40 万元
- 项目类别：
基于序列深度显微图像的非织造滤材三维结构重建
- 批准号：61771123
- 批准年份：2017
- 资助金额：60.0 万元
- 项目类别：面上项目
相似海外基金
Studies in many-valued logics, partial traces, and computability
多值逻辑、部分迹和可计算性研究
- 批准号：
RGPIN-2018-06867 - 财政年份：2020
- 资助金额：
$ 1.68万 - 项目类别：
Discovery Grants Program - Individual
Studies in many-valued logics, partial traces, and computability
多值逻辑、部分迹和可计算性研究
- 批准号：
RGPIN-2018-06867 - 财政年份：2019
- 资助金额：
$ 1.68万 - 项目类别：
Discovery Grants Program - Individual
Studies in many-valued logics, partial traces, and computability
多值逻辑、部分迹和可计算性研究
- 批准号：
RGPIN-2018-06867 - 财政年份：2018
- 资助金额：
$ 1.68万 - 项目类别：
Discovery Grants Program - Individual
Substructural Logics and their Algebraic Structures
子结构逻辑及其代数结构
- 批准号：
13640109 - 财政年份：2001
- 资助金额：
$ 1.68万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
LOGIC OF ARGUMENTATION AND ARGUING AGENT SYSTEM
论证逻辑和论证代理系统
- 批准号：
13680437 - 财政年份：2001
- 资助金额：
$ 1.68万 - 项目类别：
Grant-in-Aid for Scientific Research (C)