Back-and-forth systems for fuzzy first-order models
type: Item
instance of: scholarly article
title: Back-and-forth systems for fuzzy first-order models
zbMATH Open document ID: 1397.03035
author: Àngel García-Cerdaña
author: Carles Noguera
author: Pilar Dellunde
published in: Fuzzy Sets and Systems
publication date: 2018-10-16T00:00:00Z
full work available at URL: http://ddd.uab.cat/record/195647
Mathematics Subject Classification ID: 03B52
zbMATH DE Number: 6955486
zbMATH Keywords: mathematical fuzzy logic
zbMATH Keywords: first-order fuzzy logics
zbMATH Keywords: non-classical logics
zbMATH Keywords: elementary equivalence
zbMATH Keywords: back-and-forth systems
zbMATH Keywords: model theory
MaRDI profile type: Publication
OpenAlex ID: W2790722298
cites work: Q4052109
cites work: Q5312888
cites work: Algebraizable logics
cites work: Model theory
cites work: Continuous Model Theory. (AM-58)
cites work: Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
cites work: Handbook of mathematical fuzzy logic. Volume 1
cites work: A HENKIN-STYLE PROOF OF COMPLETENESS FOR FIRST-ORDER ALGEBRAIZABLE LOGICS
cites work: A logical framework for graded predicates
cites work: Preserving mappings in fuzzy predicate logics
cites work: Q4583683
cites work: Applications of ultraproducts: from compactness to fuzzy elementary classes
cites work: On elementary equivalence in fuzzy predicate logics
cites work: Löwenheim–Skolem theorems for non-classical first-order algebraizable logics: Table 1.
cites work: Fuzzy Models of First Order Languages
cites work: Q3220545
cites work: An application of games to the completeness problem for formalized theories
cites work: Q4315286
cites work: Q5331477
cites work: Application des γ‐operateurs au Calcul Logique du Premier Echelon
cites work: Metamathematics of fuzzy logic
cites work: On theories and models in fuzzy predicate logics
cites work: A complete many-valued logic with product-conjunction
cites work: Q4003410
cites work: Substructural fuzzy logics
cites work: Fuzzy graphs and fuzzy hypergraphs
cites work: Omitting types in fuzzy logic with evaluated syntax
cites work: Q3484812
cites work: On Fuzzy Logic I Many‐valued rules of inference
cites work: Q3265664
DOI: 10.1016/J.FSS.2018.01.016
description: scientific article; zbMATH DE number 6955486