数学模糊逻辑中一阶结构类的语法刻画
逻辑
2019-01-08 v1
摘要
本文是数学模糊逻辑背景下分级模型理论的一个贡献。我们研究根据一阶公理化式的语法形式对分级结构类进行刻画。我们关注由全称句和全称-存在句给出的类。特别地，我们在取值于有限MTL-代数的结构环境中使用图技术证明了两个融合结果，由此可得Łoś–Tarski和Chang–Łoś–Suszko保持定理的类似物。
引用
@article{arxiv.1901.01827,
title = {Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic},
author = {Guillermo Badia and Vicent Costa and Pilar Dellunde and Carles Noguera},
journal= {arXiv preprint arXiv:1901.01827},
year = {2019}
}