A note on harmony
DOI10.1007/S10992-011-9208-0zbMATH Open1247.03005OpenAlexW2105703407MaRDI QIDQ452347FDOQ452347
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
Recommendations
harmonynatural deductionproof-theoretic semanticselimination rulesintroduction ruleslocal soundness/completeness
Philosophical and critical aspects of logic and foundations (03A05) Proof theory in general (including proof-theoretic semantics) (03F03)
Cites Work
- Harmony and autonomy in classical logic
- A judgmental reconstruction of modal logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- The consistency of arithmetics
- The lambda calculus. Its syntax and semantics. Rev. ed.
- A modal analysis of staged computation
- Natural deduction with general elimination rules
- A natural extension of natural deduction
- Proof-theoretic semantics for a natural language fragment
- Proof-theoretic semantics for subsentential phrases
Cited In (38)
- Title not available (Why is that?)
- Proof-theoretic semantics, a problem with negation and prospects for modality
- Proof Terms for Generalized Natural Deduction
- Definite descriptions in intuitionist positive free logic
- Harmony in a sequent setting: a reply to Tennant
- Harmony in a sequent setting
- General-elimination harmony and the meaning of the logical constants
- On the notion of canonical derivations from open assumptions and its role in proof-theoretic semantics
- Weak disharmony: some lessons for proof-theoretic semantics
- Subatomic natural deduction for a naturalistic first-order language with non-primitive identity
- General-elimination harmony and higher-level rules
- On flattening elimination rules
- Inversion principles and introduction rules
- Peano's Counterexample to Harmony
- Philosophical aspects of display logic
- The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony
- On the equivalence conjecture for proof-theoretic harmony
- Harmony in multiple-conclusion natural-deduction
- Deriving natural deduction rules from truth tables
- HARMONISING HARMONY
- Relevant harmony
- A proof-theoretic universal property of determiners
- Harmonic inferentialism and the logic of identity
- Double-line harmony in a sequent setting
- Bilateralism in proof-theoretic semantics
- A logic inspired by natural language: quantifiers as subnectors
- The harmony of identity
- Reading conclusions conjunctively
- Harmony in the light of computational ludics
- Grounding rules and (hyper-)isomorphic formulas
- Identity and harmony
- On harmony and permuting conversions
- Dialogical harmony: tonk, constructive type theory and rules for anonymous players
- Harmony in Proof-Theoretic Semantics: A Reductive Analysis
- General-elimination stability
- Bilateral relevant logic
- Harmonising natural deduction
- A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems
Uses Software
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)
