A note on harmony

DOI10.1007/S10992-011-9208-0MaRDI QIDQ452347zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• HARMONISING HARMONY
• Relevant harmony
• General-elimination harmony and higher-level rules
• General-elimination harmony and the meaning of the logical constants
• Harmony in Proof-Theoretic Semantics: A Reductive Analysis

Cites work

• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 3358455 (Why is no real title available?)
• A judgmental reconstruction of modal logic
• A modal analysis of staged computation
• A natural extension of natural deduction
• Harmony and autonomy in classical logic
• Natural deduction with general elimination rules
• Proof-theoretic semantics for a natural language fragment
• Proof-theoretic semantics for subsentential phrases
• The consistency of arithmetics
• The lambda calculus. Its syntax and semantics. Rev. ed.

Cited in

(38)

• Inversion principles and introduction rules
• A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems
• General-elimination harmony and higher-level rules
• Peano's Counterexample to Harmony
• Harmony in a sequent setting: a reply to Tennant
• Harmony in a sequent setting
• Bilateral relevant logic
• Reading conclusions conjunctively
• Harmony in the light of computational ludics
• Double-line harmony in a sequent setting
• On the equivalence conjecture for proof-theoretic harmony
• HARMONISING HARMONY
• The harmony of identity
• Harmonising natural deduction
• On flattening elimination rules
• scientific article; zbMATH DE number 5902347 (Why is no real title available?)
• General-elimination harmony and the meaning of the logical constants
• Philosophical aspects of display logic
• Harmony in multiple-conclusion natural-deduction
• Deriving natural deduction rules from truth tables
• On the notion of canonical derivations from open assumptions and its role in proof-theoretic semantics
• A proof-theoretic universal property of determiners
• Relevant harmony
• Weak disharmony: some lessons for proof-theoretic semantics
• On harmony and permuting conversions
• The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony
• Dialogical harmony: tonk, constructive type theory and rules for anonymous players
• Harmony in Proof-Theoretic Semantics: A Reductive Analysis
• Bilateralism in proof-theoretic semantics
• A logic inspired by natural language: quantifiers as subnectors
• Definite descriptions in intuitionist positive free logic
• General-elimination stability
• Harmonic inferentialism and the logic of identity
• Proof-theoretic semantics, a problem with negation and prospects for modality
• Subatomic natural deduction for a naturalistic first-order language with non-primitive identity
• Proof Terms for Generalized Natural Deduction
• Grounding rules and (hyper-)isomorphic formulas
• Identity and harmony

Describes a project that uses

Uses Software

• MiniML

This page was built for publication: A note on harmony

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