A NOTE ON THE COMPLETENESS OF KOZEN'S AXIOMATISATION OF THE PROPOSITIONAL u-CALCULUS

Igor Walukiewicz

首页> 外文期刊>The bulletin of symbolic logic >A NOTE ON THE COMPLETENESS OF KOZEN'S AXIOMATISATION OF THE PROPOSITIONAL u-CALCULUS

【24h】

A NOTE ON THE COMPLETENESS OF KOZEN'S AXIOMATISATION OF THE PROPOSITIONAL u-CALCULUS

机译：关于拟定u演算的Kozen轴求完全化的一个注记

获取原文

获取原文并翻译 | 示例

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

开具论文收录证明 >>

文献代查 >>

页面导航

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

摘要

The prepositional /t-calculus is an extension of the modal system K with a least ftxpoint operator. Kozen posed a question about completeness of the axiomatisation of the logic which is a small extension of the axiomatisation of the modal system K. It is shown that this rxiomatisation is complete.

机译：介词/ t演算是具有最小ftxpoint算子的模态系统K的扩展。 Kozen提出了一个关于逻辑公理化完整性的问题，这是模态系统K的公理化的一个小扩展。证明了这种公理化是完整的。

著录项

来源
《The bulletin of symbolic logic》 |1996年第3期|共18页
作者
Igor Walukiewicz;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类数理逻辑（符号逻辑）;
关键词

相似文献

外文文献
中文文献
专利

1. A NOTE ON THE COMPLETENESS OF KOZEN'S AXIOMATISATION OF THE PROPOSITIONAL u-CALCULUS [J] . Igor Walukiewicz The bulletin of symbolic logic . 1996,第3期

机译：关于拟定u演算的Kozen轴求完全化的一个注记
2. A note on the axiomatisation of real numbers [J] . Thierry Coquand, L. Henri Lombardi Mathematical logic quarterly: MLQ . 2008,第3期

机译：关于实数公理化的注释
3. A Complete Axiomatisation of a Fragment of Language Algebra [J] . Paul Brunet LIPIcs : Leibniz International Proceedings in Informatics . 2020,第30期

机译：一种语言代数片段的完全公理化
4. Completeness of Kozen's axiomatisation of the propositional /spl mu/-calculus [C] . Walukiewicz, I. . 1995

机译：命题/ spl mu /-演算的Kozen公理化的完整性
5. Proposition and Exploration of a Complete Model of Strategic Resource Utility [D] . Hayduk, Theodore, III. 2018

机译：一个完整模式的主张与探索战略资源效用
6. Effects of Guided Notes Versus Completed Notes during Lectures on College Students Quiz Performance [O] . Nancy A Neef, Brandon E McCord, Summer J Ferreri 2006

机译：演讲过程中的指导笔记与完成笔记对大学生测验成绩的影响
7. Completeness of Kozen's Axiomatisation of the Propositional μ-Calculus [O] . Walukiewicz Igor 2000

机译：命题微积分的Kozen公理化的完整性
8. Complete Axiomatisations of Weak,-, Delay- and Eta-Bisimulation for Process211 Algebras with Alternative Quantification Over Data. Software Engineering [R] . Luttik, S. P. 1999

机译：完全axiomatisations的弱， - ，延迟和Eta - 双模拟过程211代数与数据的替代量化。软件工程

A NOTE ON THE COMPLETENESS OF KOZEN'S AXIOMATISATION OF THE PROPOSITIONAL u-CALCULUS

摘要

著录项

相似文献

相关主题

期刊订阅