A Gentzen-style axiomatization for basic predicate calculus

Mojtaba Aghaei; Mohammad Ardeshir

首页> 外文期刊>Archive for Mathematical Logic >A Gentzen-style axiomatization for basic predicate calculus

【24h】

A Gentzen-style axiomatization for basic predicate calculus

机译：基本谓词演算的Gentzen式公理化

获取原文

获取原文并翻译 | 示例

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

开具论文收录证明 >>

文献代查 >>

页面导航

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

摘要

We introduce a Gentzen-style sequent calculus axiomatization for Basic Predicate Calculus. Our new axiomatization is an improvement of the previous axiomatizations, in the sense that it has the subformula property. In this system the cut rule is eliminated.

机译：我们介绍了针对基本谓词演算的Gentzen式顺序演算公理。我们新的公理化是对先前公理化的改进，从某种意义上说，它具有子公式的性质。在该系统中，消除了切割规则。

著录项

来源
《Archive for Mathematical Logic》 |2003年第3期|共15页
作者
Mojtaba Aghaei; Mohammad Ardeshir;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类数理逻辑、数学基础;
关键词
basic predicate calculus; cut elimination; sequent;

机译：基本谓词演算;消减;后续;

相似文献

外文文献
中文文献
专利

1. A Gentzen-style axiomatization for basic predicate calculus [J] . Mojtaba Aghaei, Mohammad Ardeshir Archive for Mathematical Logic . 2003,第3期

机译：基本谓词演算的Gentzen式公理化
2. Gentzen-Style Sequent Calculus for Semi-intuitionistic Logic [J] . Castano Diego, Manuel Cornejo Juan Studia Logica . 2016,第6期

机译：半直觉逻辑的Gentzen式顺序演算
3. A Gentzen-style sequent calculus of constructions with expansion rules [J] . Seldin JP. Theoretical computer science . 2000,第1a2期

机译：具有扩展规则的构造的Gentzen式顺序演算
4. A Complete Gentzen-Style Axiomatization for set COnstraints [C] . Allan Cheng, Dexter Kozen Automata, languages and programming . 1996

机译：集合约束的完整Gentzen风格公理化
5. Formal calculus, umbral calculus, and basic axiomatics of vertex algebras. [D] . Robinson, Thomas J. 2009

机译：顶点代数的形式演算，本影演算和基本公理。
6. Toward an Account of Clinical Anxiety Predicated on Basic Neurally-Mapped Mechanisms of Pavlovian Fear-Learning: The Case for Conditioned Overgeneralization [O] . Shmuel Lissek -1

机译：对Pavlovian恐惧学习的基本神经映射机制的临床焦虑的叙述：条件全面化的情况
7. A Finitely Axiomatized Formalization of Predicate Calculus with Equality [O] . 1995

机译：具有等式的谓词演算的有限公理化形式化
8. Predicate Calculus: Concepts and Misconceptions [R] . Bijlsma, L., Nederpelt, R. 1996

机译：谓词微积分：概念和误解

A Gentzen-style axiomatization for basic predicate calculus

摘要

著录项

相似文献

相关主题

期刊订阅