12,080
edits
Changes
Directory talk:Jon Awbrey/Papers/Differential Propositional Calculus (view source)
Revision as of 19:58, 21 May 2008
, 19:58, 21 May 2008→Formal development: distinguish alphabet and basis
! Description
! Description
! Type
! Type
|-
| <math>\mathfrak{A}</math>
| <math>\{ \mathfrak{a}_1, \ldots, \mathfrak{a}_n \}</math>
| Alphabet
| <math>[n] = \mathbf{n}</math>
|-
|-
| <math>\mathcal{A}</math>
| <math>\mathcal{A}</math>
| <math>\{ a_1, \ldots, a_n \}</math>
| <math>\{ a_1, \ldots, a_n \}</math>
| Alphabet
| Basis
| <math>[n] = \mathbf{n}</math>
| <math>[n] = \mathbf{n}</math>
|-
|-
! Description
! Description
! Type
! Type
|-
| <math>\operatorname{d}\mathfrak{A}</math>
| <math>\{ \operatorname{d}\mathfrak{a}_1, \ldots, \operatorname{d}\mathfrak{a}_n \}</math>
| Alphabet of<br>
differential<br>
symbols
| <math>[n] = \mathbf{n}</math>
|-
|-
| <math>\operatorname{d}\mathcal{A}</math>
| <math>\operatorname{d}\mathcal{A}</math>
| <math>\{ \operatorname{d}a_1, \ldots, \operatorname{d}a_n \}</math>
| <math>\{ \operatorname{d}a_1, \ldots, \operatorname{d}a_n \}</math>
| Alphabet of<br>
| Basis of<br>
differential<br>
differential<br>
features
features