Individual Medvedev Frames的逻辑
计算机视觉与模式识别
2025-01-03 v2 数据库
摘要
设n-Medvedev逻辑ML_n为基于集合大小为n的非空子集的Medvedev框架的直觉逻辑，我们称之为n-Medvedev框架。虽然这些是表格逻辑，但在通过表征n-Medvedev框架具有至少n个最大点的属性后，我们提供了一种通过该属性对应的Gabbay风格规则来对其进行统一公理化。进一步探讨了ML_n的紧凑性、析取性和结构完备性等性质，并与Medvedev逻辑ML进行了比较。
引用
@article{arxiv.2412.20177,
title = {Mining Platoon Patterns from Traffic Videos},
author = {Yijun Bei and Teng Ma and Dongxiang Zhang and Sai Wu and Kian-Lee Tan and Gang Chen},
journal= {arXiv preprint arXiv:2412.20177},
year = {2025}
}