283
edits
Pipe-calculus: Difference between revisions
→Zero-order calculus
KalmanKeri (talk | contribs) |
KalmanKeri (talk | contribs) |
||
| Line 33: | Line 33: | ||
=== Syntax === | === Syntax === | ||
<math> \mbox{Atoms}~ A, B ::= \mathsf{Foo} ~|~ \mathsf{Bar} ~|~ ... </math> | <math> \mbox{Atoms}~ A, B ::= \mathsf{Foo} ~|~ \mathsf{Bar} ~|~ ... </math> | ||
| Line 40: | Line 38: | ||
<math> \mbox{Literals}~ l, m ::= A ~|~ \neg A </math> | <math> \mbox{Literals}~ l, m ::= A ~|~ \neg A </math> | ||
Literals are atoms with '''polarity'''. | '''Atoms''' are unscoped symbols. We assume a finite set of atoms that is disjunct from the set of operators and other constants. | ||
'''Literals''' are atoms with '''polarity'''. | |||
We say that a literal of the form <math>A</math> is ''positive'', while <math>\neg A</math> is ''negative''. | We say that a literal of the form <math>A</math> is ''positive'', while <math>\neg A</math> is ''negative''. | ||
See [ | <ref> | ||
See [[wikipedia:Literal_(mathematical_logic)|Literal (mathematical_logic)]] for more details on literals in general.</ref> | |||
'''Primitive terms''' | '''Primitive terms''' | ||
== Notes == | |||
<references /> | |||