Live briefing
Everything about Calculus of structures
In mathematical logic, the calculus of structures (CoS) is a proof calculus with deep inference for studying the structural proof theory of noncommutative logic. The calculus has since been applied to study linear logic, classical logic, modal logic, and process calculi, and many benefits are claimed to follow in these investigations from the way in which deep inference is made available in the calculus. Wikipedia →
🧭 Start here: a 6-step reading path
- Read the overview: Calculus of structuresA 5-minute orientation
- Skim a recent paper: Embedding calculus and smooth structuresInfluential work since 2022
- Pick up a classic book: Solid MechanicsThe most-reprinted book on the subject
- Read the landmark paper: Calculating Structures and Free Energies of Complex Molecules: Combining Molecular Mechanics and Continuum ModelsCited 4,746 times
- Go sideways: Cut-elimination theoremA closely related topic
- Go sideways: Admissible ruleA closely related topic
📖 Definitions
No dictionary entry for this exact phrase.
🏆 Landmark papers (most cited)
Calculating Structures and Free Energies of Complex Molecules: Combining Molecular Mechanics and Continuum Models
Fractional calculus - A different approach to the analysis of viscoelastically damped structures
Fractional calculus in the transient analysis of viscoelastically damped structures
A calculus for the random generation of labelled combinatorial structures
Dynamic mathematics and the blending of knowledge structures in the calculus
Malliavin calculus for regularity structures: The case of gPAM
Adjunction of semifunctors: Categorical structures in nonextensional lambda calculus
Variational Calculus of Supervariables and Related Algebraic Structures
🆕 Influential since 2022
Embedding calculus and smooth structures
Manifold Calculus in System Theory and Control—Second Order Structures and Systems
Operator Calculus Approach to Comparison of Elasticity Models for Modelling of Masonry Structures
Application of Fractional Calculus for Modeling the Dynamic Behavior of Structures Under Moving Loads: A Review
Lecture notes on Malliavin calculus in regularity structures
📚 Books worth reading
Solid MechanicsClive L. Dym · 2013
A variational approach to structural analysisDavid V. Wallerstein · 2001
Optimal control problems for partial differential equations on reticulated domainsPeter I. Kogut · 2011
Energy and finite element methods in structural mechanicsIrving Herman Shames · 1985
Structural optimizationM. Save, William Prager · 1985
Computational Methods, Seismic Protection, Hybrid Testing and Resilience in Earthquake EngineeringGian Paolo Cimellaro, Satish Nagarajaiah · 2014
Solving problems in structuresP. C. L. Croxton, P.C.L. Croxton · 1987
Trends in solid mechanics 1979W. T. Koiter, J. F. Besseling · 1979
Ranked by number of editions on Open Library, a rough measure of how lasting a book is.
🔗 Related topics
- 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…
- Admissible rule In logic, a rule of inference is admissible in a formal system if the set of theorems of the system does not change when that rule is added to the existing…
- Non-normal modal logic A non-normal modal logic is a variant of modal logic that deviates from the basic principles of normal modal logics. Normal modal logics adhere to the…
- Rushbrooke inequality In statistical mechanics, the Rushbrooke inequality relates the critical exponents of a magnetic system which exhibits a first-order phase transition in…
- Minimalist grammar Minimalist grammars are a class of formal grammars that aim to provide a more rigorous, usually proof-theoretic, formalization of Chomskyan Minimalist…
- Bunched logic Bunched logic is a variety of substructural logic proposed by Peter O'Hearn and David Pym. Bunched logic provides primitives for reasoning about resource…
- 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}\…
- Widom scaling Widom scaling (after Benjamin Widom) is a hypothesis in statistical mechanics regarding the free energy of a magnetic system near its critical point which…