Categorical relationships between Goguen sets and 'two-sided' categorical models of linear logic

Basil K. Papadopoulos; Apostolos Syropoulos

首页> 外文期刊>Fuzzy sets and systems >Categorical relationships between Goguen sets and 'two-sided' categorical models of linear logic

【24h】

Categorical relationships between Goguen sets and 'two-sided' categorical models of linear logic

机译：Goguen集与线性逻辑的“双面”分类模型之间的分类关系

获取原文

获取原文并翻译 | 示例

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

开具论文收录证明 >>

文献代查 >>

页面导航

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

摘要

The relationships between "two-sided" categorical models of linear logic and Goguen sets is investigated. In particular, we show that only certain Goguen sets can be represented as Chu spaces, while it is possible to represent any Goguen set as a Dialectica space. In addition, we discuss the benefits of these representations.

机译：研究了线性逻辑的“双面”分类模型与Goguen集之间的关系。特别是，我们证明只有某些Goguen集可以表示为Chu空间，而任何Goguen集都可以表示为方言空间。另外，我们讨论了这些表示的好处。

著录项

来源
《Fuzzy sets and systems》 |2005年第3期|p.501-508|共8页
作者
Basil K. Papadopoulos; Apostolos Syropoulos;
展开▼
作者单位

Department of Civil Engineering, Section of Mathematics, Democritus University of Thrace, Xanthi GR-671 00, Greece;

展开▼
收录信息美国《科学引文索引》(SCI);美国《工程索引》(EI);
原文格式 PDF
正文语种 eng
中图分类模糊数学;
关键词

相似文献

外文文献
中文文献
专利

1. Categorical Proof Theory of Co-Intuitionistic Linear Logic [J] . GianluigiBellin Logical Methods in Computer Science . 2014,第3期

机译：直觉线性逻辑的分类证明理论
2. Towards a Common Categorical Semantics for Linear-Time Temporal Logic and Functional Reactive Programming [J] . Wolfgang Jeltsch Electronic Notes in Theoretical Computer Science . 2012,第3期

机译：迈向线性时间时序逻辑和功能反应式编程的共同分类语义学
3. Relating Categorical Semantics for Intuitionistic Linear Logic [J] . Maria Emilia Maietti, Paola Maneggia, Valeria de Paiva, Applied categorical structures . 2005,第1期

机译：与直觉线性逻辑相关的分类语义
4. Categorical models of Linear Logic with fixed points of formulas [C] . Thomas Ehrhard, Farzad Jafarrahmani Annual ACM/IEEE Symposium on Logic in Computer Science . 2021

机译：公式固定点线性逻辑的分类模型
5. A categorical approach to linear logic, geometry of proofs and full completeness. [D] . Haghverdi, Esfandiar. 2000

机译：线性逻辑，证明几何和完全完整性的一种分类方法。
6. A family of partial-linear single-index models for analyzing complex environmental exposures with continuous categorical time-to-event and longitudinal health outcomes [O] . Yuyan Wang, Yinxiang Wu, Melanie H. Jacobson, 2020

机译：用于分析复杂的环境暴露的部分线性单索引模型具有连续分类对事件和纵向健康结果
7. Categorical models of linear logic revisited [O] . Melliès Paul-André 2003

机译：线性逻辑的分类模型
8. Loglinear Models and Categorical Data Analysis with Psychometric and Econometric Applications. Revision. [R] . Fienberg, S. E., Meyer, M. M. 1982

机译：具有心理测量和计量经济学应用的对数线性模型和分类数据分析。修订。

Categorical relationships between Goguen sets and 'two-sided' categorical models of linear logic

摘要

著录项

相似文献

相关主题

期刊订阅