WEAK DISHARMONY: SOME LESSONS FOR PROOF-THEORETIC SEMANTICS

DOI10.1017/S1755020316000162zbMath1391.03040MaRDI QIDQ5737955

Bogdan Dicher

Publication date: 31 May 2017

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

zbMATH Keywords

elimination rulesderivability relationsubstructural weak disharmony

Mathematics Subject Classification ID

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

Related Items

Stabilizing quantum disjunction ⋮ Logicality, double-line rules, and modalities ⋮ Is there a neutral metalanguage? ⋮ Proof-theoretic pluralism ⋮ On harmony and permuting conversions ⋮ Hopeful monsters: a note on multiple conclusions

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Pluralism and proofs
• Logical constants as punctuation marks
• General-elimination harmony and the meaning of the logical constants
• What's wrong with tonk(?)
• Investigations into a left-structural right-substructural sequent calculus
• Substructural logics: a primer
• Harmony and autonomy in classical logic
• Anything goes
• A robust non-transitive logic
• A natural extension of natural deduction
• Basic logic: reflection, symmetry, visibility
• Harmony in a sequent setting: a reply to Tennant
• Not so stable
• The geometry of non-distributive logics