The title "hyper-digital logic" or "hyper-propositional" [1] denotes a generalization of traditional propositional logic by introducing formulas of arbitrary degree and thus both a whole syntactical and semantical hierarchy. It simultaneously stands for a project, which aims to explore the properties and possibilities of these kind of logical systems.
The intention is to publicly manage this major project by dividing it into several minor projects. Some of them already resulted in a more or less self-containing text. Others only reached the state of a vague idea or sketchy draft so far. The following is a list of these minor projects.
[1] To find an appropriate title for this (assumedly new) logical system is still an open problem. The prefix "hyper" is chosen because somehow it is a generalization of propositional logic on "higher (and lower) levels". "Propositional" is chosen due to the genealogy, but actually the association is too restrictive and replacing it by the more abstract and neutral word "digital" or "bit" seems more appropriate. On the other hand, it can also be useful to use both titles: "hyper-propositional logic" for the logic of hyper-propositional formulas in the narrower sense, and "hyper-digital logic" for the broader view, which also includes the bit table algebras.