模糊PP-公式的真值保持性
Truth-preservation under fuzzy pp-formulas
摘要：
非经典逻辑如何有助于分析计算机科学中的复杂性？在本文中，我们给这个问题的一个步骤，采取逻辑模型理论的方法来分析模糊约束满足的复杂性。研究了模糊正本原句，给出了由这类句子公理化的类的同态和直积的代数刻画。最终目标是研究非经典语言的表达能力和推理机制，约束满足问题，并在一般情况下，在建模决策方案。模糊约束满足，模糊逻辑，模型论。
英文摘要：
How can non-classical logic contribute to the analysis of complexity in computer science? In this paper, we give a step towards this question, taking a logical model-theoretic approach to the analysis of complexity in fuzzy constraint satisfaction. We study fuzzy positive-primitive sentences, and we present an algebraic characterization of classes axiomatized by this kind of sentences in terms of homomorphisms and direct products. The ultimate goal is to study the expressiveness and reasoning mechanisms of non-classical languages, with respect to constraint satisfaction problems and, in general, in modelling decision scenarios. fuzzy constraint satisfaction, fuzzy logics, model theory.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
