Relevant harmony

DOI10.1093/LOGCOM/EXT026zbMATH Open1403.03038OpenAlexW4237958679MaRDI QIDQ2804328FDOQ2804328

Authors: Nissim Francez 

Publication date: 28 April 2016

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/ext026

Recommendations

• A note on harmony
• Harmony in multiple-conclusion natural-deduction
• HARMONISING HARMONY
• Harmonising natural deduction
• Harmony in Proof-Theoretic Semantics: A Reductive Analysis

zbMATH Keywords

harmonystabilityproof-theoretic semanticsrelevant logicderivation-composition

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof theory in general (including proof-theoretic semantics) (03F03)

Cited In (13)

• Title not available (Why is that?)
• Harmonious Extensions
• Frege's content-principle and relevant deducibility
• A note on harmony
• Does the implication elimination rule need a minor premise?
• Weak disharmony: some lessons for proof-theoretic semantics
• Peano's Counterexample to Harmony
• On the equivalence conjecture for proof-theoretic harmony
• Harmony in multiple-conclusion natural-deduction
• HARMONISING HARMONY
• An alternative natural deduction for the intuitionistic propositional logic
• On harmony and permuting conversions
• General-elimination stability

This page was built for publication: Relevant harmony

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