{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2024,2,20]]，“日期-时间”：“2024-02-20T16:10:41Z”，“时间戳”：1708445441137}，“参考-计数”：36，“出版商”：“剑桥大学出版社（CUP）”，“发行”：“1”，“许可证”：[{“开始”：{“日期-零件”：[2014,3,12]]，“时间”：“2014-03-12T00:00:00Z”，“时间戳”：1394582400000｝，“内容版本”：“未指定”，“延迟天数”：2568，“URL”：“https://www.cambridge.org/core\/terms”｝]，“内容域”：｛“域”：[]，“交叉标记限制”：false｝，“短容器标题”：[“J.symb.log.”]，“已发布的印刷品”：｛“日期部分”：[[2007,3]]｝，“摘要”：“摘要<\/jats:title>我们研究了基于常数域可数线性Kripke框架的中间谓词逻辑与G\u00f6del逻辑之间的关系。我们证明，对于任何这样的克里普克框架，都有一个G\u00f6del逻辑，它与该克里普克框在常数域上定义的逻辑一致，反之亦然。这使我们能够将关于G\u00f6del逻辑的几个最新结果转移到基于常数域可数线性Kripke框架的逻辑：我们获得了基于常数域的可数线性Kripke帧的逻辑公理化性的完整特征。此外，我们还得到了常数域上由可数线性Kripke框架定义的逻辑的总数是可数的<\/jats:p>“，”DOI“：”10.2178\/jsl\/1174668382“，”type“：”journal-article“，”created“：{”date-parts“：[[2007,12,19]]，”date-time“：”2007-12-19T16:24:33Z“，”timestamp“：1198081473000}，”page“：“26-44”，“source”：“Crossref”，“is-referenced-by-count”：11，“title”：[“Linear Kripke frames and G\u00f6del logics”]，“前缀”：“10.1017”，“卷”：“72”，“作者”：[{“给定”：“Arnold”，“family“：”Beckmann“，”sequence“：”first“，”affiliation“：[]}，{”given“：”Norbert“，”family”：“Preining”，“sequence”：“additional”，“affiliation:[]}]，“member”：“56”，“published-online”：{“date-parts”：[[2014,3,12]}，“reference”：[{“key”：“S0022481200005466_ref033”，“doi-assertd-by”：“publisher”，“doi”：“10.21099\/tkbjm \/1496160505“}，{”密钥“：”S0022481200005466_ref007“，”非结构化”：“Beckmann A.、Goldstern M.和Preining N.，《连续Fra\u00efss\u00e9猜想，秩序》。提交。预印本：http:\/\/arxiv.org\/math。L0\/0411117.“}，{”key“：”S0022481200005466_ref032“，”first page“：。奥地利维也纳理工大学博士论文，2003年。，{“key“：”S0022481200005466_ref026“，”doi asserted by“：”publisher“，”doi“：”10.2977\\prims\\1195192964“｝，｛”key“：”S0022481200005466_ref025“，”首页“：”461\u2013476“，”文章标题“：”Kripke模型和中间逻辑“，”卷“：”6“，”作者“：”小野“，”年份“：”1971“，”期刊标题“：”出版物。京都大学数学科学研究所“}，{“key”：“S0022481200005466_ref023”，“首页”：“1099\u20131124”，“卷”：“55”，“author”：“Minari”，“year”：“1990”，“journal-title”：“由序数决定的中间谓词逻辑”}，}“key”：“SO0022481120005466_ref021”，“first page”：1997年”，“journal-title”：“关于直觉主义逻辑中命题量化的复杂性”}，{“key”：“S0022481200005466_ref020”，“doi-asserted-by”：“publisher”，”doi“：“10.1007\/978-1-4612-4190-4”}、{“key”：”S002248.1200005466_ ref019“，“首页”：“395\u2013409”，“卷”：“34”，“作者”：“Horn”，“年份”：“1969”，”journal-title“：”线性序Heyting代数中真值的逻辑“}，{“key”：“S0022481200005466_ref034”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/BF00370376”}，“key“：”S0022481 200005466_ ref005“，“first page”：”108\u2013113“，”volume-title“：”第28届多值逻辑国际研讨会。1998年5月，日本福冈。Proceedings“，”author“：”Baaz“年份“：”1998“}，{“key”：“S0022481200005466_ref010”，“first page”：”183\u2013192“，“article-title”：“On the lattice of subvariates”，”volume“：”5“，”author“：”Davey“，”year“：”1979“，”journal-title“：”Houston journal of Mathemathematics“}，{“密钥”：“S0022481200005466_ref002“，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/0304-3975（95，“卷时间”：“论文集G\u00f6del’96，数学、计算机科学和物理的逻辑基础\u2014Kurt G\u0f6del's legacy”，“卷”：“6”，“作者”：“Baaz”，年：“1996”}，{“密钥”：“S0022481200005466_ref015”，“doi-asserted-by”：“publisher”，”doi“：”10.1007\/978-94-017-2977-2“}，“密钥”:“S00228120005466_ref003”，《首页》：“1\u201315”，“卷时间“：”计算机科学逻辑“，”author“：”Baaz“，”year“：”1996“}，{”key“：”S0022481200005466_ref013“，”volume-title“：”直觉主义逻辑、模型理论和强制“，”author“:”Fitting“，”year“：“1969”}，”{“key”：“S002248.1200005466_ ref014”，“首页”：“1330\u20131331”，“article-title”：“Sur la comparison des types d'ordres”，“volume”：”226“，”“author”：“”Fra\u00efss\u00e9“，“年份”：“1948年”，“新闻标题”：“巴黎科学院2019Academ\u00e 9mie des Sciences Paris”}，{“key”：“S0022481200005466_ref008”，“volume-title”：“格理论”，“author”：“Birkhoff”，“year”：“1967”}数学逻辑”，“作者”：“Troelstra”，“年份：“1977”｝，｛“key”：“S0022481200005466_ref022”，“首页”：“92\u2013130”，“卷标题”：“形式系统和递归函数（牛津第八届逻辑学术讨论会论文集，1963）”，“作者”：“Kripke”，“年份”：“1965”｝，｛“key”：“S0022481200005466_ref004”，“卷标题”：“纯粹与应用逻辑年鉴”，“作者”：“Baaz”，“年份”：“2006”｝，｛“key”：“S0022481200005466_ref012“，“卷-时间”：“Heyting代数，I，对偶理论”，“作者”：“Esakia”，“年份”：“1985”}，{“键”：“S0022482120005466_ref009”，“doi-asserted-by”：“crossref”，“doi”：“10.1093\/oso\/978198537793.001.0001”，“卷/时间”：《模态逻辑》，“卷”：“35”，“作家”：“Chagrov”，“年”：“1997”“}，{”key“：”S0022481200005466_ref011“，”首页“：”96\u2013107“，“卷”：“24”，“作者”：“Dummett”，“年份”：“1959”，“新闻标题”：“具有可数矩阵的命题逻辑”}，{“键”：“S0022481200005466_ref024”，“卷时间”：“描述性集合论”，“体积”：“100”，“作家”：“Moschovakis”，“年”：“1980”}内政部“：”10.1016\/S1570-8683（03）00008-9“}，{“key”：“S0022481200005466_ref016”，“首页”：“34\u201338”，“文章标题”：“Zum Intuitionischen Aussagenkalk\u00fcl”，“卷”：“4”，“作者”：“G\u00f6del”，“年份”：“1933”，“日志标题”：”Ergebnisse eines mathen Kolloquiums“}“：”publisher“，”doi“：”10.1090\/S0002-9939-1952-0052392-3“}，{“key”：“S0022481200005466_ref006”，“首页”：“178\u2013201”，“volume-title”：“计算机科学逻辑，CSL 2000年会刊”，“author”：“Baaz”，”year“：”2000“}，{”key“：”S0022481 200005466_ ref031“，”first page“：“159\u2013170”，“卷”：“27”，“作者”：“Scarpellini”，“年份”：“1962”，“journal title”：“容器标题”：[“符号逻辑期刊”]，“原标题”：[]，“语言”：“en”，“链接”：[{“URL”：“https://www.cambridge.org\/core\/services\/aop cambridge-core\/content\/view\/S022481200005466”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[2024,2,20]]，“date-time”：“2024-02-20T15:41:17Z”，“timestamp”：1708443677000}，“score”：1，“resource”：{“primary”：“URL”：“https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200005466\/type\/journal_article”}}，“：[]，”短标题“：[[]，“已发布”：{“date-parts”：[[2007,3]]}，“references-count”：36，“日记发布”：}“issue”：“1”，“published-print”：{“date-parts”：[[007,3]]}}，”alternative-id“：[”S0022481200005466“]，”URL“：”http://\/dx.doi.org\/10.2178\/jsl\/1174668382“，”关系“：{}”，“ISSN”：[”0022-4812“，“1943-5886”]，“ISSN-type”：[{“值”：“0022-4812”，“类型”：“打印”}，{“数值”：“1943-58 86”，“type”：“电子”}]，“主题”：[]，“发布”：{“日期部分”：[[2007,3]]}}}