A note on harmony

DOI10.1007/s10992-011-9208-0zbMath1247.03005OpenAlexW2105703407MaRDI QIDQ452347

Nissim Francez, Roy Dyckhoff

Publication date: 20 September 2012

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-011-9208-0

zbMATH Keywords

harmonynatural deductionproof-theoretic semanticselimination rulesintroduction ruleslocal soundness/completeness

Mathematics Subject Classification ID

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

Related Items (22)

Proof-theoretic semantics, a problem with negation and prospects for modality ⋮ HARMONISING HARMONY ⋮ General-elimination harmony and the meaning of the logical constants ⋮ ON FLATTENING ELIMINATION RULES ⋮ BILATERAL RELEVANT LOGIC ⋮ A proof-theoretic universal property of determiners ⋮ Bilateralism in proof-theoretic semantics ⋮ A logic inspired by natural language: quantifiers as subnectors ⋮ Proof Terms for Generalized Natural Deduction ⋮ On harmony and permuting conversions ⋮ General-elimination stability ⋮ Harmony in multiple-conclusion natural-deduction ⋮ The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony ⋮ HARMONIC INFERENTIALISM AND THE LOGIC OF IDENTITY ⋮ Subatomic natural deduction for a naturalistic first-order language with non-primitive identity ⋮ Inversion Principles and Introduction Rules ⋮ General-Elimination Harmony and Higher-Level Rules ⋮ Harmony in Proof-Theoretic Semantics: A Reductive Analysis ⋮ Deriving Natural Deduction Rules from Truth Tables ⋮ A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems ⋮ Definite Descriptions in Intuitionist Positive Free Logic ⋮ ON THE NOTION OF CANONICAL DERIVATIONS FROM OPEN ASSUMPTIONS AND ITS ROLE IN PROOF-THEORETIC SEMANTICS

Uses Software

• MiniML

Cites Work

• Unnamed Item
• Unnamed Item
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Proof-theoretic semantics for subsentential phrases
• Natural deduction with general elimination rules
• Harmony and autonomy in classical logic
• A judgmental reconstruction of modal logic
• A modal analysis of staged computation
• Proof-Theoretic Semantics for a Natural Language Fragment
• A natural extension of natural deduction
• The consistency of arithmetics

This page was built for publication: A note on harmony