Metavariables
In Lojban
Lojban has metavariables for various semantic objects:
- sumti: {ko’a}, {fo’a}, etc.
- selbri: {broda}, etc.
Lojban also has quantified bound variables:
- first-order: {da}, etc.
- second-order: {bu’a}, etc.
In Metamath
Metamath cannot substitute a grammar production without designated metavariables. Thus, we have embraced many experimental cmavo in order to make our logic more flexible, and restricted semantic metavariables to serve as specific portions of syntax.
The current mapping is as follows:
- sumti: {ko’a}, etc.
- selbri: {bu’a}, etc.
- brirebla: {bo’a}, etc.
- bridi: {broda}, etc.
- numbers: {ku’i’a}, etc.
| Metamath type | cmavo |
|---|---|
| brirebla | bo’a |
| brirebla | bo’e |
| brirebla | bo’i |
| brirebla | bo’o |
| brirebla | bo’u |
| bridi | broda |
| bridi | brode |
| bridi | brodi |
| bridi | brodo |
| bridi | brodu |
| selbri | bu’a |
| selbri | bu’e |
| selbri | bu’i |
| sumti | da |
| sumti | de |
| sumti | di |
| sumti | fo’a |
| sumti | fo’e |
| sumti | fo’i |
| sumti | fo’o |
| sumti | fo’u |
| sumti | ko’a |
| sumti | ko’e |
| sumti | ko’i |
| sumti | ko’o |
| sumti | ko’u |
| PA | ku’i’a |
| PA | ku’i’e |
| PA | ku’i’i |