On interplay of quantifiers in Gödel-Dummett fuzzy logics (Q2501163): Difference between revisions

@@ Property / cites work @@
+A propositional calculus with denumerable matrix
@@ Property / cites work: A propositional calculus with denumerable matrix / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+A non-arithmetical Gödel logic
@@ Property / cites work: A non-arithmetical Gödel logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Note on inter-expressibility of logical connectives in finitely-valued Gödel-Dummett logics
+Normal rank
@@ Property / cites work @@
+Another proof of the strong completeness of the intuitionistic fuzzy logic
+Normal rank