I. Formal and symbolic aesthetics
Norm series for higher-dimensional formal Honda groups
Hermeneutics: Formal Basics in Symbolic Logic
Towards a Formal Symbolic Occurrence Logic [PDF]