On reduction rules, meaning-as-use, and proof-theoretic semantics

DOI10.1007/s11225-008-9150-5zbMath1162.03008OpenAlexW1983963449WikidataQ55890454 ScholiaQ55890454MaRDI QIDQ1005958

Ruy J. G. B. de Queiroz

Publication date: 17 March 2009

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-008-9150-5

zbMATH Keywords

natural deductionproof-theoretic semanticsgame-theoretic semanticsdialogue semanticsreduction rulesproof-terms

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Classical first-order logic (03B10) Cut-elimination and normal-form theorems (03F05)

Related Items

The original sin of proof-theoretic semantics ⋮ The Functional Interpretation of Direct Computations ⋮ Inversion Principles and Introduction Rules

Cites Work

• Game-theoretical semantics: Insights and prospects
• The idea of a proof-theoretic semantics and the meaning of the logical operations
• Meaning approached via proofs
• Validity concepts in proof-theoretic semantics
• Meaning, Function, Purpose, Usefulness, Consequences - Interconnected Concepts
• Proof theory and computer programming
• What is Logic?
• A natural extension of natural deduction
• A Proof-Theoretic Account of Programming and the Role of Reduction Rules
• Extending the Curry-Howard interpretation to linear, relevant and other resource logics
• Meaning and proofs: on the conflict between classical and intuitionistic logic
• Quantifiers vs. Quantification Theory
• A normalization procedure for the equational fragment of labelled natural deduction
• The Functional Interpretation of the Existential Quantifier
• Natural Deduction for Equality: The Missing Entity
• Die Vollständigkeit des Operatorensystems {¬, ∨, ⊃} für die Intuitionistische Aussagenlogik im Rahmen der Gentzensematik
• Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On reduction rules, meaning-as-use, and proof-theoretic semantics