On reduction rules, meaning-as-use, and proof-theoretic semantics (Q1005958): 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/s11225-008-9150-5
+Normal rank
@@ Property / OpenAlex ID @@
+W1983963449
@@ Property / OpenAlex ID: W1983963449 / rank @@
+Normal rank
@@ Property / cites work @@
+A normalization procedure for the equational fragment of labelled natural deduction
+Normal rank
@@ Property / cites work @@
+Q3012539
@@ Property / cites work: Q3012539 / rank @@
+Normal rank
@@ Property / cites work @@
+A Proof-Theoretic Account of Programming and the Role of Reduction Rules
+Normal rank
@@ Property / cites work @@
+Meaning, Function, Purpose, Usefulness, Consequences - Interconnected Concepts
+Normal rank
@@ Property / cites work @@
+Proof theory and computer programming
@@ Property / cites work: Proof theory and computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Natural Deduction for Equality: The Missing Entity
+Normal rank
@@ Property / cites work @@
+The Functional Interpretation of the Existential Quantifier
+Normal rank
@@ Property / cites work @@
+Q4394918
@@ Property / cites work: Q4394918 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4946226
@@ Property / cites work: Q4946226 / rank @@
+Normal rank
@@ Property / cites work @@
+Extending the Curry-Howard interpretation to linear, relevant and other resource logics
+Normal rank
@@ Property / cites work @@
+What is Logic?
@@ Property / cites work: What is Logic? / rank @@
+Normal rank
@@ Property / cites work @@
+Quantifiers vs. Quantification Theory
@@ Property / cites work: Quantifiers vs. Quantification Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Game-theoretical semantics: Insights and prospects
+Normal rank
@@ Property / cites work @@
+Meaning and proofs: on the conflict between classical and intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Q4247022
@@ Property / cites work: Q4247022 / rank @@
+Normal rank
@@ Property / cites work @@
+Meaning approached via proofs
@@ Property / cites work: Meaning approached via proofs / rank @@
+Normal rank
@@ Property / cites work @@
+A natural extension of natural deduction
@@ Property / cites work: A natural extension of natural deduction / rank @@
+Normal rank
@@ Property / cites work @@
+Validity concepts in proof-theoretic semantics
@@ Property / cites work: Validity concepts in proof-theoretic semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5610986
@@ Property / cites work: Q5610986 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5533180
@@ Property / cites work: Q5533180 / rank @@
+Normal rank
@@ Property / cites work @@
+Die Vollständigkeit des Operatorensystems {¬, ∨, ⊃} für die Intuitionistische Aussagenlogik im Rahmen der Gentzensematik
+Normal rank
@@ Property / cites work @@
+Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle
+Normal rank
@@ Property / cites work @@
+The idea of a proof-theoretic semantics and the meaning of the logical operations
+Normal rank