Interactive Learning-Based Realizability Interpretation for Heyting Arithmetic with EM 1 (Q3637184): 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/978-3-642-02273-9_4
+Normal rank
@@ Property / OpenAlex ID @@
+W1972643961
@@ Property / OpenAlex ID: W1972643961 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2776806
@@ Property / cites work: Q2776806 / rank @@
+Normal rank
@@ Property / cites work @@
+Interactive Learning-Based Realizability Interpretation for Heyting Arithmetic with EM 1
+Normal rank
@@ Property / cites work @@
+Classical logic as limit completion
@@ Property / cites work: Classical logic as limit completion / rank @@
+Normal rank
@@ Property / cites work @@
+Some intuitionistic equivalents of classical principles for degree 2 formulas
+Normal rank
@@ Property / cites work @@
+A Calculus of Realizers for EM 1 Arithmetic (Extended Abstract)
+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 @@
+Logic and structure.
@@ Property / cites work: Logic and structure. / rank @@
+Normal rank
@@ Property / cites work @@
+Limiting recursion
@@ Property / cites work: Limiting recursion / rank @@
+Normal rank
@@ Property / cites work @@
+Towards the animation of proofs -- testing proofs by examples
+Normal rank
@@ Property / cites work @@
+Q3593497
@@ Property / cites work: Q3593497 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematics based on incremental learning -- excluded middle and inductive inference
+Normal rank
@@ Property / cites work @@
+On the interpretation of intuitionistic number theory
+Normal rank
@@ Property / cites work @@
+Q4903274
@@ Property / cites work: Q4903274 / rank @@
+Normal rank