Subtypes in fuzzy type theory (Q2328911): Difference between revisions

@@ Property / cites work @@
+An introduction to mathematical logic and type theory: To truth through proof.
+Normal rank
@@ Property / cites work @@
+A minimalistic many-valued theory of types
@@ Property / cites work: A minimalistic many-valued theory of types / rank @@
+Normal rank
@@ Property / cites work @@
+Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
+Normal rank
@@ Property / cites work @@
+Formal systems of fuzzy logic and their fragments
@@ Property / cites work: Formal systems of fuzzy logic and their fragments / rank @@
+Normal rank
@@ Property / cites work @@
+Procedural semantics for hyperintensional logic. Foundations and applications of transparent intensional logic
+Normal rank
@@ Property / cites work @@
+Representable good EQ-algebras
@@ Property / cites work: Representable good EQ-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+On good EQ-algebras
@@ Property / cites work: On good EQ-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+A partial functions version of Church's simple theory of types
+Normal rank
@@ Property / cites work @@
+A simple type theory with partial functions and subtypes
+Normal rank
@@ Property / cites work @@
+Type inference with subtypes
@@ Property / cites work: Type inference with subtypes / rank @@
+Normal rank
@@ Property / cites work @@
+Classic Set Theory
@@ Property / cites work: Classic Set Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness in the theory of types
@@ Property / cites work: Completeness in the theory of types / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of prepositional types
@@ Property / cites work: A theory of prepositional types / rank @@
+Normal rank
@@ Property / cites work @@
+The completeness theorem for typing lambda-terms
@@ Property / cites work: The completeness theorem for typing lambda-terms / rank @@
+Normal rank
@@ Property / cites work @@
+Type Theory and Formal Proof
@@ Property / cites work: Type Theory and Formal Proof / rank @@
+Normal rank
@@ Property / cites work @@
+Q3484812
@@ Property / cites work: Q3484812 / rank @@
+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 @@
+On Virtues of Many-Valued (Fuzzy) Type Theories
@@ Property / cites work: On Virtues of Many-Valued (Fuzzy) Type Theories / rank @@
+Normal rank
@@ Property / cites work @@
+EQ-algebra-based fuzzy type theory and its extensions
+Normal rank
@@ Property / cites work @@
+EQ-algebras
@@ Property / cites work: EQ-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4269081
@@ Property / cites work: Q4269081 / 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