Weak disharmony: some lessons for proof-theoretic semantics

DOI10.1017/S1755020316000162MaRDI QIDQ5737955zbMATH OpenFDO

Authors Bogdan Dicher

Publication date 31 May 2017

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S1755020316000162

zbMATH Keywords

derivability relationelimination rulessubstructural weak disharmony

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Structure of proofs (03F07) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

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

Cites work

• A natural extension of natural deduction
• A robust non-transitive logic
• Anything goes
• Basic logic: reflection, symmetry, visibility
• General-elimination harmony and the meaning of the logical constants
• Harmony and autonomy in classical logic
• Harmony in a sequent setting: a reply to Tennant
• scientific article; zbMATH DE number 3557754 (Why is no real title available?)
• scientific article; zbMATH DE number 1281125 (Why is no real title available?)
• scientific article; zbMATH DE number 753775 (Why is no real title available?)
• scientific article; zbMATH DE number 826255 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3333259 (Why is no real title available?)
• Investigations into a left-structural right-substructural sequent calculus
• Logical constants as punctuation marks
• Not so stable
• Pluralism and proofs
• Substructural logics: a primer
• The connectives
• The geometry of non-distributive logics
• What's wrong with tonk(?)

Cited in

(11)

• Stabilizing quantum disjunction
• Hopeful monsters: a note on multiple conclusions
• Logicality, double-line rules, and modalities
• A Principle-Based Analysis of Weakly Admissible Semantics
• On harmony and permuting conversions
• Harmony in Proof-Theoretic Semantics: A Reductive Analysis
• Is there a neutral metalanguage?
• Proof-theoretic pluralism
• Reading conclusions conjunctively
• On the non-substantiality of logic: a case study
• Indicative conditionals and intuitionistic

This page was built for publication: Weak disharmony: some lessons for proof-theoretic semantics

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