Mathematics based on incremental learning -- excluded middle and inductive inference (Q817838): Difference between revisions

@@ Property / cites work @@
+Parsimony hierarchies for inductive inference
@@ Property / cites work: Parsimony hierarchies for inductive inference / rank @@
+Normal rank
@@ Property / cites work @@
+Q4699354
@@ Property / cites work: Q4699354 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3679172
@@ Property / cites work: Q3679172 / rank @@
+Normal rank
@@ Property / cites work @@
+Classical logic as limit completion
@@ Property / cites work: Classical logic as limit completion / rank @@
+Normal rank
@@ Property / cites work @@
+Q3754620
@@ Property / cites work: Q3754620 / rank @@
+Normal rank
@@ Property / cites work @@
+A semantics of evidence for classical arithmetic
@@ Property / cites work: A semantics of evidence for classical arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5619076
@@ Property / cites work: Q5619076 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4420735
@@ Property / cites work: Q4420735 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4736394
@@ Property / cites work: Q4736394 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards the animation of proofs -- testing proofs by examples
+Normal rank
@@ Property / cites work @@
+CT 0 is Stronger than CT 0 !
@@ Property / cites work: CT 0 is Stronger than CT 0 ! / rank @@
+Normal rank
@@ Property / cites work @@
+Classical recursion theory. Vol. II
@@ Property / cites work: Classical recursion theory. Vol. II / rank @@
+Normal rank
@@ Property / cites work @@
+Q4903274
@@ Property / cites work: Q4903274 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4297316
@@ Property / cites work: Q4297316 / rank @@
+Normal rank
@@ Property / cites work @@
+On degrees of unsolvability
@@ Property / cites work: On degrees of unsolvability / rank @@
+Normal rank
@@ Property / cites work @@
+Q4220572
@@ Property / cites work: Q4220572 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4247015
@@ Property / cites work: Q4247015 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215635
@@ Property / cites work: Q4215635 / rank @@
+Normal rank
@@ Property / cites work @@
+Lifschitz' realizability
@@ Property / cites work: Lifschitz' realizability / rank @@
+Normal rank