Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic

DOI10.1007/S00500-019-03850-6MaRDI QIDQ2317508zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Guillermo Badia, Carles Noguera, V. Caselles, Pilar Dellunde

Publication date 12 August 2019

Published in Soft Computing (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/1901.01827

zbMATH Keywords

amalgamation theoremsgraded model theorymathematical fuzzy logicpreservation theoremsuniversal classesuniversal-existential classes

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Basic properties of first-order languages and structures (03C07)

Abstract: This paper is a contribution to graded model theory, in the context of mathematical fuzzy logic. We study characterizations of classes of graded structures in terms of the syntactic form of their first-order axiomatization. We focus on classes given by universal and universal-existential sentences. In particular, we prove two amalgamation results using the technique of diagrams in the setting of structures valued on a finite MTL-algebra, from which analogues of the Los--Tarski and the Chang--Los--Suszko preservation theorems follow.

Recommendations

• scientific article; zbMATH DE number 4156411
• scientific article; zbMATH DE number 4156412
• scientific article; zbMATH DE number 2061765
• scientific article; zbMATH DE number 4004158
• Model-theoretic constructions in fuzzy logic with evaluated syntax
• Fuzzy Models of First Order Languages
• A first-order logic system for fuzzy predicate calculus based on FI-algebras
• First-order fuzzy logic
• On fuzzy syntopogenous structure and algebraic structure
• scientific article; zbMATH DE number 269313

Cites work

• Applications of ultraproducts: from compactness to fuzzy elementary classes
• Back-and-forth systems for fuzzy first-order models
• Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
• Fraïssé classes of graded relational structures
• Fuzzy groups
• Fuzzy logic programming and fuzzy control
• Handbook of mathematical fuzzy logic. Volume 1
• Herbrand theorems for substructural logics
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• scientific article; zbMATH DE number 3275565 (Why is no real title available?)
• scientific article; zbMATH DE number 3382339 (Why is no real title available?)
• Löwenheim-Skolem theorems for non-classical first-order algebraizable logics
• Model theory
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• On the existence of free models in fuzzy universal Horn classes
• On the extending of models (I)
• On theories and models in fuzzy predicate logics
• Preservation theorems in Łukasiewicz model theory
• Preserving mappings in fuzzy predicate logics
• Skolemization for Substructural Logics

Cited in

(3)

• Lindström theorems in graded model theory
• Homomorphism preservation theorems for many-valued structures
• Locality in residuated-lattice structures

This page was built for publication: Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2317508)