HARMONISING HARMONY

DOI10.1017/S1755020315000179zbMath1354.03004OpenAlexW4238457905MaRDI QIDQ3195584

Luca Tranchini

Publication date: 20 October 2015

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1755020315000179

zbMATH Keywords

normalizationconservativitynormal deduction

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (4)

Bilateral Rules as Complex Rules ⋮ Proof-theoretic harmony: towards an intensional account ⋮ Subatomic natural deduction for a naturalistic first-order language with non-primitive identity ⋮ Proof, meaning and paradox: some remarks

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A note on harmony
• General-elimination harmony and the meaning of the logical constants
• Commuting conversions vs. the standard conversions of the ``good connectives
• Generalized definitional reflection and the inversion principle
• A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules
• On Inversion Principles
• A natural extension of natural deduction
• Proof and Paradox
• Normalization theorems for full first order classical natural deduction
• Identity of Proofs Based on Normalization and Generality

This page was built for publication: HARMONISING HARMONY