General-elimination stability

DOI10.1007/s11225-016-9692-xzbMath1417.03285OpenAlexW2533972569WikidataQ59518175 ScholiaQ59518175MaRDI QIDQ526738

Stephen Read, Bruno Jacinto

Publication date: 15 May 2017

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

Full work available at URL: https://doi.org/10.1007/s11225-016-9692-x

zbMATH Keywords

harmonystabilitygeneral-elimination rulesGentzengroundslocal completeness

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05)

Related Items (9)

Stabilizing quantum disjunction ⋮ TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS ⋮ The original sin of proof-theoretic semantics ⋮ Bilateral Rules as Complex Rules ⋮ On harmony and permuting conversions ⋮ Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs ⋮ A new connective in natural deduction, and its application to quantum computing ⋮ A new connective in natural deduction, and its application to quantum computing ⋮ Does the Implication Elimination Rule Need a Minor Premise?

Uses Software

• Pesca
• MiniML

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Proof-theoretic semantics, a problem with negation and prospects for modality
• A note on harmony
• Dag Prawitz on proofs and meaning
• General-elimination harmony and the meaning of the logical constants
• A perspective on modal sequent logic
• The adequacy problem for inferential logic
• Harmony and autonomy in classical logic
• Untersuchungen über das logische Schliessen. I
• The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony
• Generalized definitional reflection and the inversion principle
• Konstruktive Begründung der Mathematik
• A judgmental reconstruction of modal logic
• A Brief History of Natural Deduction
• ON FLATTENING ELIMINATION RULES
• A modal analysis of staged computation
• On Inversion Principles
• A natural extension of natural deduction
• Inversion Principles and Introduction Rules
• Meaning in Use
• General-Elimination Harmony and Higher-Level Rules
• Harmony in Proof-Theoretic Semantics: A Reductive Analysis
• Some Remarks on Proof-Theoretic Semantics

This page was built for publication: General-elimination stability