User:Lord Farin/Sandbox

This page exists for me to be able to test features I am developing. Also, incomplete proofs may appear here.

Feel free to comment.

Over time, stuff may move to User:Lord_Farin/Sandbox/Archive.

Subpages of this one may exist; they are listed at this PW special page.

Perspective broadening of logical foundations
The following pages need to be phrased in terms of collations rather than words:


 * Definition:Formal Grammar/Top-Down
 * Definition:Formal Grammar/Bottom-Up
 * Definition:Well-Formed Word
 * Definition:Parsing Sequence
 * Definition:Occurrence (Formal Systems)
 * Definition:Well-Formed Part
 * Definition:Rule of Formation
 * Definition:Extremal Clause
 * Induction on Well-Formed Formulas

Hey, that's surprisingly few! --Lord_Farin (talk) 15:49, 16 February 2013 (UTC)