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

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

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)

Cites Work

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

Cited In (5)

• Title not available (Why is that?)
• On Inversion Principles
• General-elimination stability
• Title not available (Why is that?)
• Proof systems for super-strict implication

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)