Gödel模糊逻辑模态KD45扩张的可能性语义
计算机科学中的逻辑
2016-11-15 v1
摘要
本文为逻辑KD45(G)——即经典模态逻辑KD45的多值Gödel对应——提供了一种简化语义。更确切地说，我们将KD45(G)刻画为可能性Gödel Kripke框架类 的有效公式集，其中 是一个非空世界集，而 是 上的一个归一化可能性分布。
引用
@article{arxiv.1611.04444,
title = {Possibilistic semantics for a modal KD45 extension of G\"odel fuzzy logic},
author = {Félix Bou and Francesc Esteva and Lluís Godo and Ricardo Oscar Rodriguez},
journal= {arXiv preprint arXiv:1611.04444},
year = {2016}
}
备注
12 pages