Extending the Curry-Howard interpretation to linear, relevant and other resource logics (Q4032664): Difference between revisions

@@ Property / author @@
+Dov M. Gabbay
@@ Property / author: Dov M. Gabbay / rank @@
+Normal rank
@@ 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.2307/2275370
@@ Property / full work available at URL: https://doi.org/10.2307/2275370 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2134870220
@@ Property / OpenAlex ID: W2134870220 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q56211001
@@ Property / Wikidata QID: Q56211001 / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionism. An introduction
@@ Property / cites work: Intuitionism. An introduction / rank @@
+Normal rank
@@ Property / cites work @@
+ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
+Normal rank
@@ Property / cites work @@
+Q3994895
@@ Property / cites work: Q3994895 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatization of the finite-valued Łukasiewicz calculus
+Normal rank
@@ Property / cites work @@
+Normalization and excluded middle. I
@@ Property / cites work: Normalization and excluded middle. I / rank @@
+Normal rank
@@ Property / cites work @@
+Sequent-systems and groupoid models. II
@@ Property / cites work: Sequent-systems and groupoid models. II / rank @@
+Normal rank
@@ Property / cites work @@
+Sequent-systems and groupoid models. I
@@ Property / cites work: Sequent-systems and groupoid models. I / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatory logic. Vol. II
@@ Property / cites work: Combinatory logic. Vol. II / rank @@
+Normal rank
@@ Property / cites work @@
+Q5547552
@@ Property / cites work: Q5547552 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5802120
@@ Property / cites work: Q5802120 / rank @@
+Normal rank
@@ Property / cites work @@
+The combinatory foundations of mathematical logic
@@ Property / cites work: The combinatory foundations of mathematical logic / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract Data Types and Type Theory: Theories as Types
+Normal rank
@@ Property / cites work @@
+Proof theory and computer programming
@@ Property / cites work: Proof theory and computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Functionality in Combinatory Logic
@@ Property / cites work: Functionality in Combinatory Logic / rank @@
+Normal rank
@@ Property / cites work @@
+The universal quantifier in combinatory logic
@@ Property / cites work: The universal quantifier in combinatory logic / rank @@
+Normal rank
@@ Property / cites work @@
+A Proof-Theoretic Account of Programming and the Role of Reduction Rules
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+Logics without the contraction rule
@@ Property / cites work: Logics without the contraction rule / rank @@
+Normal rank
@@ Property / cites work @@
+Logic colloquium '73. Proceedings of the logic colloquium, Bristol, July 1973
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / rank @@
+Normal rank
@@ Property / cites work @@
+The Mathematics of Sentence Structure
@@ Property / cites work: The Mathematics of Sentence Structure / rank @@
+Normal rank