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
Profinite Completions and Canonical Extensions of Heyting Algebras

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
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了