Fuzzy constructive logic (Q843607): Difference between revisions

@@ Property / cites work @@
+Q3338243
@@ Property / cites work: Q3338243 / rank @@
+Normal rank
@@ Property / cites work @@
+On the logic of constructive mathematics
@@ Property / cites work: On the logic of constructive mathematics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5834309
@@ Property / cites work: Q5834309 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4071217
@@ Property / cites work: Q4071217 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2703808
@@ Property / cites work: Q2703808 / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionism. An introduction
@@ Property / cites work: Intuitionism. An introduction / rank @@
+Normal rank
@@ Property / cites work @@
+On the interpretation of intuitionistic number theory
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5343325
@@ Property / cites work: Q5343325 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebras of recursively enumerable sets and their applications to fuzzy logic
+Normal rank
@@ Property / cites work @@
+Q5721681
@@ Property / cites work: Q5721681 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3491568
@@ Property / cites work: Q3491568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional Calculus and Realizability
@@ Property / cites work: Propositional Calculus and Realizability / rank @@
+Normal rank
@@ Property / cites work @@
+Nicht konstruktiv beweisbare Sätze der Analysis
@@ Property / cites work: Nicht konstruktiv beweisbare Sätze der Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499084
@@ Property / cites work: Q4499084 / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy sets
@@ Property / cites work: Fuzzy sets / rank @@
+Normal rank
@@ Property / cites work @@
+Formal axiomatic theories based on a three-valued logic
+Normal rank