Omitting uncountable types and the strength of \([0,1]\)-valued logics (Q2442152): Difference between revisions

@@ Property / cites work @@
+Q3714044
@@ Property / cites work: Q3714044 / rank @@
+Normal rank
@@ Property / cites work @@
+On d-finiteness in continuous structures
@@ Property / cites work: On d-finiteness in continuous structures / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous first order logic and local stability
@@ Property / cites work: Continuous first order logic and local stability / rank @@
+Normal rank
@@ Property / cites work @@
+Q3602612
@@ Property / cites work: Q3602612 / rank @@
+Normal rank
@@ Property / cites work @@
+Lindström’s Theorem for Positive Logics, a Topological View
+Normal rank
@@ Property / cites work @@
+Compactness and normality in abstract logics
@@ Property / cites work: Compactness and normality in abstract logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4395560
@@ Property / cites work: Q4395560 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4941994
@@ Property / cites work: Q4941994 / 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 @@
+Q3367287
@@ Property / cites work: Q3367287 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5311054
@@ Property / cites work: Q5311054 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4092470
@@ Property / cites work: Q4092470 / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy logic and arithmetical hierarchy. II
@@ Property / cites work: Fuzzy logic and arithmetical hierarchy. II / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic
+Normal rank
@@ Property / cites work @@
+Q4411217
@@ Property / cites work: Q4411217 / rank @@
+Normal rank
@@ Property / cites work @@
+On the maximality of logics with approximations
@@ Property / cites work: On the maximality of logics with approximations / rank @@
+Normal rank
@@ Property / cites work @@
+Categoricity without equality
@@ Property / cites work: Categoricity without equality / rank @@
+Normal rank
@@ Property / cites work @@
+On Extensions of Elementary Logic
@@ Property / cites work: On Extensions of Elementary Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Omitting uncountable types and extensions of Elementary logic
+Normal rank
@@ Property / cites work @@
+Omitting types in fuzzy logic with evaluated syntax
+Normal rank
@@ Property / cites work @@
+Q3994407
@@ Property / cites work: Q3994407 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3484813
@@ Property / cites work: Q3484813 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4341181
@@ Property / cites work: Q4341181 / 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 @@
+On Fuzzy Logic II. Enriched residuated lattices and semantics of propositional calculi
+Normal rank
@@ Property / cites work @@
+On Fuzzy Logic III. Semantical completeness of some many‐valued propositional calculi
+Normal rank