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

DOI10.1007/s00500-019-03850-6zbMath1418.03119arXiv1901.01827OpenAlexW2906721145WikidataQ64116689 ScholiaQ64116689MaRDI QIDQ2317508

Guillermo Badia, Carles Noguera, Vincent Caselles, Pilar Dellunde i Clavé

Publication date: 12 August 2019

Published in: Soft Computing (Search for Journal in Brave)

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

zbMATH Keywords

universal classesmathematical fuzzy logicpreservation theoremsamalgamation theoremsgraded model theoryuniversal-existential classes

Mathematics Subject Classification ID

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

Related Items (1)

Lindström theorems in graded model theory

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• Model theory
• Fraïssé classes of graded relational structures
• Fuzzy logic programming and fuzzy control
• Back-and-forth systems for fuzzy first-order models
• On the existence of free models in fuzzy universal Horn classes
• Fuzzy groups
• Herbrand Theorems for Substructural Logics
• On theories and models in fuzzy predicate logics
• Skolemization for Substructural Logics
• Löwenheim–Skolem theorems for non-classical first-order algebraizable logics: Table 1.
• Preserving mappings in fuzzy predicate logics
• Applications of ultraproducts: from compactness to fuzzy elementary classes
• On the extending of models (I)

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