A formal theory of generalized intermediate syllogisms (Q423141): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+B52
@@ Property / Mathematics Subject Classification ID: 03B52 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6036140
@@ Property / zbMATH DE Number: 6036140 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+generalized quantifiers
@@ Property / zbMATH Keywords: generalized quantifiers / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+intermediate quantifiers
@@ Property / zbMATH Keywords: intermediate quantifiers / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+fuzzy type theory
@@ Property / zbMATH Keywords: fuzzy type theory / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+evaluative linguistic expressions
@@ Property / zbMATH Keywords: evaluative linguistic expressions / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Aristotle's syllogisms
@@ Property / zbMATH Keywords: Aristotle's syllogisms / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+generalized syllogistics
@@ Property / zbMATH Keywords: generalized syllogistics / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ETPS
@@ Property / describes a project that uses: ETPS / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.fss.2011.07.004
+Normal rank
@@ Property / OpenAlex ID @@
+W2125083338
@@ Property / OpenAlex ID: W2125083338 / rank @@
+Normal rank
@@ Property / cites work @@
+An introduction to mathematical logic and type theory: To truth through proof.
+Normal rank
@@ Property / cites work @@
+Algebraic foundations of many-valued reasoning
@@ Property / cites work: Algebraic foundations of many-valued reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+\(\mathbf L\)-fuzzy quantifiers of type \(\langle 1\rangle \) determined by fuzzy measures
+Normal rank
@@ Property / cites work @@
+Fuzzy quantifiers. A computational theory
@@ Property / cites work: Fuzzy quantifiers. A computational theory / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Monadic \(\mathbf L\)-fuzzy quantifiers of the type \(\langle 1^n,1\rangle \)
+Normal rank
@@ Property / cites work @@
+Hedges: A study in meaning criteria and the logic of fuzzy concepts
+Normal rank
@@ Property / cites work @@
+EQ-algebra-based fuzzy type theory and its extensions
+Normal rank
@@ Property / cites work @@
+On fuzzy type theory
@@ Property / cites work: On fuzzy type theory / rank @@
+Normal rank
@@ Property / cites work @@
+A comprehensive theory of trichotomous evaluative linguistic expressions
+Normal rank
@@ Property / cites work @@
+A formal theory of intermediate quantifiers
@@ Property / cites work: A formal theory of intermediate quantifiers / rank @@
+Normal rank
@@ Property / cites work @@
+Q4269081
@@ Property / cites work: Q4269081 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342068
@@ Property / cites work: Q4342068 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:423141