On constructing a logic for the notion of complete and immediate formal grounding

Francesca Poggiolesi

首页> 外文期刊>Synthese: An International Journal for Epistemology, Methodology and Philosophy of Science >On constructing a logic for the notion of complete and immediate formal grounding

【24h】

On constructing a logic for the notion of complete and immediate formal grounding

机译：构建完全和立即正式接地概念的逻辑

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

AbstractIn Poggiolesi (2016b) we have introduced a rigorous definition of the notion of complete and immediate formal grounding; in the present paper our aim is to construct a logic for the notion of complete and immediate formal grounding based on that definition. Our logic will have the form of a calculus of natural deduction, will be proved to be sound and complete and will allow us to have fine-grained grounding principles.]]>

机译：<！[cdata [ <标题>抽象 ara id =“par1”>在Poggiolesi（2016b）中我们介绍了一个严格的定义完全和立即正式接地的概念; 在本文中，我们的目标是构建基于该定义的完整和立即正式接地概念的逻辑。我们的逻辑将具有自然扣除微积分的形式，将被证明是健全的，并将让我们有细粒度的接地原则。 ]]>

著录项

来源
《Synthese: An International Journal for Epistemology, Methodology and Philosophy of Science》 |2018年第3期|共24页
作者
Francesca Poggiolesi;
展开▼
作者单位

Université Paris 1 Panthéon-Sorbonne CNRS ENS UMR 8590 IHPST – Institut d’Histoire et de Philosophie des Sciences et des Techniques;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类认识论;
关键词
Grounding; derivability; logic;

机译：接地;衍生性;逻辑;

相似文献

外文文献
中文文献
专利

1. On constructing a logic for the notion of complete and immediate formal grounding [J] . Francesca Poggiolesi Synthese: An International Journal for Epistemology, Methodology and Philosophy of Science . 2018,第3期

机译：构建完全和立即正式接地概念的逻辑
2. Constructing and Extending Description Logic Ontologies using Methods of Formal Concept Analysis A Dissertation Summary [J] . Kriegel Francesco Kunstliche Intelligenz . 2020,第3期

机译：使用正式概念分析方法构建和扩展描述逻辑本体论文摘要
3. Constructing formal semantics from an ontological perspective. The case of second-order logics [J] . Thibaut Giraud Synthese: An International Journal for Epistemology, Methodology and Philosophy of Science . 2014,第10期

机译：从本体论的角度构造形式语义。二阶逻辑的情况
4. Constructing Fully Complete Models for Multiplicative Linear Logic [C] . Schalk Andrea, Steele Hugh Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science . 2012

机译：为乘法线性逻辑构建完全完整的模型
5. Soundness and completeness of formal logics of symmetric encryption. [D] . Bana, Gergely. 2004

机译：对称加密形式逻辑的健全性和完整性。
6. Repressor logic modules assembled by rolling circle amplification platform to construct a set of logic gates [O] . Hua Wei, Bo Hu, Suming Tang, -1

机译：滚动循环放大平台组装的阻遏器逻辑模块以构建一组逻辑门
7. On constructing a logic for the notion of complete and immediate formal grounding [O] . Poggiolesi, Francesca 2017

机译：关于为完整和直接的正式基础概念构建逻辑

On constructing a logic for the notion of complete and immediate formal grounding

摘要

著录项

相似文献

相关主题

期刊订阅