Not so stable

DOI10.1093/ANALYS/ANP100MaRDI QIDQ4648466zbMATH OpenOpenAlexFDO

Authors Florian Steinberger

Publication date 9 November 2012

Published in Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/analys/anp100

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Recommendations

• General-elimination stability
• General-elimination harmony and higher-level rules
• HARMONISING HARMONY
• scientific article; zbMATH DE number 1300630
• Harmony in a sequent setting

Cited in

(8)

• On the equivalence conjecture for proof-theoretic harmony
• Classical harmony and separability
• Harmonious rules for identity
• States that are far from being stabilizer states
• scientific article; zbMATH DE number 2150146 (Why is no real title available?)
• CATEGORICAL HARMONY AND PATH INDUCTION
• Weak disharmony: some lessons for proof-theoretic semantics
• Epistemic modals in hypothetical reasoning

This page was built for publication: Not so stable

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