归纳行为关系的上至技术的抽象解释
计算机科学中的逻辑
2024-12-11 v1
摘要
“上至技术”代表了对余归纳证明方法的增强,并广泛用于双相似性等余归纳行为关系。这些余归纳技术的抽象表述已存在,使用不动点或范畴论。最近有人提出将这些增强技术移植到归纳行为关系的具体领域,即由归纳可观测性(如迹或迹的增强形式)定义的关系。然而,这些“归纳增强”的抽象含义尚未被探索。本文回顾了相关理论,并利用完全格中的不动点理论,提出了其抽象解释。
关键词
引用
@article{arxiv.2412.07351,
title = {An Abstract Account of Up-to Techniques for Inductive Behavioural Relations},
author = {Davide Sangiorgi},
journal= {arXiv preprint arXiv:2412.07351},
year = {2024}
}