Truth-Preservation under Fuzzy pp-Formulas

Pilar Dellunde, Amanda Vidal

Research output: Contribution to journalArticleResearchpeer-review

1 Citation (Scopus)

Abstract

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.

Original languageEnglish
Pages (from-to)89-105
Number of pages17
JournalInternational Journal of Uncertainty, Fuzziness and Knowlege-Based Systems
Volume27
Issue numberSuppl.1
DOIs
Publication statusPublished - 1 Dec 2019

Keywords

  • Fuzzy constraint satisfaction
  • fuzzy logics
  • model theory

Fingerprint Dive into the research topics of 'Truth-Preservation under Fuzzy pp-Formulas'. Together they form a unique fingerprint.

Cite this