高级搜索
1个文件| 658.08 KB 添加到列表

池模式和逐点交集:公理化和可判定性

(2021)STUDIA LOGICA工作室. 109(1).第47-93页
作者
组织
摘要
我们为逻辑建立了完整性和有限模型属性,这些逻辑具有Van De Putte和Klein(pooling models and pointwise intersection:semantics,expressivity,and applications)中引入的池模式。我们的规范模型的定义结合了标准技术和所谓的“拼图构造”,我们首先非正式地说明了这一点。然后,我们将其应用于具有池模式的最弱经典逻辑,并研究该技术对强逻辑公理化的潜力,该公理化是通过在模型上施加众所周知的框架条件获得的。
关键词
科学史与科学哲学,逻辑,点式交叉,联营方式,经典模态逻辑,完整性,有限模型属性,拼图块构造,逻辑

下载

  • Putte-Klein2021文章池模式和观点I.pdf
    • 全文(已发布版本)
    • |
    • 开放存取
    • |
    • PDF格式
    • |
    • 658.08 KB

引用

请使用此url引用或链接到此出版物:

MLA公司
范·德普特(Van De Putte)、弗雷德里克(Frederik)和多米尼克·克莱恩(Dominik Klein)。“集合模式和逐点交集:公理化和可决定性。”STUDIA LOGICA工作室第109卷,第1期,2021年,第47–93页,doi:10.1007/s11225-020-09901-6。
亚太地区
Van De Putte,F.和Klein,D.(2021)。池模式和逐点交集:公理化和可判定性。STUDIA LOGICA工作室,109(1), 47–93. https://doi.org/10.1007/s11225-020-09901-6
芝加哥作者日期
范·德普特(Van De Putte)、弗雷德里克(Frederik)和多米尼克·克莱恩(Dominik Klein)。2021.“汇集模式和点式交叉”:公理化和可判定性STUDIA LOGICA工作室109 (1): 47–93. https://doi.org/10.1007/s11225-020-09901-6。
芝加哥作者日期(所有作者)
范·德普特(Van De Putte)、弗雷德里克(Frederik)和多米尼克·克莱恩(Dominik Klein)。2021.“汇聚模式和逐点交集:公理化和可决定性。”逻辑研究109 (1): 47–93. doi:10.1007/s11225-020-09901-6。
温哥华
1
Van De Putte F,Klein D.Pooling模态和逐点交集:公理化和可判定性。斯图迪亚·洛吉卡。2021;109(1):47–93.
电气与电子工程师协会
[1]
F.Van De Putte和D.Klein,“池模式和逐点交集:公理化和可判定性”STUDIA LOGICA工作室第109卷,第1期,第47-93页,2021年。
@文章{8688075,abstract={{我们为以Van De Putte和Klein(pooling models and pointwise crossing:semantics,expressivity,and applications)中引入的池模式为特征的逻辑建立了完整性和有限模型属性。我们的规范模型的定义结合了标准技术和所谓的“拼图构造”,我们首先非正式地说明了这一点。然后,我们将其应用于具有池模式的最弱经典逻辑,并研究该技术对强逻辑公理化的潜力,该公理化是通过对模型施加众所周知的框架条件而获得的,author={{Van De Putte,Frederik和Klein,Dominik}},issn={{0039-3215}},日志={{STUDIA LOGICA}},keywords={{科学历史与哲学、逻辑、点交叉、集合模式、经典模态逻辑、完整性、有限模型属性、拼图构造、逻辑}},language={{eng}},数字={{1}},页数={{47--93}},title={{混合模式和逐点交集:公理化和可判定性}},url={{http://doi.org/10.1007/s11225-020-09901-6}},体积={{109}},年份={2021}},}
海拔高度
在Altmetric中查看
科学网
引用次数: