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

DOI10.1007/s11225-008-9150-5zbMath1162.03008WikidataQ55890454 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 deduction; proof-theoretic semantics; game-theoretic semantics; dialogue semantics; reduction rules; proof-terms

Mathematics Subject Classification ID

03A05: Philosophical and critical aspects of logic and foundations

03B10: Classical first-order logic

03F05: Cut-elimination and normal-form theorems

Related Items

The Functional Interpretation of Direct Computations, Inversion Principles and Introduction Rules

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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