Harmony in multiple-conclusion natural-deduction

DOI10.1007/S11787-014-0103-7MaRDI QIDQ2254564zbMATH OpenOpenAlexFDO

Authors Nissim Francez

Publication date 5 February 2015

Published in Logica Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11787-014-0103-7

zbMATH Keywords

additive/multiplicative rulesharmonymultiple-conclusions natural-deductionproof expansionproof reductionproof-theoretic semanticsstability

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Proof theory in general (including proof-theoretic semantics) (03F03)

Recommendations

• Harmonising natural deduction
• A note on harmony
• Relevant harmony
• Classical harmony: Rules of inference and the meaning of the logical constants
• Natural deduction for dual-intuitionistic logic

Cites work

• A judgmental reconstruction of modal logic
• A modal analysis of staged computation
• A note on harmony
• A perspective on modal sequent logic
• Acceptance, inference, and the multiple-conclusion sequent
• Bilateralism in proof-theoretic semantics
• Classical harmony: Rules of inference and the meaning of the logical constants
• Existential instantiation and normalization in sequent natural deduction
• General-elimination harmony and the meaning of the logical constants
• Harmony and autonomy in classical logic
• scientific article; zbMATH DE number 1281125 (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?)
• Linear logic
• Logical constants as punctuation marks
• Multiple conclusions
• Natural deduction with general elimination rules
• On certain normalizable natural deduction formulations of some propositional intermediate logics
• On flattening elimination rules
• On Inversion Principles
• On sequence-conclusion natural deduction systems
• Proof-theoretic semantic values for logical operators
• Proof-theoretic semantics for a natural language fragment
• Proof-theoretic semantics for subsentential phrases
• Sequent calculus in natural deduction style
• The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony
• The connectives
• The consistency of arithmetics
• Varieties of linear calculi
• Why conclusions should remain single

Cited in

(10)

• Calculi for many-valued logics
• Hopeful monsters: a note on multiple conclusions
• Single-assumption systems in proof-theoretic semantics
• An alternative normalization of the implicative fragment of classical logic
• Relevant harmony
• On multiple conclusion deductions in classical logic
• On harmony and permuting conversions
• Double-line harmony in a sequent setting
• A proof-theoretic semantics for adjectival modification
• Harmonising natural deduction

Describes a project that uses

Uses Software

• MiniML

This page was built for publication: Harmony in multiple-conclusion natural-deduction

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