Mathematical Sciences: Self-Dual Stone Algebras and Applications
数学科学:自对偶斯通代数及其应用
基本信息
- 批准号:9409741
- 负责人:
- 金额:$ 3万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:1994
- 资助国家:美国
- 起止时间:1994-07-01 至 1995-09-30
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
9409741 Gehrke This career advancement award supports mathematical research analyzing the structure of self-dual Stone algebras. The importance of self-duality in lattices, and particularly in Stone algebras, was motivated by applications to conditional event structures in probability and rough set algebras. Once a better understanding of the self-duality is accomplished, the original applications will be reexamined and new ones sought. The point of view is a categorical one, developed through extensive work using homological methods in algebra. The work draws on diverse fields of logic and model theory, general topology, nonstandard analysis and partially ordered sets - as well as lattice theory, which still remains one of the main tools in the study of logics for computer science, artificial intelligence and expert systems. ***
小行星9409741 这个职业发展奖支持分析自对偶Stone代数结构的数学研究。 自对偶在格中的重要性,特别是在Stone代数中,是由概率和粗糙集代数中的条件事件结构的应用所激发的。 一旦对自我二元性有了更好的理解,人们就会重新审视原来的应用,并寻找新的应用。 的观点是一个分类的,通过广泛的工作,使用同调方法在代数。 这项工作借鉴了逻辑和模型理论,一般拓扑,非标准分析和偏序集的不同领域-以及格理论,它仍然是计算机科学,人工智能和专家系统逻辑研究的主要工具之一。 ***
项目成果
期刊论文数量(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 }}
Mai Gehrke其他文献
Euclidean Hierarchy in Modal Logic
- DOI:
10.1023/b:stud.0000009564.00287.16 - 发表时间:
2003-12-01 - 期刊:
- 影响因子:0.600
- 作者:
Johan van Benthem;Guram Bezhanishvili;Mai Gehrke - 通讯作者:
Mai Gehrke
Difference hierarchies and duality with an application to formal languages
- DOI:
10.1016/j.topol.2019.106975 - 发表时间:
2020-03-15 - 期刊:
- 影响因子:
- 作者:
Célia Borlido;Mai Gehrke;Andreas Krebs;Howard Straubing - 通讯作者:
Howard Straubing
Δ1-completions of a Poset
- DOI:
10.1007/s11083-011-9226-0 - 发表时间:
2011-07-27 - 期刊:
- 影响因子:0.300
- 作者:
Mai Gehrke;Ramon Jansana;Alessandra Palmigiano - 通讯作者:
Alessandra Palmigiano
Profinite Completions and Canonical Extensions of Heyting Algebras
- DOI:
10.1007/s11083-006-9037-x - 发表时间:
2006-11-04 - 期刊:
- 影响因子:0.300
- 作者:
Guram Bezhanishvili;Mai Gehrke;Ray Mines;Patrick J. Morandi - 通讯作者:
Patrick J. Morandi
Mai Gehrke的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
相似国自然基金
Handbook of the Mathematics of the Arts and Sciences的中文翻译
- 批准号:12226504
- 批准年份:2022
- 资助金额:20.0 万元
- 项目类别:数学天元基金项目
SCIENCE CHINA: Earth Sciences
- 批准号:41224003
- 批准年份:2012
- 资助金额:24.0 万元
- 项目类别:专项基金项目
Journal of Environmental Sciences
- 批准号:21224005
- 批准年份:2012
- 资助金额:24.0 万元
- 项目类别:专项基金项目
SCIENCE CHINA Information Sciences
- 批准号:61224002
- 批准年份:2012
- 资助金额:24.0 万元
- 项目类别:专项基金项目
SCIENCE CHINA Technological Sciences
- 批准号:51224001
- 批准年份:2012
- 资助金额:24.0 万元
- 项目类别:专项基金项目
SCIENCE CHINA Life Sciences (中国科学 生命科学)
- 批准号:81024803
- 批准年份:2010
- 资助金额:24.0 万元
- 项目类别:专项基金项目
Journal of Environmental Sciences
- 批准号:21024806
- 批准年份:2010
- 资助金额:24.0 万元
- 项目类别:专项基金项目
SCIENCE CHINA Earth Sciences(中国科学:地球科学)
- 批准号:41024801
- 批准年份:2010
- 资助金额:24.0 万元
- 项目类别:专项基金项目
SCIENCE CHINA Technological Sciences
- 批准号:51024803
- 批准年份:2010
- 资助金额:24.0 万元
- 项目类别:专项基金项目
相似海外基金
Mathematical Sciences: Harmonic Analysis and Self-Similarity
数学科学:调和分析和自相似性
- 批准号:
9623250 - 财政年份:1996
- 资助金额:
$ 3万 - 项目类别:
Continuing grant
Mathematical Sciences: Self-Consistent Estimators, Bootstrap and Censored Data
数学科学:自洽估计、引导和审查数据
- 批准号:
9510376 - 财政年份:1995
- 资助金额:
$ 3万 - 项目类别:
Standard Grant
Mathematical Sciences: Nonlinear Self-focussing as a Deterministic Mechanism for Generating Spatial Complexity in Ecosystems
数学科学:非线性自聚焦作为生态系统中产生空间复杂性的确定性机制
- 批准号:
9505327 - 财政年份:1995
- 资助金额:
$ 3万 - 项目类别:
Standard Grant
Mathematical Sciences: Self-Affine Sets, Random Walks on Discrete Groups, and Thermodynamic Formalism
数学科学:自仿射集、离散群上的随机游动和热力学形式主义
- 批准号:
9307855 - 财政年份:1993
- 资助金额:
$ 3万 - 项目类别:
Continuing Grant
Mathematical Sciences: Harmonic Analysis and Self-Similarity
数学科学:调和分析和自相似性
- 批准号:
9303718 - 财政年份:1993
- 资助金额:
$ 3万 - 项目类别:
Continuing grant
Mathematical Sciences: Markov Chains and Self-Organizing Data Structures
数学科学:马尔可夫链和自组织数据结构
- 批准号:
9311367 - 财政年份:1993
- 资助金额:
$ 3万 - 项目类别:
Continuing Grant
Mathematical Sciences: Structural Properties of Non Self Adjoint Operator Algebras
数学科学:非自伴随算子代数的结构性质
- 批准号:
9204811 - 财政年份:1992
- 资助金额:
$ 3万 - 项目类别:
Continuing Grant
Mathematical Sciences: Quantum Self-Trapping
数学科学:量子自陷
- 批准号:
9114503 - 财政年份:1992
- 资助金额:
$ 3万 - 项目类别:
Continuing Grant
Mathematical Sciences: Non-Self-Dual Yang-Mills Connections
数学科学:非自对偶杨米尔斯联系
- 批准号:
9106807 - 财政年份:1991
- 资助金额:
$ 3万 - 项目类别:
Standard Grant
Mathematical Sciences: Problems in the Theories of Partial Sums, Self-Normalized Sums, Partial Maxima and Random Sets
数学科学:部分和、自归一化和、部分极大值和随机集理论中的问题
- 批准号:
9001008 - 财政年份:1990
- 资助金额:
$ 3万 - 项目类别:
Interagency Agreement