Coalgebraic Completeness-via-Canonicity Principles and Applications

机译：典籍的煤代数完整性原理和应用

获取原文

获取原文并翻译 | 示例

页面导航

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

摘要

We present the technique of completeness-via-canonicity in a coalgebraic setting and apply it to both positive and boolean coalgebraic logics with relational semantics.

机译：我们介绍了在一个完整的代数环境中，通过正则性的完整性技术，并将其应用于具有关系语义的正和布尔型代数逻辑。

著录项

来源
《Coalgebraic methods in computer science》|2016年|174-194|共21页
会议地点 Eindhoven(NL)
作者
Fredrik Dahlqvist;
展开▼
作者单位

University College London, London, UK;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. Coalgebraic completeness-via-canonicity for distributive substructural logics [J] . Dahlqvist Fredrik, Pym David Journal of Logic and Algebraic Programming . 2017,第deca期

机译：分布子结构逻辑的通过正典的代数完整性
2. Nominal Coalgebraic Data Types with Applications to Lambda Calculus [J] . AlexanderKurz, DanielaLuanPetrisan, PaulaSeveri, Logical Methods in Computer Science . 2013,第4期

机译：名义Coalgebraic数据类型及其在Lambda微积分中的应用
3. A coalgebraic approach to non-determinism: Applications to multilattices [J] . Cabrera I.P., Cordero P., Gutiérrez G., Information Sciences: An International Journal . 2010,第22期

机译：非确定性的共生方法：应用于多晶格
4. Coalgebraic Completeness-via-Canonicity Principles and Applications [C] . Fredrik Dahlqvist IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science . 2016

机译：煤炭地基完整性 - 通过Con-Connicity原理和应用
5. A Quantitative Research Study Analyzing Adjunct Professors' Perceived Extent of Application of Effective Teaching Principles and the Adjunct Professors' Perceptions of How Their Educational Backgrounds Have Prepared Them to Implement Effective Teaching Principles. [D] . Hanson, Paul D. 2016

机译：一项定量研究，分析了兼职教授对有效教学原理的理解程度，以及对兼职教授对他们的教育背景如何实施有效教学原理的认识。
6. Principles Techniques and Applications of T2*-based MR Imaging and Its Special Applications [O] . Govind B. Chavhan, Paul S. Babyn, Bejoy Thomas, -1

机译：基于T2 *的MR成像原理技术及其应用特殊应用
7. Coalgebraic completeness-via-canonicity for distributive substructural logics [O] . Dahlqvist, Fredrik, Pym, David 2016

机译：分布式子结构的代数完备性 - 通过正规性逻辑
8. Applications Analysis: Principles and Examples from Various Distributed Computer Applications at Sandia National Laboratories New Mexico [R] . Bateman, D., Evans, D., Jensen, D., 1999

机译：应用分析：新墨西哥桑迪亚国家实验室各种分布式计算机应用的原理和实例

Coalgebraic Completeness-via-Canonicity Principles and Applications

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅