Hopeful monsters: a note on multiple conclusions

DOI10.1007/s10670-018-0019-3zbMath1474.03146OpenAlexW2807093909WikidataQ129726756 ScholiaQ129726756MaRDI QIDQ2052149

Bogdan Dicher

Publication date: 25 November 2021

Published in: Erkenntnis (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10451/44467

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (3)

Is there a neutral metalanguage? ⋮ Meta-inferences and supervaluationism ⋮ The original sin of proof-theoretic semantics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Proof-theoretic semantics, a problem with negation and prospects for modality
• Strict-choice validities: A note on a familiar pluralism
• Why conclusions should remain single
• Logical constants as punctuation marks
• General-elimination harmony and the meaning of the logical constants
• Some limitations to the psychological orientation in semantic theory
• Simple consequence relations
• What's wrong with tonk(?)
• Investigations into a left-structural right-substructural sequent calculus
• Substructural logics: a primer
• Harmony and autonomy in classical logic
• Untersuchungen über das logische Schliessen. II
• Logicality, double-line rules, and modalities
• MULTIPLE-CONCLUSION LP AND DEFAULT CLASSICALITY
• Inferentialism, Logicism, Harmony, and a Counterpoint
• Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus
• GENERALITY AND EXISTENCE 1: QUANTIFICATION AND FREE LOGIC
• The geometry of non-distributive logics
• WEAK DISHARMONY: SOME LESSONS FOR PROOF-THEORETIC SEMANTICS

This page was built for publication: Hopeful monsters: a note on multiple conclusions