Łukasiewicz句法推论的微分语义学
逻辑
2012-07-25 v1
摘要
经典条件“φ是Θ的语义推论”在无穷值命题Łukasiewicz逻辑Ł∞中被细化，使用富化赋值，考虑了所有θ∈Θ的真值在模型的小扰动（或测量误差）下的稳定性对φ的影响。由φ和所有θ∈Θ所表示函数的微分性质自然导致了一个新的语义推论概念⊧_∂，结果证明与句法推论⊢一致。
引用
@article{arxiv.1207.5713,
title = {The differential semantics of Lukasiewicz syntactic consequence},
author = {Daniele Mundici},
journal= {arXiv preprint arXiv:1207.5713},
year = {2012}
}