Live briefing
Everything about Structural rule
Rule of mathematical logic
In the logical discipline of proof theory, a structural rule is an inference rule of a sequent calculus that does not refer to any logical connective but instead operates on the sequents directly. Structural rules often mimic the intended meta-theoretic properties of the logic. Logics that deny one or more of the structural rules are classified as substructural logics. Wikipedia →
🧭 Start here: a 6-step reading path
- Read the overview: Structural ruleA 5-minute orientation
- Skim a recent paper: A behavior prediction method for complex system based on belief rule base with structural adaptiveInfluential work since 2022
- Pick up a classic book: The manner of holding parliaments in EnglandThe most-reprinted book on the subject
- Read the landmark paper: Structural and Thermodynamic Explanations of Ostwald's RuleCited 372 times
- Go sideways: Structural proof theoryA closely related topic
- Go sideways: Sequent calculusA closely related topic
📖 Definitions
No dictionary entry for this exact phrase.
🗂️ The subject at a glance
🏆 Landmark papers (most cited)
Structural and Thermodynamic Explanations of Ostwald's Rule
Structural difference rule for amorphous alloy formation by ion mixing
Growth-Rule-Guided Structural Exploration of Thiolate-Protected Gold Nanoclusters
A History of the Structural Theory of Benzene - The Aromatic Sextet Rule and Huckel's Rule
Fast minimization of structural risk by nearest neighbor rule
Factor endowments, the rule of law and structural inequality
Structural testing of rule-based expert systems
Probabilistic formulation of Miner’s rule and application to structural fatigue
🆕 Influential since 2022
A behavior prediction method for complex system based on belief rule base with structural adaptive
Structural rule of N-coordinated single-atom catalysts for electrochemical CO 2 reduction
Electron-induced structural changes in flax fiber reinforced PLA/PCL composites, analyzed using the rule of mixtures
A Rule for Response Sensitivity of Structural-Color Photonic Colloids
Effects of structural characteristics of phenolic compounds on oxidation of glycerol trioleate: Action rule and mechanism
📚 Books worth reading
The manner of holding parliaments in EnglandHenry Elsyng, H. Elsynge · 1971- 📕Structured settlementsUnited States. General Accounting Office · 2000
Thin film structures and phase stabilityW. L. Johnson · 1990- 📕Writing effective business rulesGraham Witt · 2012
- 📕Wales in EuropeGray, John Sir., John Osmond · 1997
GDH 2002International Symposium on the Gerasimov-Drell-Hearn Sum Rule and the Spin Structure of the Nucleon (2nd 2002 Genoa, Italy), M. Anghinolfi · 2003
Web Reasoning and Rule SystemsWolfgang Faber, Domenico Lembo · 2013
At war with civil rights and libertiesThomas E. Baker, John F. Stack Jr. · 2005
Ranked by number of editions on Open Library, a rough measure of how lasting a book is.
🔗 Related topics
- Structural proof theory In mathematical logic, structural proof theory is the subdiscipline of proof theory that studies proof calculi that support a notion of analytic proof…
- Sequent calculus In mathematical logic, sequent calculus is a style of formal logical argumentation in which every line of a proof is a conditional tautology (called a…
- Cut-elimination theorem The cut-elimination theorem (or Gentzen's Hauptsatz) is the central result establishing the significance of the sequent calculus. It was originally proved…
- Natural deduction In logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to…
- Sequent In mathematical logic, a sequent is a very general kind of conditional assertion. A 1 , … , A m ⊢ B 1 , … , B n . {\displaystyle A_{1},\,\dots ,A_{m}\…
- Linear logic Linear logic is a substructural logic proposed by French logician Jean-Yves Girard as a refinement of classical and intuitionistic logic, joining the dualities…
- Substructural logic In logic, a substructural logic is a logic lacking one of the usual structural rules (e.g. of classical and intuitionistic logic), such as weakening, contractio…
- Monotonicity of entailment Monotonicity of entailment is a property of many logical systems such that if a sentence follows deductively from a given set of sentences then it also…