The simple consistency of naive set theory using metavaluations (Q484104): Difference between revisions

@@ Property / cites work @@
+The simple consistency of a set theory based on the logic CSQ
+Normal rank
@@ Property / cites work @@
+Q3032252
@@ Property / cites work: Q3032252 / rank @@
+Normal rank
@@ Property / cites work @@
+Metacompleteness
@@ Property / cites work: Metacompleteness / rank @@
+Normal rank
@@ Property / cites work @@
+A metacompleteness theorem for contraction-free relevant logics
+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 @@
+Q3605743
@@ Property / cites work: Q3605743 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4925883
@@ Property / cites work: Q4925883 / rank @@
+Normal rank
@@ Property / cites work @@
+Relevant implication and the case for a weaker logic
+Normal rank
@@ Property / cites work @@
+Q3543573
@@ Property / cites work: Q3543573 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3032251
@@ Property / cites work: Q3032251 / rank @@
+Normal rank