Meaning in use

DOI10.1007/978-3-319-11041-7_10zbMATH Open1429.03192OpenAlexW151104747MaRDI QIDQ5213613FDOQ5213613

Authors Sara Negri, Jan von Plato

Publication date 4 February 2020

Published in Dag Prawitz on Proofs and Meaning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-11041-7_10

zbMATH Keywords

natural deductionsequent calculusinversion principlesmeaning explanationgeneral elimination ruleslabelled deduction.

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20) Structure of proofs (03F07)

Recommendations

• On reduction rules, meaning-as-use, and proof-theoretic semantics
• Publication:3027002
• Explicit provability and constructive semantics
• SOME PROBLEMS FOR PROOF-THEORETIC SEMANTICS
• scientific article; zbMATH DE number 4039846

Cites work

• scientific article; zbMATH DE number 1302506 (Why is no real title available?)
• scientific article; zbMATH DE number 1406467 (Why is no real title available?)
• scientific article; zbMATH DE number 3895056 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3358455 (Why is no real title available?)
• A natural extension of natural deduction
• Axioms for actuality
• Contraction-free sequent calculi for geometric theories with an application to Barr's theorem
• Countermodels from sequent calculi in multi-modal logics
• Cut Elimination in the Presence of Axioms
• Decidability for Priorean linear time using a fixed-point labelled calculus
• Does the deduction theorem fail for modal logic?
• Gentzen's Proof of Normalization for Natural Deduction
• Gentzen's proof systems: byproducts in a work of genius
• Kripke completeness revisited
• Natural deduction with general elimination rules
• On Inversion Principles
• Proof Analysis
• Proof analysis in intermediate logics
• Proof analysis in modal logic
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Sequent calculus proof theory of intuitionistic apartness and order relations
• Short proofs of normalization for the simply-typed \(\lambda\)-calculus, permutative conversions and Gödel's \(\mathbf T\)
• Structural proof theory. With an appendix by Aarne Ranta
• Untersuchungen über das logische Schliessen. I

Cited in

(5)

• scientific article; zbMATH DE number 4039846 (Why is no real title available?)
• On Inversion Principles
• scientific article; zbMATH DE number 4014710 (Why is no real title available?)
• Proof systems for super-strict implication
• General-elimination stability

Describes a project that uses

Uses Software

• Pesca

This page was built for publication: Meaning in use

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5213613)