Coherence and Transitivity of Subtyping as entailment

KATHLEEN MILSTED; NET; SERGEI SOLVIEV

首页> 外文期刊>Journal of logic and computation >Coherence and Transitivity of Subtyping as entailment

【24h】

Coherence and Transitivity of Subtyping as entailment

机译：子类型的连贯性和传递性

获取原文

获取原文并翻译 | 示例

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

开具论文收录证明 >>

文献代查 >>

页面导航

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

摘要

The relation of inclusion between types has been suggested by the practice of programming as it enriches the poly- morphism of functional languages. We propose a simple (and linear) sequent calculus for subtyping as logical en- tailment. This allows us to derive a complete and coherent approach to subytping from a few, logically meaningful sequents. In particular, transitivity and anti-symmetry will be derived from elementary logical principles.

机译：通过编程的实践已经提出了类型之间的包含关系，因为它丰富了功能语言的多态性。我们为子类型化提出了一个简单的（线性的）后续演算，作为逻辑上的补充。这使我们能够从一些逻辑上有意义的事件中得出一种完整而连贯的方法来进行分词。特别是，可传递性和反对称性将从基本逻辑原理中得出。

著录项

来源
《Journal of logic and computation》 |2000年第4期|p.493-526|共34页
作者
KATHLEEN MILSTED; NET; SERGEI SOLVIEV;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类计算技术、计算机技术;
关键词
Second-order logic; Gentzen sequent calculus; polymorphism;

机译：二阶逻辑;根岑相继演算;多态性;

相似文献

外文文献
中文文献
专利

1. Non-structural subtype entailment in automata theory [J] . Niehren J., Priesnitz T. Information and computation . 2003,第2期

机译：自动机理论中的非结构性亚型蕴涵
2. Probabilistic entailment in the setting of coherence: The role of quasi conjunction and inclusion relation [J] . Angelo Gilio, Giuseppe Sanfilippo International Journal of Approximate Reasoning . 2013,第4期

机译：连贯性背景下的概率蕴涵：拟合和包含关系的作用
3. Transitivity in coercive subtyping [J] . Luo ZH, Luo Y Information and computation . 2005,第1a2期

机译：强制性子类型中的及物性
4. Coherence and Transitivity in Coercive Subtyping [C] . Yong Luo, Zhaohui Luo Logic for Programming, Artificial Intelligence, and Reasoning . 2001

机译：强制子类型化中的连贯性和及物性
5. L2 acquisition of transitivity alternations and of the entailment relations for causatives by Korean speakers of English and English speakers of Korean. [D] . Kim, Jae Yeon. 2005

机译：母语为英语的朝鲜语使用者和英语为朝鲜语的母语使用者获得及物性交替和因果关系的第二级关系。
6. Quantitative assessment of vascular density in diabetic retinopathy subtypes with optical coherence tomography angiography [O] . Fariba Ghassemi, Kaveh Fadakar, Sahar Berijani, 2021

机译：光学相干断层造影血管造影糖尿病视网膜病亚型血管密度的定量评估
7. Coherence and transitivity in coercive subtyping [O] . Luo, Yong 2004

机译：强制子类型中的连贯性和传递性
8. Controle de Coherence en Systemes Transactionnels. Tome 2. Protocole de Controle de Coherence dans UN Sgbd Reparti (Coherence Control in Transactional Systems. Volume 2. Coherence Control Protocol in a Distributed Data Base Manage [R] . Lugern, J. 1986

机译：Controle de Coherence en systemes Transactionnels。 Tome 2. protocole de Controle de Coherence dans UN sgbd Reparti（交互系统中的一致性控制。第2卷。分布式数据库管理中的一致性控制协议

Coherence and Transitivity of Subtyping as entailment

摘要

著录项

相似文献

相关主题

期刊订阅