Meaning in Use

DOI10.1007/978-3-319-11041-7_10zbMath1429.03192OpenAlexW151104747MaRDI QIDQ5213613

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

sequent calculusnatural deductioninversion principlesmeaning explanationgeneral elimination ruleslabelled deduction.

Mathematics Subject Classification ID

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

Related Items (2)

Proof systems for super-strict implication ⋮ General-elimination stability

Uses Software

• Pesca

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Does the deduction theorem fail for modal logic?
• Proof analysis in intermediate logics
• Axioms for actuality
• Proof analysis in modal logic
• Natural deduction with general elimination rules
• Short proofs of normalization for the simply-typed \(\lambda\)-calculus, permutative conversions and Gödel's \(\mathbf T\)
• Contraction-free sequent calculi for geometric theories with an application to Barr's theorem
• Sequent calculus proof theory of intuitionistic apartness and order relations
• Untersuchungen über das logische Schliessen. I
• Gentzen's Proof Systems: Byproducts in a Work of Genius
• Countermodels from Sequent Calculi in Multi-Modal Logics
• Proof Analysis
• Gentzen's Proof of Normalization for Natural Deduction
• On Inversion Principles
• Decidability for Priorean Linear Time Using a Fixed-Point Labelled Calculus
• A natural extension of natural deduction
• Cut Elimination in the Presence of Axioms
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi

This page was built for publication: Meaning in Use