A note on harmony
From MaRDI portal
Publication:452347
DOI10.1007/s10992-011-9208-0zbMath1247.03005OpenAlexW2105703407MaRDI QIDQ452347
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
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)
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
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