Non-monotonic set theory as a pragmatic foundation of mathematics (Q301346): Difference between revisions

@@ Property / cites work @@
+Q5711868
@@ Property / cites work: Q5711868 / rank @@
+Normal rank
@@ Property / cites work @@
+A universal logic approach to adaptive logics
@@ Property / cites work: A universal logic approach to adaptive logics / rank @@
+Normal rank
@@ Property / cites work @@
+The simple consistency of a set theory based on the logic CSQ
+Normal rank
@@ Property / cites work @@
+Q5695174
@@ Property / cites work: Q5695174 / rank @@
+Normal rank
@@ Property / cites work @@
+Yes fellows, most human reasoning is complex
@@ Property / cites work: Yes fellows, most human reasoning is complex / rank @@
+Normal rank
@@ Property / cites work @@
+Q3032251
@@ Property / cites work: Q3032251 / rank @@
+Normal rank
@@ Property / cites work @@
+The inconsistency of certain formal logics
@@ Property / cites work: The inconsistency of certain formal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Whitehead's Problem is Undecidable
@@ Property / cites work: Whitehead's Problem is Undecidable / rank @@
+Normal rank
@@ Property / cites work @@
+Q3058982
@@ Property / cites work: Q3058982 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of set theory
@@ Property / cites work: Foundations of set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4064160
@@ Property / cites work: Q4064160 / rank @@
+Normal rank
@@ Property / cites work @@
+The consistency of the axiom of comprehension in the infinite-valued predicate logic of Lukasiewicz
+Normal rank
@@ Property / cites work @@
+Logic without contraction as based on inclusion and unrestricted abstraction
+Normal rank
@@ Property / cites work @@
+Q3992933
@@ Property / cites work: Q3992933 / rank @@
+Normal rank
@@ Property / cites work @@
+A note on naive set theory in LP
@@ Property / cites work: A note on naive set theory in LP / rank @@
+Normal rank
@@ Property / cites work @@
+How to be really contraction free
@@ Property / cites work: How to be really contraction free / rank @@
+Normal rank
@@ Property / cites work @@
+Preferences as inconsistency-resolvers: The Inconsistency-adaptive Logic PRL
+Normal rank
@@ Property / cites work @@
+Adaptive logics using the minimal abnormality strategy are \(\Pi^1_1\)-complex
+Normal rank
@@ Property / cites work @@
+Strong, universal and provably non-trivial set theory by means of adaptive logic
+Normal rank
@@ Property / cites work @@
+Q4811773
@@ Property / cites work: Q4811773 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4678454
@@ Property / cites work: Q4678454 / rank @@
+Normal rank
@@ Property / cites work @@
+Extensionality and restriction in naive set theory
+Normal rank
@@ Property / cites work @@
+TRANSFINITE NUMBERS IN PARACONSISTENT SET THEORY
@@ Property / cites work: TRANSFINITE NUMBERS IN PARACONSISTENT SET THEORY / rank @@
+Normal rank