Relevant harmony

DOI10.1093/LOGCOM/EXT026MaRDI QIDQ2804328zbMATH OpenOpenAlexFDO

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

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)

Recommendations

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

Cited in

(13)

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

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)