12,122
edits
Changes
Directory:Jon Awbrey/Papers/Differential Propositional Calculus (view source)
Revision as of 20:04, 21 May 2008
, 20:04, 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>
|-
|-
<math>(\mathbb{B}^n\ +\!\to \mathbb{B})</math><br>
<math>(\mathbb{B}^n\ +\!\to \mathbb{B})</math><br>
<math>[\mathbb{B}^n]</math>
<math>[\mathbb{B}^n]</math>
|}
|}<br>
Table 5 summarizes the basic notations that are needed to describe the (first order) differential extensions of propositional calculi in a corresponding manner.
Table 5 summarizes the basic notations that are needed to describe the (first order) differential extensions of propositional calculi in a corresponding manner.
! 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
<math>(\mathbb{D}^n\ +\!\to \mathbb{B})</math><br>
<math>(\mathbb{D}^n\ +\!\to \mathbb{B})</math><br>
<math>[\mathbb{D}^n]</math>
<math>[\mathbb{D}^n]</math>
|}
|}<br>
'''…'''
'''…'''