Completeness for linear continuous logic

Bagheri Seyed-Mohammad; Safari Roghieh

首页> 外文期刊>Journal of logic and computation >Completeness for linear continuous logic

【24h】

Completeness for linear continuous logic

机译：线性连续逻辑的完备性

获取原文

获取原文并翻译 | 示例

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

开具论文收录证明 >>

文献代查 >>

页面导航

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

摘要

We prove completeness of linear continuous logic introduced in [3] and [4] with respect to a linear system of axioms and rules.

机译：我们证明了关于公理和规则的线性系统[3]和[4]中引入的线性连续逻辑的完整性。

著录项

来源
《Journal of logic and computation》 |2017年第4期|985-998|共14页
作者
Bagheri Seyed-Mohammad; Safari Roghieh;
展开▼
作者单位

Tarbiat Modares Univ, Fac Math Sci, Dept Pure Math, POB 14115-134, Tehran, Iran;

Tarbiat Modares Univ, Fac Math Sci, Dept Pure Math, POB 14115-134, Tehran, Iran;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类
关键词
Linear continuous logic; completeness; linear compactness;

机译：线性连续逻辑;完备性;线性紧致性;

相似文献

外文文献
中文文献
专利

1. A Modal Logic That is Complete with Respect to Strictly Linearly Ordered A-Models [J] . V. F. Murzina Algebra and logic . 2005,第5期

机译：关于严格线性有序A模型的模态逻辑
2. A completeness theorem for continuous predicate modal logic [J] . Baratella Stefano Archive for Mathematical Logic . 2019,第1a2期

机译：连续谓词模态逻辑的完整性定理
3. RETRACTED ARTICLE: A completeness theorem for continuous predicate modal logic [J] . Stefano Baratella Archive for Mathematical Logic . 2017,第7a8期

机译：缩回文章：连续谓词模态逻辑的完整性定理
4. A Complete Decision Procedure for Linearly Compositional Separation Logic with Data Constraints [C] . Xincai Gu, Taolue Chen, Zhilin Wu International joint conference on automated reasoning . 2016

机译：具有数据约束的线性合成分离逻辑的完整决策程序
5. A categorical approach to linear logic, geometry of proofs and full completeness. [D] . Haghverdi, Esfandiar. 2000

机译：线性逻辑，证明几何和完全完整性的一种分类方法。
6. Capsular phimosis with complete occlusion of the anterior capsular opening after intact continuous curvilinear capsulorrhexis [O] . Soliman A. Al-Kharashi, Majed Al-Obailan 2017

机译：完整性连续曲线型痔疮后囊膜包茎完全闭塞前囊开口
7. Discrete (Granular) Logics: A New (Natural) Notion of Continuity, with a Complete Description Of All Continuous Granular Logics [O] . Nguyen Hung T., Kreinovich Vladik 2000

机译：离散（粒度）逻辑：一种新的（自然）连续性概念，具有所有连续粒度逻辑的完整描述
8. A Complete Analysis of a Model Nonlinear Singular Perturbation Problem Having a Continuous Locus of Singular Points [R] . Kopell, N., Parter, S. V. 1981

机译：具有奇异点连续轨迹的模型非线性奇异摄动问题的完全分析

Completeness for linear continuous logic

摘要

著录项

相似文献

相关主题

期刊订阅