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

@@ 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.1007/s00153-007-0043-5
+Normal rank
@@ Property / OpenAlex ID @@
+W2072851234
@@ Property / OpenAlex ID: W2072851234 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:877261