Cross-Reference Redirection
Cross-Reference Redirection
Table of Contents
List of figures
1.
What PropertyKindCalculus provides
2.
Requirements
3.
Why a calculus, not a taxonomy
4.
How to read the status
5.
Tutorial: a first model, checked
6.
The Proved Spine
7.
Capstone theorems — what the calculus can do
8.
Foundations: system, part, and the ontological square
9.
Dedicated kinds-of-property
10.
Units and the Dimension-1 Problem
11.
Dimension as a Forgetful Functor
12.
Scale-spanning units — a third unit category (R13)
13.
The Interaction Algebra (Flater Appendix C)
14.
The Function Calculus and Complex-Valued Carriers (R12)
15.
Extensivity
16.
The object type
17.
Metrological modularity
18.
Write Once, Correctly
19.
Uncertainty quantification and numerical adequacy
20.
ISO/IEC 80000 — The Standards Catalogue
21.
ISO 80000-3 — Space and Time
22.
ISO 80000-4 — Mechanics
23.
ISO 80000-5 — Thermodynamics
24.
IEC 80000-6 — Electromagnetism
25.
ISO 80000-7 — Light and radiation
26.
ISO 80000-8 — Acoustics
27.
ISO 80000-9 — Physical chemistry and molecular physics
28.
ISO 80000-10 — Atomic and nuclear physics
29.
ISO 80000-11 — Characteristic numbers
30.
ISO 80000-12 — Condensed matter physics
31.
IEC 80000-13 — Information science and technology
32.
External Cross-References
33.
Using the library: annotations and generated indexes
34.
Applying the calculus to a domain: the model template
35.
Deploying a domain model: the deployment template
36.
Terminology — the dictionary and the index
Dependency Graph
Blueprint Summary
37.
License