逻辑的非对称组合是函子性的：综述
逻辑
2017-05-10 v2
摘要
逻辑的非对称组合是一种形式过程，它在一种特定逻辑之上发展另一种逻辑的特征。典型例子包括在给定基逻辑上发展时间、混合和概率维度。本文从特定视角——此类逻辑组合具有函子性——综述这些例子。这种观点引发了若干有趣问题。它们从组合(逻辑间的)翻译的问题，到沿过程确保性质保持，以及不同非对称组合如何通过适当的自然变换相关联。
引用
@article{arxiv.1611.04170,
title = {Asymmetric combination of logics is functorial: A survey},
author = {Renato Neves and Alexandre Madeira and Luis S. Barbosa and Manuel A. Martins},
journal= {arXiv preprint arXiv:1611.04170},
year = {2017}
}