Back-and-forth systems for fuzzy first-order models (Q1795203): Difference between revisions

@@ Property / cites work @@
+Q4052109
@@ Property / cites work: Q4052109 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5312888
@@ Property / cites work: Q5312888 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory
@@ Property / cites work: Model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous Model Theory. (AM-58)
@@ Property / cites work: Continuous Model Theory. (AM-58) / rank @@
+Normal rank
@@ Property / cites work @@
+Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
+Normal rank
@@ Property / cites work @@
+Q2871197
@@ Property / cites work: Q2871197 / rank @@
+Normal rank
@@ Property / cites work @@
+A HENKIN-STYLE PROOF OF COMPLETENESS FOR FIRST-ORDER ALGEBRAIZABLE LOGICS
+Normal rank
@@ Property / cites work @@
+A logical framework for graded predicates
@@ Property / cites work: A logical framework for graded predicates / rank @@
+Normal rank
@@ Property / cites work @@
+Preserving mappings in fuzzy predicate logics
@@ Property / cites work: Preserving mappings in fuzzy predicate logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4583683
@@ Property / cites work: Q4583683 / rank @@
+Normal rank
@@ Property / cites work @@
+Applications of ultraproducts: from compactness to fuzzy elementary classes
+Normal rank
@@ Property / cites work @@
+On elementary equivalence in fuzzy predicate logics
+Normal rank
@@ Property / cites work @@
+Löwenheim–Skolem theorems for non-classical first-order algebraizable logics: Table 1.
+Normal rank
@@ Property / cites work @@
+Fuzzy Models of First Order Languages
@@ Property / cites work: Fuzzy Models of First Order Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q3220545
@@ Property / cites work: Q3220545 / rank @@
+Normal rank
@@ Property / cites work @@
+An application of games to the completeness problem for formalized theories
+Normal rank
@@ Property / cites work @@
+Q4315286
@@ Property / cites work: Q4315286 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5331477
@@ Property / cites work: Q5331477 / rank @@
+Normal rank
@@ Property / cites work @@
+Application des γ‐operateurs au Calcul Logique du Premier Echelon
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+On theories and models in fuzzy predicate logics
@@ Property / cites work: On theories and models in fuzzy predicate logics / rank @@
+Normal rank
@@ Property / cites work @@
+A complete many-valued logic with product-conjunction
+Normal rank
@@ Property / cites work @@
+Q4003410
@@ Property / cites work: Q4003410 / rank @@
+Normal rank
@@ Property / cites work @@
+Substructural fuzzy logics
@@ Property / cites work: Substructural fuzzy logics / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy graphs and fuzzy hypergraphs
@@ Property / cites work: Fuzzy graphs and fuzzy hypergraphs / rank @@
+Normal rank
@@ Property / cites work @@
+Omitting types in fuzzy logic with evaluated syntax
+Normal rank
@@ Property / cites work @@
+Q3484812
@@ Property / cites work: Q3484812 / rank @@
+Normal rank
@@ Property / cites work @@
+On Fuzzy Logic I Many‐valued rules of inference
@@ Property / cites work: On Fuzzy Logic I Many‐valued rules of inference / rank @@
+Normal rank
@@ Property / cites work @@
+Q3265664
@@ Property / cites work: Q3265664 / rank @@
+Normal rank