首页> 美国政府科技报告 >Proof Polynomials: A Unified Semantics for Modality and lambda-terms

【24h】

Proof Polynomials: A Unified Semantics for Modality and lambda-terms

机译：证明多项式：模态和lambda项的统一语义

获取原文

页面导航

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

摘要

In this paper we present a finite axiomatization of the Logic of Proofs in Hilbert, Gentzen and natural deductions systems and prove normalization theorems.

著录项

作者
Artemov, S. N.;
展开▼
作者单位

展开▼
年度 1998
页码 1-55
总页数 55
原文格式 PDF
正文语种 eng
中图分类工业技术;
关键词
Mathematical logic; Algorithms; Computer logic; Semantics; Structured programming;

机译：数学逻辑;算法;计算机逻辑;语义学;结构化编程;

相似文献

外文文献
中文文献
专利

1. The scope and limits of action semantics Reply to comments on 'Action semantics: A unifying conceptual framework for the selective use of multimodal and modality-specific object knowledge' [J] . Michiel van Elk, Hein van Schie, Harold Bekkering Physics of life reviews . 2014,第2期

机译：动作语义的范围和限制答复有关“动作语义：选择性使用多模式和特定于形式的对象知识的统一概念框架”的评论
2. Is a single 'hub', with lots of spokes, an accurate description of the neural architecture of action semantics? Comment on "Action semantics: A unifying conceptual framework for the selective use of multimodal and modality-specific object knowledge" by van Elk, van Schie and Bekkering [J] . Alex Martin, W. Kyle Simmons, Michael S. Beauchamp, Physics of life reviews . 2014,第2期

机译：具有多个辐条的单个“枢纽”是否准确描述了动作语义的神经结构？ van Elk，van Schie和Bekkering对“动作语义学：选择性使用多模式和特定于形式的对象知识的统一概念框架”的评论
3. Interpersonal action semantics Comment on "Action semantics: A unifying conceptual framework for the selective use of multimodal and modality-specific object knowledge" by van Elk, van Schie, & Bekkering [J] . Arthur M. Glenberg, Tamer Soliman Physics of life reviews . 2014,第2期

机译：人际行为语义学，由范·埃尔克，范·席伊和贝克克林撰写的有关“行为语义学：选择性使用多模式和特定于形式的对象知识的统一概念框架”的评论
4. A Modification to Unified Matrix Polynomial Approach (UMPA) for Modal Parameter Identification [C] . Seyed Ehsan Haji Agha Mohammad Zarbaf, Randall Allemang IMAC Conference and Exposition on Structural Dynamics . 2019

机译：对模态参数识别的统一矩阵多项式方法（UMPA）的修改
5. A generalized residuals model for the unified matrix polynomial approach to frequency domain modal parameter estimation. [D] . Fladung, William Austin. 2001

机译：用于频域模态参数估计的统一矩阵多项式方法的广义残差模型。
6. The Unified Medical Language System. the Umls Semantic Network: The UMLS Semantic Network [O] . Alexa T. McCray 1989

机译：统一医学语言系统。 Umls语义网络：UMLS语义网络
7. A modal proof theory for final polynomial coalgebras [O] . Friggens David, Goldblatt Robert 2006

机译：最终多项式代数的模态证明理论

Proof Polynomials: A Unified Semantics for Modality and lambda-terms

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅