On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard Correspondence for Dummett's Logic LC (Q2974784): Difference between revisions

@@ Property / arXiv ID @@
+.03190
@@ Property / arXiv ID: 1609.03190 / rank @@
+Normal rank
@@ Property / cites work @@
+Interactive Realizability for Classical Peano Arithmetic with Skolem Axioms
+Normal rank
@@ Property / cites work @@
+Non-determinism, Non-termination and the Strong Normalization of System T
+Normal rank
@@ Property / cites work @@
+Q2968408
@@ Property / cites work: Q2968408 / rank @@
+Normal rank
@@ Property / cites work @@
+On natural deduction in classical first-order logic: Curry-Howard correspondence, strong normalization and Herbrand's theorem
+Normal rank
@@ Property / cites work @@
+Hypersequents, logical consequence and intermediate logics for concurrency
+Normal rank
@@ Property / cites work @@
+Q2784584
@@ Property / cites work: Q2784584 / rank @@
+Normal rank
@@ Property / cites work @@
+Hypersequent Calculi for Godel Logics -- a Survey
@@ Property / cites work: Hypersequent Calculi for Godel Logics -- a Survey / rank @@
+Normal rank
@@ Property / cites work @@
+Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences
+Normal rank
@@ Property / cites work @@
+Q4068683
@@ Property / cites work: Q4068683 / rank @@
+Normal rank
@@ Property / cites work @@
+A Cut‐Free Calculus For Dummett's LC Quantified
@@ Property / cites work: A Cut‐Free Calculus For Dummett's LC Quantified / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753680
@@ Property / cites work: Q2753680 / rank @@
+Normal rank
@@ Property / cites work @@
+Untersuchungen über das logische Schliessen. I
@@ Property / cites work: Untersuchungen über das logische Schliessen. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994895
@@ Property / cites work: Q3994895 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778822
@@ Property / cites work: Q2778822 / rank @@
+Normal rank
@@ Property / cites work @@
+A Lambda Calculus for Gödel–Dummett Logic Capturing Waitfreedom
+Normal rank
@@ Property / cites work @@
+On the interpretation of intuitionistic number theory
+Normal rank
@@ Property / cites work @@
+Classical logic, storage operators and second-order lambda-calculus
+Normal rank
@@ Property / cites work @@
+A cut-free calculus for second-order Gödel logic
@@ Property / cites work: A cut-free calculus for second-order Gödel logic / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs of strong normalisation for second order classical natural deduction
+Normal rank
@@ Property / cites work @@
+Gentzen's Proof of Normalization for Natural Deduction
+Normal rank
@@ Property / cites work @@
+Q5822068
@@ Property / cites work: Q5822068 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2950132283
@@ Property / OpenAlex ID: W2950132283 / rank @@
+Normal rank