Distinguishing non-standard natural numbers in a set theory within Łukasiewicz logic (Q877261): Difference between revisions

@@ Property / cites work @@
+The undecidability of Grišin's set theory
@@ Property / cites work: The undecidability of Grišin's set theory / rank @@
+Normal rank
@@ Property / cites work @@
+On arithmetic in the Cantor-Łukasiewicz fuzzy set theory
+Normal rank
@@ Property / cites work @@
+Logical paradoxes for many-valued systems
@@ Property / cites work: Logical paradoxes for many-valued systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4856963
@@ Property / cites work: Q4856963 / rank @@
+Normal rank
@@ Property / cites work @@
+A note on Hájek, Paris and Shepherdson's theorem
@@ Property / cites work: A note on Hájek, Paris and Shepherdson's theorem / rank @@
+Normal rank
@@ Property / cites work @@
+The consistency of the axiom of comprehension in the infinite-valued predicate logic of Lukasiewicz
+Normal rank