暴力收缩与严重撤回研究：初步报告
计算机科学中的逻辑
2016-03-31 v1
摘要
本文研究基于有界围封的暴力基收缩类，以及基于通过有界围封定义的有界认知嵌入关系（使用 Mary-Anne Williams 提出的过程）的严重撤回类。我们给出这些函数类的公理化刻画，并考察它们之间的相互关系。
引用
@article{arxiv.1603.09286,
title = {Studies on Brutal Contraction and Severe Withdrawal: Preliminary Report},
author = {Marco Garapa and Eduardo Fermé and Maurício D. L. Reis},
journal= {arXiv preprint arXiv:1603.09286},
year = {2016}
}